On the Semantics of Rule-Based Expert Systems with Uncertainty.

@inproceedings{DBLP:conf/icdt/KiferL88,
  author    = {Michael Kifer and
               Ai Li},
  editor    = {Marc Gyssens and
               Jan Paredaens and
               Dirk Van Gucht},
  title     = {On the Semantics of Rule-Based Expert Systems with Uncertainty},
  booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
               Belgium, August 31 - September 2, 1988, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {326},
  year      = {1988},
  isbn      = {3-540-50171-1},
  pages     = {102-117},
  ee        = {db/conf/icdt/KiferL88.html},
  crossref  = {DBLP:conf/icdt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[1]

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

[2]

Isaac Balbin, Kotagiri Ramamohanarao: A Generalization of the Differential Approach to Recursive Query Evaluation. J. Log. Program. 4(3): 259-262(1987) BibTeX

[3]

...

[4]

...

[5]

...

[6]

François Bancilhon: Naive Evaluation of Recursively Defined Relations. On Knowledge Base Management Systems (Islamorada) 1985: 165-178 BibTeX

[7]

Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-284 BibTeX

[8]

...

[9]

Ashok K. Chandra, David Harel: Horn Clauses Queries and Generalizations. J. Log. Program. 2(1): 1-15(1985) BibTeX

[10]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[11]

W. F. Clocksin, Chris Mellish: Programming in Prolog. Springer 1981
BibTeX

[12]

...

[13]

...

[14]

Richard A. Frost: Introduction to Knowledge Base Systems. Collins 1986, ISBN 0-00-383114-0
BibTeX

[15]

Georges Gardarin: Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. VLDB 1987: 21-30 BibTeX

[16]

Matthew L. Ginsberg: Non-Monotonic Reasoning Using Dempster's Rule. AAAI 1984: 126-129 BibTeX

[17]

Matthew L. Ginsberg: Multi-Valued Logics. AAAI 1986: 243-249 BibTeX

[18]

Ulrich Güntzer, Werner Kießling, Rudolf Bayer: On the Evaluation of Recursion in (Deductive) Database Systems by Efficient Differential Fixpoint Iteration. ICDE 1987: 120-129 BibTeX

[19]

...

[20]

Frederick Hayes-Roth: Rule-Based Systems. Commun. ACM 28(9): 921-932(1985) BibTeX

[21]

...

[22]

...

[23]

...

[24]

Richard C. T. Lee: Fuzzy Logic and the Resolution Principle. J. ACM 19(1): 109-119(1972) BibTeX

[25]

Vladimir Lifschitz: On the Declarative Semantics of Logic Programs with Negation. Foundations of Deductive Databases and Logic Programming. 1988: 177-192 BibTeX

[26]

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

[27]

Henri Prade: A Synthetic View of Approximate Reasoning Techniques. IJCAI 1983: 130-136 BibTeX

[28]

Teodor C. Przymusinski: On the Declarative Semantics of Deductive Databases and Logic Programs. Foundations of Deductive Databases and Logic Programming. 1988: 193-216 BibTeX

[29]

Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 BibTeX

[30]

...

[31]

Erik Sandewall: A Functional Approach to Non-Monotonic Logic. IJCAI 1985: 100-106 BibTeX

[32]

...

[33]

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

[34]

V. S. Subrahmanian: On the Semantics of Quantitative Logic Programs. SLP 1987: 173-182 BibTeX

[35]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[36]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[37]

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

[38]

Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. Expert Database Conf. 1986: 253-267 BibTeX

[39]

...

[40]

Arie Zvieli: A Fuzzy Relational Calculus. Expert Database Conf. 1986: 311-326 BibTeX

Referenced by

1. Laks V. S. Lakshmanan, Nicola Leone, Robert B. Ross, V. S. Subrahmanian: ProbView: A Flexible Probabilistic Database System. ACM Trans. Database Syst. 22(3): 419-469(1997)
2. Raymond T. Ng: Semantics, Consistency, and Query Processing of Empirical Deductive Databases. IEEE Trans. Knowl. Data Eng. 9(1): 32-49(1997)
3. Beat Wüthrich: Probabilistic Knowledge Bases. IEEE Trans. Knowl. Data Eng. 7(5): 691-698(1995)
4. V. S. Subrahmanian: Amalgamating Knowledge Bases. ACM Trans. Database Syst. 19(2): 291-331(1994)
5. Michael Kifer, James Wu: A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited). PODS 1989: 379-393
6. Nikolaus Steger, Helmut Schmidt, Ulrich Güntzer, Werner Kießling: Semantics and Efficient Compilation for Quantitative Deductive Databases. ICDE 1989: 660-669