| 2004 | A Causal Logic of Logic Programming. Alexander Bochman |
| 2004 | A First-Order Theory of Communicating First-Order Formulas. Ernest Davis |
| 2004 | A Logic of Arbitrary and Indefinite Objects. Stuart C. Shapiro |
| 2004 | A Logic of Limited Belief for Reasoning with Disjunctive Information. Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | A Logic of Motion. Fusun Yaman, Dana S. Nau, V. S. Subrahmanian |
| 2004 | A Logic-Based Formulation of Active Visual Perception. Murray Shanahan, David A. Randell |
| 2004 | A Polynomial-Time Algorithm for Constructing k-Maintainable Policies. Chitta Baral, Thomas Eiter |
| 2004 | A Preference-Based Interpretation of Other Agents' Actions. Jérôme Lang |
| 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 Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. Guilin Qi, Weiru Liu, David H. Glass |
| 2004 | A Unified Treatment for Knowledge Dynamics. Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui |
| 2004 | Advanced Research with Autonomous Unmanned Aerial Vehicles. Patrick Doherty |
| 2004 | An Experimental Analysis of Possibilistic Default Reasoning. Salem Benferhat, Jean-François Bonnefon, Rui Da Silva Neves |
| 2004 | An Improved Integer Local Search for Complex Scheduling Problems. Weixiong Zhang, Xiaotao Zhang |
| 2004 | Approximative Query Techniques for Agents with Heterogeneous Ontologies and Perceptive Capabilities. Patrick Doherty, Andrzej Szalas, Witold Lukaszewicz |
| 2004 | Automated Reformulation of Specifications by Safe Delay of Constraints. Marco Cadoli, Toni Mancini |
| 2004 | Axiomatizing the Cyclic Interval Calculus. Jean-François Condotta, Gérard Ligozat |
| 2004 | Breadth-First Heuristic Search. Rong Zhou, Eric A. Hansen |
| 2004 | C&L Intention Revisited. Andreas Herzig, Dominique Longin |
| 2004 | Causation and Causal Conditionals. John Bell |
| 2004 | Characterization of Semantics for Argument Systems. Philippe Besnard, Sylvie Doutre |
| 2004 | Combining Answer Set Programming with Description Logics for the Semantic Web. Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits |
| 2004 | Complex Preferences for Answer Set Optimization. Gerhard Brewka |
| 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 | Condensed Representations for Inductive Logic Programming. Luc De Raedt, Jan Ramon |
| 2004 | Discovering State Invariants. Fangzhen Lin |
| 2004 | Distance Semantics for Relevance-Sensitive Belief Revision. Pavlos Peppas, Samir Chopra, Norman Y. Foo |
| 2004 | Domain-Specific Preferences for Causal Reasoning and Planning. James P. Delgrande, Torsten Schaub, Hans Tompits |
| 2004 | Evidence and Belief. Itzhak Gilboa, David Schmeidler |
| 2004 | Expressive Power and Succinctness of Propositional Languages for Preference Representation. Sylvie Coste-Marquis, Jérôme Lang, Paolo Liberatore, Pierre Marquis |
| 2004 | Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. Ronald P. A. Petrick, Fahiem Bacchus |
| 2004 | From Hybrid Systems to Universal Plans Via Domain Compilation. Anthony Barrett |
| 2004 | GAI Networks for Utility Elicitation. Christophe Gonzales, Patrice Perny |
| 2004 | GlossOnt: A Concept-focused Ontology Building Tool. Youngja Park |
| 2004 | Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. John McCarthy |
| 2004 | How to Interweave Knowledge about Object Structure and Concepts. Carola Eschenbach |
| 2004 | Improving the Forward Chaining Algorithm for Conceptual Graphs Rules. Jean-François Baget |
| 2004 | Indoor Environment Classification and Perceptual Matching. Fiora Pirri |
| 2004 | Inductive Situation Calculus. Marc Denecker, Eugenia Ternovska |
| 2004 | Inferential Complexity Control for Model-Based Abduction. Gregory M. Provan |
| 2004 | Intransitivity and Vagueness. Joseph Y. Halpern |
| 2004 | Knowledge Discovery by Reversing Inductive Knowledge Representation. Gabriele Kern-Isberner, Jens Fisseler |
| 2004 | Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. Yves Martin, Iman Narasamdya, Michael Thielscher |
| 2004 | Learning Probabilistic Relational Planning Rules. Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling |
| 2004 | Logical Foundations of Negotiation: Strategies and Preferences. Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
| 2004 | Majority Logic. Eric Pacuit, Samer Salame |
| 2004 | Meaning and Links: A Semantic Odyssey. William A. Woods |
| 2004 | Multidimensional Mereotopology. Antony Galton |
| 2004 | Observation Expectation Reasoning in Agent Systems. Bình Vu Trân, James Harland, Margaret Hamilton |
| 2004 | On Eliminating Disjunctions in Stable Logic Programming. Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran |
| 2004 | On Merging Strategy-Proofness. Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
| 2004 | On the Use of an ATMS for Handling Conflicting Desires. Leila Amgoud, Claudette Cayrol |
| 2004 | Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. Ken Kaneiwa, Riichiro Mizoguchi |
| 2004 | Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith |
| 2004 | Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. Volker Haarslev, Ralf Möller |
| 2004 | Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. Stefan Schulz, Udo Hahn |
| 2004 | Partial Implication Semantics for Desirable Propositions. Yi Zhou, Xiaoping Chen |
| 2004 | Phase Transitions in Classical Planning: An Experimental Study. Jussi Rintanen |
| 2004 | Planning Graphs and Knowledge Compilation. Hector Geffner |
| 2004 | Precondition Control and the Progression Algorithm. Alfredo Gabaldon |
| 2004 | Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, June 2-5, 2004 Didier Dubois, Christopher A. Welty, Mary-Anne Williams |
| 2004 | Qualitative Probabilistic Matching with Hierarchical Descriptions. Clinton Smyth, David Poole |
| 2004 | Reaching Agreement Through Argumentation: A Possibilistic Approach. Leila Amgoud, Henri Prade |
| 2004 | Reasoning about Knowledge by Variable Forgetting. Kaile Su, Guanfeng Lv, Yan Zhang |
| 2004 | Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. Tran Hoai Nam, Chitta Baral |
| 2004 | Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | Regulative and Constitutive Norms in Normative Multiagent Systems. Guido Boella, Leendert W. N. van der Torre |
| 2004 | Satisfiability for Propositional Contexts. Luciano Serafini, Floris Roelofsen |
| 2004 | Situations, Si! Situation Terms, No! Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. Joseph Y. Halpern |
| 2004 | Social Roles and their Descriptions. Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino |
| 2004 | The Four Dimensions of Artifacts. Pawel Garbacz |
| 2004 | Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems. Noah S. Friedland, Paul G. Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jürgen Angele, Steffen Staab, David J. Israel, Vinay K. Chaudhri, Bruce W. Porter, Ken Barker, Peter Clark |
| 2004 | Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. Perry Groot, Annette ten Teije, Frank van Harmelen |
| 2004 | Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules. Boris Mailhé, Henri Prade |
| 2004 | Weak Nonmonotonic Probabilistic Logics. Thomas Lukasiewicz |
| 2004 | What Is OWL (and Why Should I Care)? Peter F. Patel-Schneider |
| 2004 | What to Ask to a Peer: Ontolgoy-based Query Reformulation. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2004 | What's in a Model? Epistemological Analysis of Logic Programming. Marc Denecker |