Switch to: Citations

References in:

FLP answer set semantics without circular justifications for general logic programs

Yi-Dong Shen, Kewen Wang, Thomas Eiter, Michael Fink, Christoph Redl, Thomas Krennwallner & Jun Deng

Artificial Intelligence 213 (C):1-41 (2014)

Add references

You must login to add references.

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 448 citations
Computing ideal sceptical argumentation.P. M. Dung, P. Mancarella & F. Toni - 2007 - Artificial Intelligence 171 (10-15):642-674.details Download Export citation Bookmark 61 citations
Semantics and complexity of recursive aggregates in answer set programming.Wolfgang Faber, Gerald Pfeifer & Nicola Leone - 2011 - Artificial Intelligence 175 (1):278-298.details Download Export citation Bookmark 18 citations
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (16-17):1285-1306.details Download Export citation Bookmark 7 citations
Combining answer set programming with description logics for the Semantic Web.Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer & Hans Tompits - 2008 - Artificial Intelligence 172 (12-13):1495-1539.details Download Export citation Bookmark 16 citations
Local Models Semantics, or contextual reasoning=locality+compatibility☆☆This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. [REVIEW]Chiara Ghidini & Fausto Giunchiglia - 2001 - Artificial Intelligence 127 (2):221-259.details Download Export citation Bookmark 12 citations
Logic programs with abstract constraint atoms: The role of computations.Lengning Liu, Enrico Pontelli, Tran Cao Son & Miroslaw Truszczyński - 2010 - Artificial Intelligence 174 (3-4):295-315.details Download Export citation Bookmark 3 citations
Answer set programming and plan generation.Vladimir Lifschitz - 2002 - Artificial Intelligence 138 (1-2):39-54.details Download Export citation Bookmark 20 citations
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.details Download Export citation Bookmark 11 citations

1