| 2007 | Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. | Nicola Leone |
| 2007 | Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs. | Joohyung Lee, Ravi Palla |
| 2007 | Modularity Aspects of Disjunctive Stable Models. | Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran |
| 2007 | Using Answer Sets to Solve Belief Change Problems. | Aaron Hunter, James P. Delgrande, Joel Faber |
| 2007 | A Deductive System for PC(ID). | Ping Hou, Johan Wittocx, Marc Denecker |
| 2007 | Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. | Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2007 | GrinGo : A New Grounder for Answer Set Programming. | Martin Gebser, Torsten Schaub, Sven Thiele |
| 2007 | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2007 | Head-Elementary-Set-Free Logic Programs. | Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2007 | Untitled record | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | Conflict-Driven Answer Set Enumeration. | Martin Gebser, Benjamin Kaufmann, Andr Neumann, Torsten Schaub |
| 2007 | Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. | Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran |
| 2007 | An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. | Edgardo Ferretti, Marcelo Errecalde, Alejandro Javier Garca, Guillermo Ricardo Simari |
| 2007 | Experimenting with Look-Back Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2007 | On the Complexity of Answer Set Programming with Aggregates. | Wolfgang Faber, Nicola Leone |
| 2007 | Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. | Marc Denecker, Joost Vennekens |
| 2007 | A Preference-Based Framework for Updating Logic Programs. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2007 | Complexity of Default Logic on Generalized Conjunctive Queries. | Philippe Chapdelaine, Miki Hermann, Ilka Schnoor |
| 2007 | A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
| 2007 | Debugging ASP Programs by Means of ASP. | Martin Brain, Martin Gebser, Jrg Phrer, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2007 | cr-models: An Inference Engine for CR-Prolog. | Marcello Balduccini |
| 2007 | The | Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli |
| 2005 | Lookahead in Smodels Compared to Local Consistencies in CSP. | Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko |
| 2005 | Application of Smodels in Quartet Based Phylogeny Construction. | Gang Wu, Jia-Huai You, Guohui Lin |
| 2005 | Nested Epistemic Logic Programs. | Kewen Wang, Yan Zhang |