| 2005 | A DLP System with Object-Oriented Features. Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso |
| 2005 | A Social Semantics for Multi-agent Systems. Francesco Buccafurri, Gianluca Caminiti |
| 2005 | Abduction and Preferences in Linguistics. Kathrin Konczak, Ralf Vogel |
| 2005 | An Algebraic Account of Modularity in ID-Logic. Joost Vennekens, Marc Denecker |
| 2005 | An Approximation of Action Theories of and Its Application to Conformant Planning. Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales |
| 2005 | An ID-Logic Formalization of the Composition of Autonomous Databases. Bert Van Nuffelen, Ofer Arieli, Alvaro Cortés-Calabuig, Maurice Bruynooghe |
| 2005 | Answer Sets for Propositional Theories. Paolo Ferraris |
| 2005 | Application of Smodels in Quartet Based Phylogeny Construction. Gang Wu, Jia-Huai You, Guohui Lin |
| 2005 | Approximating Answer Sets of Unitary Lifschitz-Woo Programs. Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski |
| 2005 | Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. Carlos Iván Chesñevar, Guillermo Ricardo Simari, Lluís Godo |
| 2005 | Data Integration and Answer Set Programming. Thomas Eiter |
| 2005 | Data Integration: a Challenging ASP Application. Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
| 2005 | Default Reasoning with Preference Within Only Knowing Logic. Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler |
| 2005 | External Sources of Computation for Answer Set Solvers. Francesco Calimeri, Giovambattista Ianni |
| 2005 | Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories. Alberto Finzi, Thomas Lukasiewicz |
| 2005 | Guarded Open Answer Set Programming. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
| 2005 | Halo I: A Controlled Experiment for Large Scale Knowledge Base Development. Jürgen Angele, Eddie Mönch, Henrik Oppermann, Dirk Wenke |
| 2005 | Inference of Gene Relations from Microarray Data by Abduction. Irene Papatheodorou, Antonis C. Kakas, Marek J. Sergot |
| 2005 | Integrating an Answer Set Solver into Prolog: ASP-PROLOG. Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2005 | KMonitor - A Tool for Monitoring Plan Execution in Action Theories. Thomas Eiter, Michael Fink, Ján Senko |
| 2005 | Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina |
| 2005 | Lookahead in Smodels Compared to Local Consistencies in CSP. Jia-Huai You, Guohua Liu, Li-Yan Yuan, Curtis Onuczko |
| 2005 | Loops: Relevant or Redundant? Martin Gebser, Torsten Schaub |
| 2005 | Mode-Directed Fixed Point Computation. Hai-Feng Guo |
| 2005 | Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems. Antonis C. Kakas, Loizos Michael, Rob Miller |
| 2005 | Nested Epistemic Logic Programs. Kewen Wang, Yan Zhang |
| 2005 | Nonmonotonic Reasoning in FLORA-2. Michael Kifer |
| 2005 | On Modular Translations and Strong Equivalence. Paolo Ferraris |
| 2005 | On the Local Closed-World Assumption of Data-Sources. Alvaro Cortés-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe |
| 2005 | Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. Lengning Liu, Miroslaw Truszczynski |
| 2005 | Platypus: A Platform for Distributed Answer Set Solving. Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy |
| 2005 | Revisiting the Semantics of Interval Probabilistic Logic Programs. Alex Dekhtyar, Michael I. Dekhtyar |
| 2005 | Routley Semantics for Answer Sets. Sergei P. Odintsov, David Pearce |
| 2005 | SELP - A System for Studying Strong Equivalence Between Logic Programs. Yin Chen, Fangzhen Lin, Lei Li |
| 2005 | Smodels Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2005 | Solving Hard ASP Programs Efficiently. Wolfgang Faber, Francesco Ricca |
| 2005 | Some Logical Properties of Nonmonotonic Causal Theories. Marek J. Sergot, Robert Craven |
| 2005 | Testing Strong Equivalence of Datalog Programs - Implementation and Examples. Thomas Eiter, Wolfgang Faber, Patrick Traxler |
| 2005 | The Well Supported Semantics for Multidimensional Dynamic Logic Programs. Federico Banti, José Júlio Alferes, Antonio Brogi, Pascal Hitzler |
| 2005 | The nomore++ System. Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub |
| 2005 | Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. Wolfgang Faber |
| 2005 | Using Answer Set Programming for a Decision Support System. Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner |
| 2005 | circ2dlp - Translating Circumscription into Disjunctive Logic Programming. Emilia Oikarinen, Tomi Janhunen |
| 2005 | cmodels - SAT-Based Disjunctive Answer Set Solver. Yuliya Lierler |
| 2005 | nomore Susanne Grell, Kathrin Konczak, Torsten Schaub |