| 2004 | A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach. Enrico Marchioni, Lluís Godo |
| 2004 | A Logic with Conditional Probabilities. Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic |
| 2004 | A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment. Yevgeny Kazakov |
| 2004 | A System with Template Answer Set Programs. Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
| 2004 | Abductive Logic Programming with CIFF: System Description. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment. Lee Flax |
| 2004 | An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS. Jonathan Ben-Naim, Salem Benferhat, Odile Papini, Éric Würbel |
| 2004 | An Implementation of Statistical Default Logic. Gregory R. Wheeler, Carlos Viegas Damásio |
| 2004 | Automatic Compilation of Protocol Insecurity Problems into Logic Programming. Alessandro Armando, Luca Compagna, Yuliya Lierler |
| 2004 | Capturing Parallel Circumscription with Disjunctive Logic Programs. Tomi Janhunen, Emilia Oikarinen |
| 2004 | Cardinality Constraint Programs. Tommi Syrjänen |
| 2004 | Characterizations for Relativized Notions of Equivalence in Answer Set Programming. Stefan Woltran |
| 2004 | Combining Decision Procedures for Sorted Theories. Cesare Tinelli, Calogero G. Zarba |
| 2004 | Complexity in Value-Based Argument Systems. Paul E. Dunne, Trevor J. M. Bench-Capon |
| 2004 | Computing the Least Common Subsumer w.r.t. a Background Terminology. Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan |
| 2004 | Discovering Anomalies in Evidential Knowledge by Logic Programming. Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli |
| 2004 | Engineering of Logics for the Content-Based Representation of Information. Franz Baader |
| 2004 | Equivalence of Logic Programs Under Updates. Katsumi Inoue, Chiaki Sakama |
| 2004 | Explaining Subsumption by Optimal Interpolation. Stefan Schlobach |
| 2004 | Exploiting Functional Dependencies in Declarative Problem Specifications. Marco Cadoli, Toni Mancini |
| 2004 | Formal Methods in Robotics. Bernhard Nebel |
| 2004 | Games for Cognitive Agents. Mehdi Dastani, Leendert W. N. van der Torre |
| 2004 | Hierarchical Decision Making by Autonomous Agents. Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
| 2004 | IndLog - Induction in Logic. Rui Camacho |
| 2004 | InterProlog: Towards a Declarative Embedding of Logic Programming in Java. Miguel Calejo |
| 2004 | Knowledge-Theoretic Properties of Strategic Voting. Samir Chopra, Eric Pacuit, Rohit Parikh |
| 2004 | Line-Based Affine Reasoning in Euclidean Plane. Philippe Balbiani, Tinko Tinchev |
| 2004 | Logic Programming Infrastructure for Inferences on FrameNet. Peter Baumgartner, Aljoscha Burchardt |
| 2004 | Logic Programs with Functions and Default Values. Pedro Cabalar, David Lorenzo |
| 2004 | Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach. Jérôme Mengin |
| 2004 | Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings José Júlio Alferes, João Alexandre Leite |
| 2004 | Measure Logics for Spatial Reasoning. Mehmet Giritli |
| 2004 | Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. Arjen Hommersom, Peter J. F. Lucas, Michael Balser |
| 2004 | Modelling Communicating Agents in Timed Reasoning Logics. Natasha Alechina, Brian Logan, Mark Whitsey |
| 2004 | Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs. Linh Anh Nguyen |
| 2004 | New DLV Features for Data Integration. Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | OLEX - A Reasoning-Based Text Classifier. Chiara Cumbo, Salvatore Iiritano, Pasquale Rullo |
| 2004 | On Sceptical Versus Credulous Acceptance for Abstract Argument Systems. Sylvie Doutre, Jérôme Mengin |
| 2004 | On the Logic of 'Being Motivated to Achieve rho, Before delta'. Jan M. Broersen |
| 2004 | On the Relation Between ID-Logic and Answer Set Programming. Maarten Mariën, David Gilis, Marc Denecker |
| 2004 | Only Knowing with Confidence Levels: Reductions and Complexity. Espen H. Lian, Tore Langholm, Arild Waaler |
| 2004 | Parallel Encodings of Classical Planning as Satisfiability. Jussi Rintanen, Keijo Heljanko, Ilkka Niemelä |
| 2004 | Polynomial Approximations of Full Propositional Logic via Limited Bivalence. Marcelo Finger |
| 2004 | Practical Reasoning for Uncertain Agents. Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek |
| 2004 | Profiling Answer Set Programming: The Visualization Component of the noMoRe System. Andreas Bösel, Thomas Linke, Torsten Schaub |
| 2004 | Qsmodels: ASP Planning in Interactive Gaming Environment. Luca Padovani, Alessandro Provetti |
| 2004 | Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency. Stefan Wölfl |
| 2004 | Reasoning About Quantum Systems. Paulo Mateus, Amílcar Sernadas |
| 2004 | Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2004 | Relational Markov Games. Alberto Finzi, Thomas Lukasiewicz |
| 2004 | Representation and Complexity in Boolean Games. Paul E. Dunne, Wiebe van der Hoek |
| 2004 | Representing and Reasoning with Preferences. Francesca Rossi |
| 2004 | SATMC: A SAT-Based Model Checker for Security Protocols. Alessandro Armando, Luca Compagna |
| 2004 | Semantic Knowledge Partitioning. Christoph Wernhard |
| 2004 | Some Techniques for Branch-Saturation in Free-Variable Tableaux. Nicolas Peltier |
| 2004 | Sorted Multi-adjoint Logic Programs: Termination Results and Applications. Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego |
| 2004 | Soundness and Completeness of an "Efficient" Negation for Prolog. Juan José Moreno-Navarro, Susana Muñoz-Hernández |
| 2004 | The CIFF Proof Procedure for Abductive Logic Programming with Constraints. Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni |
| 2004 | The DALI Logic Programming Agent-Oriented Language. Stefania Costantini, Arianna Tocchio |
| 2004 | The Modal Logic Programming System MProlog. Linh Anh Nguyen |
| 2004 | The MyYapDB Deductive Database System. Michel Ferreira, Ricardo Rocha |
| 2004 | The PLP System. Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2004 | Time Granularities and Ultimately Periodic Automata. Davide Bresolin, Angelo Montanari, Gabriele Puppis |
| 2004 | Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning. David Pearce, Agustín Valverde |
| 2004 | Towards a Logical Analysis of Biochemical Pathways. Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas |
| 2004 | Transforming Fuzzy Description Logics into Classical Description Logics. Umberto Straccia |
| 2004 | Two Approaches to Merging Knowledge Bases. James P. Delgrande, Torsten Schaub |
| 2004 | Verdi: An Automated Tool for Web Sites Verification. María Alpuente, Demis Ballis, Moreno Falaschi |
| 2004 | Verifying Communicating Agents by Model Checking in a Temporal Action Logic. Laura Giordano, Alberto Martelli, Camilla Schwind |
| 2004 | tabeql: A Tableau Based Suite for Equilibrium Logic. Agustín Valverde |
| 2004 | tascpl: TAS Solver for Classical Propositional Logic. Manuel Ojeda-Aciego, Agustín Valverde |