| 2007 | A Characterization of Strong Equivalence for Logic Programs with Variables. Vladimir Lifschitz, David Pearce, Agustín Valverde |
| 2007 | A Deductive System for PC(ID). Ping Hou, Johan Wittocx, Marc Denecker |
| 2007 | A Preference-Based Framework for Updating Logic Programs. James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2007 | A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
| 2007 | A Unified Semantics for Constraint Handling Rules in Transaction Logic. Marc Meister, Khalil Djelloul, Jacques Robin |
| 2007 | An Gayathri Namasivayam, Miroslaw Truszczynski |
| 2007 | An Application of Defeasible Logic Programming to Decision Making in a Robotic Environment. Edgardo Ferretti, Marcelo Errecalde, Alejandro Javier García, Guillermo Ricardo Simari |
| 2007 | CPP: A Constraint Logic Programming Based Planner with Preferences. Phan Huy Tu, Tran Cao Son, Enrico Pontelli |
| 2007 | Complexity of Default Logic on Generalized Conjunctive Queries. Philippe Chapdelaine, Miki Hermann, Ilka Schnoor |
| 2007 | Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran |
| 2007 | Conditional Planning with External Functions. Davy Van Nieuwenborgh, Thomas Eiter, Dirk Vermeir |
| 2007 | Conflict-Driven Answer Set Enumeration. Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub |
| 2007 | Debugging ASP Programs by Means of ASP. Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2007 | Experimenting with Look-Back Heuristics for Hard ASP Programs. Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2007 | General Default Logic. Yi Zhou, Fangzhen Lin, Yan Zhang |
| 2007 | GrinGo : A New Grounder for Answer Set Programming. Martin Gebser, Torsten Schaub, Sven Thiele |
| 2007 | Head-Elementary-Set-Free Logic Programs. Martin Gebser, Joohyung Lee, Yuliya Lierler |
| 2007 | Logic Programming and Nonmonotonic Reasoning, 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings Chitta Baral, Gerhard Brewka, John S. Schlipf |
| 2007 | Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications. Nicola Leone |
| 2007 | Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities. Jia-Huai You, Li-Yan Yuan, Guohua Liu, Yi-Dong Shen |
| 2007 | Modularity Aspects of Disjunctive Stable Models. Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran |
| 2007 | Modularity in smodelsPrograms. Emilia Oikarinen |
| 2007 | On the Complexity of Answer Set Programming with Aggregates. Wolfgang Faber, Nicola Leone |
| 2007 | On the Effectiveness of Looking Ahead in Search for Answer Sets. Guohua Liu, Jia-Huai You |
| 2007 | Policy-Based Computing: From Systems and Applications to Theory. Jorge Lobo |
| 2007 | Programming Applications in CIFF. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2007 | Semantics for Possibilistic Disjunctive Programs. Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés |
| 2007 | The Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli, Domenico Trimboli |
| 2007 | The First Answer Set Programming System Competition. Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2007 | Using Answer Sets to Solve Belief Change Problems. Aaron Hunter, James P. Delgrande, Joel Faber |
| 2007 | Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions. Marc Denecker, Joost Vennekens |
| 2007 | cr-models: An Inference Engine for CR-Prolog. Marcello Balduccini |