| 2004 | Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. | Gerald Pfeifer |
| 2004 | Partial Stable Models for Logic Programs with Aggregates. | Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
| 2004 | Uniform Equivalence for Equilibrium Logic and Logic Programs. | David Pearce, Agustn Valverde |
| 2004 | Verifying the Equivalence of Logic Programs in the Disjunctive Case. | Emilia Oikarinen, Tomi Janhunen |
| 2004 | Set Constraints in Logic Programming. | V. Wiktor Marek, Jeffrey B. Remmel |
| 2004 | Logic Programs With Monotone Cardinality Atoms. | V. Wiktor Marek, Ilkka Niemel, Miroslaw Truszczynski |
| 2004 | WSAT(CC) - A Fast Local-Search ASP Solver. | Lengning Liu, Miroslaw Truszczynski |
| 2004 | Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. | Yuliya Lierler, Marco Maratea |
| 2004 | DLV | Nicola Leone, Vincenzino Lio, Giorgio Terracina |
| 2004 | Nondefinite vs. Definite Causal Theories. | Joohyung Lee |
| 2004 | Graphs and Colorings for Answer Set Programming: Abridged Report. | Kathrin Konczak, Thomas Linke, Torsten Schaub |
| 2004 | Toward A Universal Inference Engine. | Henry A. Kautz |
| 2004 | LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. | Tomi Janhunen, Emilia Oikarinen |
| 2004 | GNT - A Solver for Disjunctive Logic Programs. | Tomi Janhunen, Ilkka Niemel |
| 2004 | Towards Automated Integration of Guess and Check Programs in Answer Set Programming. | Thomas Eiter, Axel Polleres |
| 2004 | Simplifying Logic Programs Under Uniform and Strong Equivalence. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | Almost Definite Causal Theories. | Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz |
| 2004 | Reasoning About Actions and Change in Answer Set Programming. | Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael |
| 2004 | A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. | Marc Denecker, Eugenia Ternovska |
| 2004 | System Description: DLV with Aggregates. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | Constraints and Probabilistic Networks: A Look At The Interface. | Rina Dechter |
| 2004 | Answer Sets: From Constraint Programming Towards Qualitative Optimization. | Gerhard Brewka |
| 2004 | Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. | Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski |
| 2004 | Probabilistic Reasoning With Answer Sets. | Chitta Baral, Michael Gelfond, J. Nelson Rushton |
| 2004 | Semantics for Dynamic Logic Programming: A Principle-Based Approach. | Jos Jlio Alferes, Federico Banti, Antonio Brogi, Joo Alexandre Leite |