An argumentation theoretic semantics based on non-refutable falsity-Reference-Cited by-同舟云学术

An argumentation theoretic semantics based on non-refutable falsity

Published:1995 Issue: Volume: Page:3-22
ISSN:0302-9743
Container-title:Non-Monotonic Extensions of Logic Programming
language:
Short-container-title:

Author:

Alferes José Júlio,Pereira Luís Moniz

Publisher

Springer Berlin Heidelberg

Link

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

Reference22 articles.

1. José Júlio Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993.

2. J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, Int. Joint Conf. and Symp. on LP, pages 574–588. MIT Press, 1992.

3. A. Bondarenko, F. Toni, and R. Kowalski. An assumption-based framework for nonmonotonic reasoning. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 171–189. MIT Press, 1993.

4. J. Dix. Classifying semantics of logic programs. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 166–180. MIT Press, 1991.

5. J. Dix. A framework for representing and characterizing semantics of logic programs. In B. Nebel, C. Rich, and W. Swartout, editors, 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1992.

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

1. Argumentation-based abduction in disjunctive logic programming;The Journal of Logic Programming;2000-09

2. Abduction, argumentation and bi-disjunctive logic programs;Logic Programming and Knowledge Representation;1998

3. Knowledge representation with logic programs;Logic Programming and Knowledge Representation;1998

4. Knowledge Representation with Logic Programs;Handbook of Philosophical Logic