Predicate Introduction Under Stable and Well-Founded Semantics-Reference-Cited by-同舟云学术

Predicate Introduction Under Stable and Well-Founded Semantics

Published:2006 Issue: Volume: Page:242-256
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Wittocx Johan,Vennekens Joost,Mariën Maarten,Denecker Marc,Bruynooghe Maurice

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11799573_19.pdf

Reference17 articles.

1. Balduccini, M., Gelfond, M.: Diagnostic reasoning with A-Prolog. TPLP 3(4-5), 425–461 (2003)

2. Lecture Notes in Computer Science;M. Denecker,2000

3. Denecker, M., Marek, V., Truszczyński, M.: Approximating operators, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. In: Minker, J. (ed.) Logic-based Artificial Intelligence, ch. 6, pp. 127–144. Kluwer Academic Publishers, Dordrecht (2000)

4. Denecker, M., Marek, V., Truszczyński, M.: Uniform semantic treatment of default and autoepistemic logics. In: Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000), Breckenridge, April 11-15, pp. 74–84. Morgan Kaufmann, San Francisco (2000)

5. Denecker, M., Marek, V., Truszczyński, M.: Uniform semantic treatment of default and autoepistemic logics. Artificial Intelligence 143(1), 79–122 (2003)

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

1. Sixty Years of Stable Models;The History and Philosophy of Polish Logic;2014

2. SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions;Theory and Applications of Satisfiability Testing – SAT 2008