Switch to: References

Citations of:

Some (in)translatability results for normal logic programs and propositional theories

Journal of Applied Non-Classical Logics 16 (1-2):35-86 (2006)

Add citations

You must login to add citations.

Logic programming as classical inference.Eric A. Martin - 2015 - Journal of Applied Logic 13 (3):316-369.details Logic and Philosophy of Logic Direct download (3 more) Export citation Bookmark 2 citations
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?Markus Hecher - 2022 - Artificial Intelligence 304 (C):103651.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 1 citation
Conflict-driven answer set solving: From theory to practice.Martin Gebser, Benjamin Kaufmann & Torsten Schaub - 2012 - Artificial Intelligence 187-188 (C):52-89.details Science, Logic, and Mathematics Direct download (2 more) Export citation Bookmark 14 citations

1