| 2005 | Default Reasoning with Preference Within Only Knowing Logic. | Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler |
| 2005 | Integrating an Answer Set Solver into Prolog: ASP-PROLOG. | Omar El-Khatib, Enrico Pontelli, Tran Cao Son |
| 2005 | Smodels | Islam Elkabani, Enrico Pontelli, Tran Cao Son |
| 2005 | Testing Strong Equivalence of Datalog Programs - Implementation and Examples. | Thomas Eiter, Wolfgang Faber, Patrick Traxler |
| 2005 | KMonitor - A Tool for Monitoring Plan Execution in Action Theories. | Thomas Eiter, Michael Fink, Jn Senko |
| 2005 | Data Integration and Answer Set Programming. | Thomas Eiter |
| 2005 | Revisiting the Semantics of Interval Probabilistic Logic Programs. | Alex Dekhtyar, Michael I. Dekhtyar |
| 2005 | On the Local Closed-World Assumption of Data-Sources. | Alvaro Corts-Calabuig, Marc Denecker, Ofer Arieli, Bert Van Nuffelen, Maurice Bruynooghe |
| 2005 | Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming. | Carlos Ivn Chesevar, Guillermo Ricardo Simari, Llus Godo |
| 2005 | SELP - A System for Studying Strong Equivalence Between Logic Programs. | Yin Chen, Fangzhen Lin, Lei Li |
| 2005 | External Sources of Computation for Answer Set Solvers. | Francesco Calimeri, Giovambattista Ianni |
| 2005 | A Social Semantics for Multi-agent Systems. | Francesco Buccafurri, Gianluca Caminiti |
| 2005 | Using Answer Set Programming for a Decision Support System. | Christoph Beierle, Oliver Dusso, Gabriele Kern-Isberner |
| 2005 | The Well Supported Semantics for Multidimensional Dynamic Logic Programs. | Federico Banti, Jos Jlio Alferes, Antonio Brogi, Pascal Hitzler |
| 2005 | The nomore++ System. | Christian Anger, Martin Gebser, Thomas Linke, Andr Neumann, Torsten Schaub |
| 2005 | Halo I: A Controlled Experiment for Large Scale Knowledge Base Development. | Jrgen Angele, Eddie Mnch, Henrik Oppermann, Dirk Wenke |
| 2004 | Properties of Iterated Multiple Belief Revision. | Dongmo Zhang |
| 2004 | Answer Set Programming with Clause Learning. | Jeffrey Ward, John S. Schlipf |
| 2004 | Strong Equivalence for Causal Theories. | Hudson Turner |
| 2004 | Deduction in Ontologies via ASP. | Terrance Swift |
| 2004 | Planning with Sensing Actions and Incomplete Information Using Logic Programming. | Tran Cao Son, Phan Huy Tu, Chitta Baral |
| 2004 | Planning with Preferences Using Logic Programming. | Tran Cao Son, Enrico Pontelli |
| 2004 | nlp: A Compiler for Nested Logic Programming. | Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |
| 2004 | Using Criticalities as a Heuristic for Answer Set Programming. | Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman |
| 2004 | Smodels with CLP?A Treatment of Aggregates in ASP. | Enrico Pontelli, Tran Cao Son, Islam Elkabani |