| 2004 | A Logic of Non-monotone Inductive Definitions and Its Modularity Properties. Marc Denecker, Eugenia Ternovska |
| 2004 | Almost Definite Causal Theories. Semra Dogandag, Paolo Ferraris, Vladimir Lifschitz |
| 2004 | Answer Set Programming with Clause Learning. Jeffrey Ward, John S. Schlipf |
| 2004 | Answer Sets: From Constraint Programming Towards Qualitative Optimization. Gerhard Brewka |
| 2004 | Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs. Yuliya Lierler, Marco Maratea |
| 2004 | Constraints and Probabilistic Networks: A Look At The Interface. Rina Dechter |
| 2004 | DLV Nicola Leone, Vincenzino Lio, Giorgio Terracina |
| 2004 | Deduction in Ontologies via ASP. Terrance Swift |
| 2004 | GNT - A Solver for Disjunctive Logic Programs. Tomi Janhunen, Ilkka Niemelä |
| 2004 | Graphs and Colorings for Answer Set Programming: Abridged Report. Kathrin Konczak, Thomas Linke, Torsten Schaub |
| 2004 | Improving the Model Generation/Checking Interplay to Enhance the Evaluation of Disjunctive Programs. Gerald Pfeifer |
| 2004 | LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs. Tomi Janhunen, Emilia Oikarinen |
| 2004 | Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings Vladimir Lifschitz, Ilkka Niemelä |
| 2004 | Logic Programs With Monotone Cardinality Atoms. V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski |
| 2004 | Nondefinite vs. Definite Causal Theories. Joohyung Lee |
| 2004 | Partial Stable Models for Logic Programs with Aggregates. Nikolay Pelov, Marc Denecker, Maurice Bruynooghe |
| 2004 | Planning with Preferences Using Logic Programming. Tran Cao Son, Enrico Pontelli |
| 2004 | Planning with Sensing Actions and Incomplete Information Using Logic Programming. Tran Cao Son, Phan Huy Tu, Chitta Baral |
| 2004 | Probabilistic Reasoning With Answer Sets. Chitta Baral, Michael Gelfond, J. Nelson Rushton |
| 2004 | Properties of Iterated Multiple Belief Revision. Dongmo Zhang |
| 2004 | Reasoning About Actions and Change in Answer Set Programming. Yannis Dimopoulos, Antonis C. Kakas, Loizos Michael |
| 2004 | Semantics for Dynamic Logic Programming: A Principle-Based Approach. José Júlio Alferes, Federico Banti, Antonio Brogi, João Alexandre Leite |
| 2004 | Set Constraints in Logic Programming. V. Wiktor Marek, Jeffrey B. Remmel |
| 2004 | Simplifying Logic Programs Under Uniform and Strong Equivalence. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | Smodels with CLP?A Treatment of Aggregates in ASP. Enrico Pontelli, Tran Cao Son, Islam Elkabani |
| 2004 | Strong Equivalence for Causal Theories. Hudson Turner |
| 2004 | System Description: DLV with Aggregates. Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | Toward A Universal Inference Engine. Henry A. Kautz |
| 2004 | Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Thomas Eiter, Axel Polleres |
| 2004 | Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski |
| 2004 | Uniform Equivalence for Equilibrium Logic and Logic Programs. David Pearce, Agustín Valverde |
| 2004 | Using Criticalities as a Heuristic for Answer Set Programming. Orkunt Sabuncu, Ferda Nur Alpaslan, Varol Akman |
| 2004 | Verifying the Equivalence of Logic Programs in the Disjunctive Case. Emilia Oikarinen, Tomi Janhunen |
| 2004 | WSAT(CC) - A Fast Local-Search ASP Solver. Lengning Liu, Miroslaw Truszczynski |
| 2004 | nlp: A Compiler for Nested Logic Programming. Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran |