Switch to: Citations

References in:

Model-based recasting in answer-set programming

Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran

Journal of Applied Non-Classical Logics 23 (1-2):75-104 (2013)

Add references

You must login to add references.

(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
The Decision Problem for Some Classes of Sentences Without Quantifiers.J. C. C. Mckinsey - 1944 - Journal of Symbolic Logic 9 (1):30-31.details Download Export citation Bookmark 3 citations
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.details Download Export citation Bookmark 634 citations
The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.details Download Export citation Bookmark 16 citations
Mathematical Foundations of Answer Set Programming.Vladimir Lifschitz - unknowndetails applied, for instance, to developing a decision support system for the Space Shuttle INogueira et al., 2001] and to graph-theoretic problems arising in.. Download Export citation Bookmark 1 citation
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

1