| 2004 | How to Interweave Knowledge about Object Structure and Concepts. | Carola Eschenbach |
| 2004 | Combining Answer Set Programming with Description Logics for the Semantic Web. | Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits |
| 2004 | On Eliminating Disjunctions in Stable Logic Programming. | Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. | Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran |
| 2004 | Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. | Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz |
| 2004 | Advanced Research with Autonomous Unmanned Aerial Vehicles. | Patrick Doherty |
| 2004 | Inductive Situation Calculus. | Marc Denecker, Eugenia Ternovska |
| 2004 | What's in a Model? Epistemological Analysis of Logic Programming. | Marc Denecker |
| 2004 | Domain-Specific Preferences for Causal Reasoning and Planning. | James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2004 | A First-Order Theory of Communicating First-Order Formulas. | Ernest Davis |
| 2004 | Expressive Power and Succinctness of Propositional Languages for Preference Representation. | Sylvie Coste-Marquis, Jrme Lang, Paolo Liberatore, Pierre Marquis |
| 2004 | Axiomatizing the Cyclic Interval Calculus. | Jean-Franois Condotta, Grard Ligozat |
| 2004 | What to Ask to a Peer: Ontolgoy-based Query Reformulation. | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2004 | Automated Reformulation of Specifications by Safe Delay of Constraints. | Marco Cadoli, Toni Mancini |
| 2004 | Complex Preferences for Answer Set Optimization. | Gerhard Brewka |
| 2004 | Regulative and Constitutive Norms in Normative Multiagent Systems. | Guido Boella, Leendert W. N. van der Torre |
| 2004 | A Causal Logic of Logic Programming. | Alexander Bochman |
| 2004 | A Unified Treatment for Knowledge Dynamics. | Isabelle Bloch, Ramn Pino Prez, Carlos Uzctegui |
| 2004 | Characterization of Semantics for Argument Systems. | Philippe Besnard, Sylvie Doutre |
| 2004 | An Experimental Analysis of Possibilistic Default Reasoning. | Salem Benferhat, Jean-Franois Bonnefon, Rui Da Silva Neves |
| 2004 | Causation and Causal Conditionals. | John Bell |
| 2004 | From Hybrid Systems to Universal Plans Via Domain Compilation. | Anthony Barrett |
| 2004 | A Question-Answering System for AP Chemistry: Assessing KR&R Technologies. | Ken Barker, Vinay K. Chaudhri, Shaw Yi Chaw, Peter Clark, James Fan, David J. Israel, Sunil Mishra, Bruce W. Porter, Pedro Romero, Dan Tecuci, Peter Z. Yeh |
| 2004 | A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. | Chitta Baral, Thomas Eiter |
| 2004 | Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. | Jean-Franois Baget |