Switch to: Citations

References in:

Equivalence for the G 3 ′ -stable models semantics

José Luis Carballido, Mauricio Osorio & José Ramón Arrazola

Journal of Applied Logic 8 (1):82-96 (2010)

Add references

You must login to add references.

On the theory of inconsistent formal systems.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (4):497-510.details Download Export citation Bookmark 177 citations
(2 other versions)The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.details Download Export citation Bookmark 57 citations
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.details Download Export citation Bookmark 471 citations
On the theory of inconsistent formal systems.Newton C. A. Costa - 1972 - Recife,: Universidade Federal de Pernambuco, Instituto de Matemática.details Download Export citation Bookmark 125 citations
Natural 3-valued logics—characterization and proof theory.Arnon Avron - 1991 - Journal of Symbolic Logic 56 (1):276-294.details Download Export citation Bookmark 85 citations
Audiences in argumentation frameworks.Trevor J. M. Bench-Capon, Sylvie Doutre & Paul E. Dunne - 2007 - Artificial Intelligence 171 (1):42-71.details Download Export citation Bookmark 46 citations

1