A framework for default logics-Reference-Cited by-同舟云学术

A framework for default logics

Published:1992 Issue: Volume: Page:154-173
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Froidevaux Christine,Mengin Jérôme

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0023427

Reference32 articles.

1. J. Allen, R. Fikes, and E. Sandewall, editors. Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Morgan Kaufmann, 1991.

2. L. C. Aiello, editor. Proceedings of the 9th European Conference on Artificial Intelligence (ECAI 90). ECCAI, August 1990.

3. P. Besnard. An Introduction to Default Logic. Springer-Verlag, New York, 1989.

4. N. Bidoit and C. Froidevaux. Minimalism subsums default logic and circumscription in stratified logic programming. In Proceedings of LICS-87, Ithaca, pages 89–97, 1987.

5. N. Bidoit and C. Froidevaux. General logic databases and programs: Default logic semantics and stratification. Information and Computation, 91:15–54, 1991.

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

1. Interpolation and Beth Definability in Default Logics;Logics in Artificial Intelligence;2019

2. Redundancy in logic III: Non-monotonic reasoning;Artificial Intelligence;2008-07

3. On the complexity of extension checking in default logic;Information Processing Letters;2006-04

4. REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗;International Journal of General Systems;1997-01

5. Nonmonotonic reasoning based on incomplete logic;Journal of Applied Non-Classical Logics;1997-01