| 2004 | Representation and Complexity in Boolean Games. | Paul E. Dunne, Wiebe van der Hoek |
| 2004 | Complexity in Value-Based Argument Systems. | Paul E. Dunne, Trevor J. M. Bench-Capon |
| 2004 | On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. | Sylvie Doutre, Jrme Mengin |
| 2004 | Towards a Logical Analysis of Biochemical Pathways. | Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas |
| 2004 | Two Approaches to Merging Knowledge Bases. | James P. Delgrande, Torsten Schaub |
| 2004 | Games for Cognitive Agents. | Mehdi Dastani, Leendert W. N. van der Torre |
| 2004 | Sorted Multi-adjoint Logic Programs: Termination Results and Applications. | Carlos Viegas Damsio, Jess Medina, Manuel Ojeda-Aciego |
| 2004 | OLEX - A Reasoning-Based Text Classifier. | Chiara Cumbo, Salvatore Iiritano, Pasquale Rullo |
| 2004 | The DALI Logic Programming Agent-Oriented Language. | Stefania Costantini, Arianna Tocchio |
| 2004 | Knowledge-Theoretic Properties of Strategic Voting. | Samir Chopra, Eric Pacuit, Rohit Parikh |
| 2004 | IndLog - Induction in Logic. | Rui Camacho |
| 2004 | A System with Template Answer Set Programs. | Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
| 2004 | New DLV Features for Data Integration. | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | InterProlog: Towards a Declarative Embedding of Logic Programming in Java. | Miguel Calejo |
| 2004 | Exploiting Functional Dependencies in Declarative Problem Specifications. | Marco Cadoli, Toni Mancini |
| 2004 | Logic Programs with Functions and Default Values. | Pedro Cabalar, David Lorenzo |
| 2004 | On the Logic of 'Being Motivated to Achieve rho, Before delta'. | Jan M. Broersen |
| 2004 | Time Granularities and Ultimately Periodic Automata. | Davide Bresolin, Angelo Montanari, Gabriele Puppis |
| 2004 | Profiling Answer Set Programming: The Visualization Component of the noMoRe System. | Andreas Bsel, Thomas Linke, Torsten Schaub |
| 2004 | An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. | Jonathan Ben-Naim, Salem Benferhat, Odile Papini, ric Wrbel |
| 2004 | Logic Programming Infrastructure for Inferences on FrameNet. | Peter Baumgartner, Aljoscha Burchardt |
| 2004 | Line-Based Affine Reasoning in Euclidean Plane. | Philippe Balbiani, Tinko Tinchev |
| 2004 | Computing the Least Common Subsumer w.r.t. a Background Terminology. | Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
| 2004 | Engineering of Logics for the Content-Based Representation of Information. | Franz Baader |
| 2004 | Automatic Compilation of Protocol Insecurity Problems into Logic Programming. | Alessandro Armando, Luca Compagna, Yuliya Lierler |