Default reasoning via blocking sets

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

Volumn 1730, Issue , 1999, Pages 247-261

  Linke, Thomas ^a   Schaub, Torsten ^a  

^a UNIVERSITY OF POTSDAM   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; RECONFIGURABLE HARDWARE;

BLOCKING SET; DEFAULT LOGIC; DEFAULT REASONING; DEFAULT RULE; MONOTONICITY; NEW APPROACHES;

FORMAL LOGIC;

EID: 84958654991     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46767-X_18     Document Type: Conference Paper

References (21)

1. C. Baral and V. Subrahmanian. Duality between alternative semantics of logic programs and nonmonotonic formalisms. In First International Workshop on Logic Programming and Nonmonotonic Reasoning, pages 69-86. MIT Press, 1991.
2. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2):183-205, 1991.
3. G. Brewka and G. Gottlob. Well-founded semantics for default logic,. Fundamenta Informaticae, 31(3-4):221-236, 1997.
4. P. Cholewiński, V. Marek, A. Mikitiuk, and M. Truszczyński. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming. MIT Press, 1995.
5. J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1-2):167-237, 1994.
6. Y. Dimopoulos. The computational value of joint consistency. In L. Pereira and D. Pearce, editors, European Workshop on Logics in Artificial Intelligence (JELIA' 94), volume 838 of Lecture Notes in Artificial Intelligence, pages 50-65. Springer Verlag, 1994.
7. D. Etherington. Reasoning with Incomplete Information: Investigations of Non- Monotonic Reasoning. PhD thesis, Department of Computer Science, University of British Columbia, Vancouver, BC, 1986. Revised Version appeared as: Research Notes in AI, Pitman.
8. C. Froidevaux and J. Mengin. Default logic: A unified view. Computational Intelligence, 10(3):331-369, 1994.
9. L. Giordano and A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1):161-179, 1994.
10. G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2(3):397-425, June 1992.
11. F. Lévy. Computing extensions of default theories. In R. Kruse and P. Siegel, editors, Proceedings of the European Conference on Symbolic and Quantitative Approaches for Uncertainty, volume 548 of Lecture Notes in Computer Science, pages 219-226. Springer Verlag, 1991.
12. T. Linke and T. Schaub. An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem. In J. Dix, L. Fariñas del Cerro, and U. Furbach, editors, Logics in Artificial Intelligence, Proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, volume 1489 of Lecture Notes in Artificial Intelligence, pages 233-247. Springer Verlag, 1998.
13. Th. Linke. New Foundations for Automation of Default Reasoning. Dissertation, University of Bielefeld, 1999.
14. W. Lukaszewicz. Considerations on default logic ― an alternative approach. Computational Intelligence, 4:1-16, 1988.
15. W. Marek and M. Truszczyński. Nonmonotonic logic: context-dependent reasoning. Artifical Intelligence. Springer Verlag, 1993.
16. W. Marek and M. Truszczyński. Normal form results for default logics. In G. Brewka, K. Jantke, and P. Schmitt, editors, Nonmonotonic and Inductive Logic, volume 659 of Lecture Notes in Artificial Intelligence, pages 153-174. Springer Verlag, 1993.
17. A. Mikitiuk and M. Truszczyński. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning., pages 283-299. MIT Press, 1993.
18. I. Niemelä. Towards efficient default reasoning. In C. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 312-318. Morgan Kaufmann Publishers, 1995.
19. H. Przymusinska and T. Przymusinski. Stationary default extensions. Fundamenta Informaticae, 21(1-2):76-87, 1994.
20. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980.
21. V. Risch. Analytic tableaux for default logics. Journal of Applied Non-Classical Logics, 6(1):71-88, 1996.