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        = {http://doi.ieeecomputersociety.org/10.1109/69.542029},
  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

[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

[3]

...

[4]

...

[5]

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

[6]

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

[7]

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

[8]

...

[9]

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

[10]

...

[11]

...

[12]

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

[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)

[14]

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

[15]

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

[16]

...

[17]

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

[18]

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

[19]

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

[20]

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

[21]

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

[22]

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

[23]

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

[24]

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

[25]

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

[26]

...

[27]

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

[28]

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

[29]

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

[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)

[31]

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

[32]

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

[33]

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

[34]

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

[35]

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

[36]

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

[37]

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

[38]

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

[39]

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

Last update Fri May 25 09:47:06 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page