Logic programming and reasoning with incomplete information-Reference-Cited by-同舟云学术

Logic programming and reasoning with incomplete information

Published:1994-03 Issue:1-2 Volume:12 Page:89-116
ISSN:1012-2443
Container-title:Annals of Mathematics and Artificial Intelligence
language:en
Short-container-title:Ann Math Artif Intell

Author:

Gelfond Michael

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Artificial Intelligence

Link

http://link.springer.com/article/10.1007/BF01530762/fulltext.html

Reference35 articles.

1. N. Bidoit and C. Froidevaux, Minimalism subsumes default logic and circumscription, in:Proc. LICS-87 (1987) pp. 89?97.

2. C. Baral, J. Lobo and J. Minker, Wf3: A semantics for negation in normal disjunctive logic programs, in:Proc. Int. Symp. Methodologies of Intelligent Systems (1991).

3. C. Sakama, Possible model semantics for disjunctive databases, in:Proc. 1st Int. Conf. on Deductive and Object Oriented Databases (1989) pp. 1055?1060.

4. E. Chan, A possible world semantics for non-horn databases, Technical Report CS-89-47, University of Waterloo (1989).

5. K. Clark, Negation as failure, in:Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 293?322.

Cited by 61 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Epistemic Logic Programs: A Study of Some Properties;Theory and Practice of Logic Programming;2024-02-05

2. Automated legal reasoning with discretion to act using s(LAW);Artificial Intelligence and Law;2023-11-20

3. Probabilistic Autoepistemic Equilibrium Logic;Advances in Applied Logics;2023

4. Epistemic Logic Programs: A Study of Some Properties;Logic Programming and Nonmonotonic Reasoning;2022

5. Thirty years of Epistemic Specifications;Theory and Practice of Logic Programming;2021-11-08