Hybrid Knowledge Bases.

@article{DBLP:journals/tkde/LuNS96,
  author    = {James J. Lu and
               Anil Nerode and
               V. S. Subrahmanian},
  title     = {Hybrid Knowledge Bases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {5},
  year      = {1996},
  pages     = {773-785},
  ee        = {db/journals/tkde/LuNS96.html, db/journals/tkde/LuNS96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

CDROM Edition

References

[1]

Krzysztof R. Apt: Logic Programming. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 493-574 BibTeX

[2]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[3]

...

[4]

...

[5]

Colin Bell, Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Implementing Deductive Databases by Linear Programming. PODS 1992: 283-292 BibTeX

[6]

Alan M. Frisch: The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Artif. Intell. 49(1-3): 161-198(1991) BibTeX

[7]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080 BibTeX

[8]

...

[9]

Reiner Hähnle: Towards an Efficient Tableau Proof Procedure for Multiple-Valued Logics. CSL 1990: 248-260 BibTeX

[10]

...

[11]

...

[12]

Joxan Jaffar, Jean-Louis Lassez: Constraint Logic Programming. POPL 1987: 111-119 BibTeX

[13]

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: The CLP(R) Language and System. ACM Trans. Program. Lang. Syst. 14(3): 339-395(1992) BibTeX

[14]

Michael Kifer, Eliezer L. Lozinskii: RI: A Logic for Reasoning with Inconsistency. LICS 1989: 253-262 BibTeX

[15]

Michael Kifer, Eliezer L. Lozinskii: A Logic for Reasoning with Inconsistency. J. Autom. Reasoning 9(2): 179-215(1992) BibTeX

[16]

...

[17]

Michael Kifer, V. S. Subrahmanian: On the Expressive Power of Annotated Logic Programs. NACLP 1989: 1069-1089 BibTeX

[18]

Michael Kifer, V. S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications. J. Log. Program. 12(3&4): 335-367(1992) BibTeX

[19]

Won Kim, Jungyun Seo: Classifying Schematic and Data Heterogeneity in Multidatabase Systems. IEEE Computer 24(12): 12-18(1991) BibTeX

[20]

Sarit Kraus, Daniel J. Lehmann: Decision Procedures for Time and Chance (Extended Abstract). FOCS 1983: 202-209 BibTeX

[21]

Ravi Krishnamurthy, Witold Litwin, William Kent: Language Features for Interoperability of Databases with Schematic Discrepancies. SIGMOD Conference 1991: 40-49 BibTeX

[22]

Sonia M. Leach, James J. Lu: Computing Annotated Logic Programs. ICLP 1994: 257-271 BibTeX

[23]

Alexandre Lefebvre, Peter Bernus, Rodney W. Topor: Querying Heterogeneous Databases: A Case Study. Australian Database Conference 1993: 186-197 BibTeX

[24]

Daniel J. Lehmann, Saharon Shelah: Reasoning with Time and Chance. Information and Control 53(3): 165-198(1982) BibTeX

[25]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[26]

...

[27]

Neil V. Murray, Erik Rosenthal: Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics. ISMIS 1993: 275-284 BibTeX

[28]

Raymond T. Ng, V. S. Subrahmanian: Probabilistic Logic Programming. Inf. Comput. 101(2): 150-201(1992) BibTeX

[29]

Hanan Samet: The Design and Analysis of Spatial Data Structures. Addison-Wesley 1990
BibTeX

[30]

Amit P. Sheth, James A. Larson: Federated Database Systems for Managing Distributed, Heterogeneous, and Autonomous Databases. ACM Comput. Surv. 22(3): 183-236(1990) BibTeX

[31]

Mark E. Stickel: Automated Deduction by Theory Resolution. J. Autom. Reasoning 1(4): 333-355(1985) BibTeX

[32]

V. S. Subrahmanian: Amalgamating Knowledge Bases. ACM Trans. Database Syst. 19(2): 291-331(1994) BibTeX

[33]

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: Unfounded Sets and Well-Founded Semantics for General Logic Programs. PODS 1988: 221-230 BibTeX

[34]

Allen Van Gelder: The Alternating Fixpoint of Logic Programs with Negation. PODS 1989: 1-10 BibTeX

[35]

Thomas J. Weigert, Jeffrey J. P. Tsai, Xuhua Liu: Fuzzy Operator Logic and Fuzzy Resolution. J. Autom. Reasoning 10(1): 59-78(1993) BibTeX

[36]

Gio Wiederhold: Mediators in the Architecture of Future Information Systems. IEEE Computer 25(3): 38-49(1992) BibTeX

[37]

Gio Wiederhold: Intelligent Integration of Information. SIGMOD Conference 1993: 434-437 BibTeX

[38]

Gio Wiederhold, Sushil Jajodia, Witold Litwin: Dealing with Granularity of Time in Temporal Databases. CAiSE 1991: 124-140 BibTeX

[39]

Gio Wiederhold, Sushil Jajodia, Witold Litwin: Integrating Temporal Data in a Heterogeneous Environment. Temporal Databases 1993: 563-579 BibTeX

Referenced by

1. Jacques Calmet, Sebastian Jekutsch, Joachim Schü: A Generic Query-Translation Framework for a Mediator Architecture. ICDE 1997: 434-443
2. Sibel Adali, K. Selçuk Candan, Yannis Papakonstantinou, V. S. Subrahmanian: Query Caching and Optimization in Distributed Mediator Systems. SIGMOD Conference 1996: 137-148
3. K. Selçuk Candan, Sushil Jajodia, V. S. Subrahmanian: Secure Mediated Databases. ICDE 1996: 28-37
4. Jacques Calmet, Dirk Debertin, Sebastian Jekutsch, Joachim Schü: An Executable Graphical Representation of Mediatory Information Systems. ICDE 1996: 124-131
5. James J. Lu, Guido Moerkotte, Joachim Schü, V. S. Subrahmanian: Efficient Maintenance of Materialized Mediated Views. SIGMOD Conference 1995: 340-351
6. Sibel Adali, Ross Emery: A Uniform Framework for Integrating Knowledge in Heterogeneous Knowledge Systems. ICDE 1995: 513-520