Nonmonotonic reasoning and logic programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 542 LNAI, Issue , 1991, Pages 38-58

  Herre, Heinrich ^a  

^a UNIVERSITY OF LEIPZIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

GENERAL THEORY; LOGIC PROGRAMS; NON-MONOTONIC REASONING;

COMPUTER CIRCUITS;

EID: 84947856991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0023316     Document Type: Conference Paper

References (17)

1. Apt K.R., H. Blair, A. Walker: Towards a Theory of Declarative Knowledge; in: Foundations of Deductive Databases and Logic Programming (Minker,J. ed.), Morgan Kaufmann, Los Altos, 1987
2. Bossu G., P. Siegel: Saturation, Nonmonotonic Reasoning and the Closed World Assumption; Artificial Intelligence vol. 25, (1985), 13-65
3. Cavedon L., J.W. Lloyd: A Completeness Theorem for SLDNF-Resolution; Journal of Logic Programming 1989, 7, 177-191
4. Herre H.: Konstruktive Resolutionsmethoden. Preprint P-Math 21/86, Institut für Mathematik, AdW der DDR, Berlin 1986
5. Herre H.: Negation and Constructivity in Logic Programming. J. New Gener. Comput. Syst. 1 (1988), 295-305
6. Jäger G. Annotations on the consistency of the closedworld assumption; Journal of L. P. 1990
7. Letz R. Classical Negation in Logic Programming: TU München; Report FKI-123-89
8. Lloyd J.W. Foundations of Logic Programming, Springer 1987
9. Makinson D.: General Theory of Cumulative Inference, in: Reinfrank,M. (Ed.) Non-monotonic Reasoning Berlin Springer-Verlag, 1989, 1-18
10. Makinson D.: General Patterns in Nonmonotonic Reasoning; in: Handbook of Logic in Artificial Intelligence and Logic Programming (draft 1990)
11. McCarthy J.: Circumscription, A.I., vol. 13 (1980), 27-39
12. Minker J.: On indefinite databases and the closed world assumption. In: 6th Conference on Automated Deduction; Proceedings 1982; D.W. Loveland; Lecture Notes in Computer Science 138, Springer-Verlag, 1982
13. Przymusinski T.: Every Logic Program has a natural Stratification and an iterated fixed point model. TR (1988), Departm. of Math. Univ. of Texas at El Paso, TX 79968
14. Reiter R.: A Logic for Default Reasoning; AI 13 (1980), 81-132
15. Shoenfield J.: Mathematical Logic, Addision Wesely, 1967
16. Tarski A. Logic, Semantics, Metamathematics. Papers from 1923-1938. Clarendon Press, Oxford, 1956
17. Thiele H.: Monotones und nichtmonotones Schließen; in: Grabowski,J., Jantke,H.-J., H. Thiele: Grundlagen der Künstlichen Intelligenz, 80-160, Akademie-Verlag, Berlin 1989