Semantics, Consistency, and Query Processing of Empirical Deductive Databases.

@article{DBLP:journals/tkde/Ng97,
  author    = {Raymond T. Ng},
  title     = {Semantics, Consistency, and Query Processing of Empirical Deductive
               Databases},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {9},
  number    = {1},
  year      = {1997},
  pages     = {32-49},
  ee        = {db/journals/tkde/Ng97.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

References

[1]

...

[2]

...

[3]

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

[4]

Howard A. Blair, V. S. Subrahmanian: Paraconsistent Logic Programming. Theor. Comput. Sci. 68(2): 135-154(1989) BibTeX

[5]

Didier Dubois, Jérôme Lang, Henri Prade: Towards Possibilistic Logic Programming. ICLP 1991: 581-595 BibTeX

[6]

...

[7]

...

[8]

Melvin Fitting: Bilattices and the Semantics of Logic Programming. J. Log. Program. 11(1&2): 91-116(1991) BibTeX

[9]

Ulrich Güntzer, Werner Kießling, Helmut Thöne: New Directions For Uncertainty Reasoning In Deductive Databases. SIGMOD Conference 1991: 178-187 BibTeX

[10]

Jiawei Han, Yandong Cai, Nick Cercone: Knowledge Discovery in Databases: An Attribute-Oriented Approach. VLDB 1992: 547-559 BibTeX

[11]

Michael Kifer, Ai Li: On the Semantics of Rule-Based Expert Systems with Uncertainty. ICDT 1988: 102-117 BibTeX

[12]

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

[13]

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

[14]

...

[15]

...

[16]

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

[17]

...

[18]

Anil Nerode, Raymond T. Ng, V. S. Subrahmanian: Computing Circumscriptive Databases: I. Theory and Algorithms. Inf. Comput. 116(1): 58-80(1995) BibTeX

[19]

...

[20]

Raymond T. Ng, V. S. Subrahmanian: A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases. J. Autom. Reasoning 10(2): 191-235(1993) BibTeX

[21]

...

[22]

Nils J. Nilsson: Probabilistic Logic. Artif. Intell. 28(1): 71-87(1986) BibTeX

[23]

...

[24]

Gregory Piatetsky-Shapiro, William J. Frawley (Eds.): Knowledge Discovery in Databases. AAAI/MIT Press 1991, ISBN 0-262-62080-4
Contents BibTeX

[25]

...

[26]

Ehud Y. Shapiro: Logic Programs With Uncertainties: A Tool for Implementing Rule-Based Systems. IJCAI 1983: 529-532 BibTeX

[27]

...

[28]

Maarten H. van Emden: Quantitative Deduction and its Fixpoint Theory. J. Log. Program. 3(1): 37-53(1986) BibTeX