Author:
Liberatore Paolo,Schaerf Marco
Subject
Information Systems and Management
Reference18 articles.
1. A logic for default reasoning;Reiter;Artificial Intelligence,1980
2. Making believers out of computers;Levesque;Artificial Intelligence,1986
3. J.Y. Halpern, M.Y. Vardi, Model checking vs. theorem proving: A manifesto, in: Proceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR’91), 1991, Also in V. Lifshitz (Ed.), Artificial Intelligence and Mathematical Theory of Computation, Papers in Honor of John McCarthy, Academic Press, San Diego, 1991.
4. Propositional default logics made easier: computational complexity of model checking;Baumgartner;Theoretical Computer Science,2002
5. Considerations on default logic: an alternative approach;Lukaszewicz;Computational Intelligence,1988
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strong Backdoors for Default Logic;ACM Transactions on Computational Logic;2024-06-17
2. General default logic;Annals of Mathematics and Artificial Intelligence;2009-09-29
3. Consistency Defaults;Studia Logica;2007-06-26
4. On the complexity of extension checking in default logic;Information Processing Letters;2006-04