| 2004 | tascpl: TAS Solver for Classical Propositional Logic. | Manuel Ojeda-Aciego, Agustn Valverde |
| 2004 | Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. | Linh Anh Nguyen |
| 2004 | The Modal Logic Programming System MProlog. | Linh Anh Nguyen |
| 2004 | Formal Methods in Robotics. | Bernhard Nebel |
| 2004 | Soundness and Completeness of an "Efficient" Negation for Prolog. | Juan Jos Moreno-Navarro, Susana Muoz-Hernndez |
| 2004 | Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. | Jrme Mengin |
| 2004 | Reasoning About Quantum Systems. | Paulo Mateus, Amlcar Sernadas |
| 2004 | On the Relation Between ID-Logic and Answer Set Programming. | Maarten Marin, David Gilis, Marc Denecker |
| 2004 | A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach. | Enrico Marchioni, Llus Godo |
| 2004 | Only Knowing with Confidence Levels: Reductions and Complexity. | Espen H. Lian, Tore Langholm, Arild Waaler |
| 2004 | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. | Yevgeny Kazakov |
| 2004 | Capturing Parallel Circumscription with Disjunctive Logic Programs. | Tomi Janhunen, Emilia Oikarinen |
| 2004 | Equivalence of Logic Programs Under Updates. | Katsumi Inoue, Chiaki Sakama |
| 2004 | Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. | Arjen Hommersom, Peter J. F. Lucas, Michael Balser |
| 2004 | Hierarchical Decision Making by Autonomous Agents. | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
| 2004 | Measure Logics for Spatial Reasoning. | Mehmet Giritli |
| 2004 | Verifying Communicating Agents by Model Checking in a Temporal Action Logic. | Laura Giordano, Alberto Martelli, Camilla Schwind |
| 2004 | An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. | Lee Flax |
| 2004 | Relational Markov Games. | Alberto Finzi, Thomas Lukasiewicz |
| 2004 | Polynomial Approximations of Full Propositional Logic via Limited Bivalence. | Marcelo Finger |
| 2004 | The MyYapDB Deductive Database System. | Michel Ferreira, Ricardo Rocha |
| 2004 | Practical Reasoning for Uncertain Agents. | Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
| 2004 | Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2004 | Abductive Logic Programming with CIFF: System Description. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | The CIFF Proof Procedure for Abductive Logic Programming with Constraints. | Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |