| 2004 | Social Roles and their Descriptions. | Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Carola Catenacci, Roberta Ferrario, Aldo Gangemi, Nicola Guarino |
| 2004 | Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. | Yves Martin, Iman Narasamdya, Michael Thielscher |
| 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 | A Logic of Limited Belief for Reasoning with Disjunctive Information. | Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | Discovering State Invariants. | Fangzhen Lin |
| 2004 | A Preference-Based Interpretation of Other Agents' Actions. | Jrme Lang |
| 2004 | Situations, Si! Situation Terms, No! | Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | Knowledge Discovery by Reversing Inductive Knowledge Representation. | Gabriele Kern-Isberner, Jens Fisseler |
| 2004 | Ontological Knowledge Base Reasoning with Sort-Hierarchy and Rigidity. | Ken Kaneiwa, Riichiro Mizoguchi |
| 2004 | Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
| 2004 | C&L Intention Revisited. | Andreas Herzig, Dominique Longin |
| 2004 | Intransitivity and Vagueness. | Joseph Y. Halpern |
| 2004 | Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems. | Joseph Y. Halpern |
| 2004 | Optimization Techniques for Retrieving Resources Described in OWL/RDF Documents: First Results. | Volker Haarslev, Ralf Mller |
| 2004 | Towards a Structured Analysis of Approximate Problem Solving: A Case Study in Classification. | Perry Groot, Annette ten Teije, Frank van Harmelen |
| 2004 | GAI Networks for Utility Elicitation. | Christophe Gonzales, Patrice Perny |
| 2004 | Evidence and Belief. | Itzhak Gilboa, David Schmeidler |
| 2004 | Planning Graphs and Knowledge Compilation. | Hector Geffner |
| 2004 | The Four Dimensions of Artifacts. | Pawel Garbacz |
| 2004 | Multidimensional Mereotopology. | Antony Galton |
| 2004 | Precondition Control and the Progression Algorithm. | Alfredo Gabaldon |
| 2004 | Towards a Quantitative, Platform-Independent Analysis of Knowledge Systems. | Noah S. Friedland, Paul G. Allen, Michael Witbrock, Gavin Matthews, Nancy Salay, Pierluigi Miraglia, Jrgen Angele, Steffen Staab, David J. Israel, Vinay K. Chaudhri, Bruce W. Porter, Ken Barker, Peter Clark |
| 2004 | Ontological Theory for Ontological Engineering: Biomedical Systems Information Integration. | James Matthew Fielding, Jonathan Simon, Werner Ceusters, Barry Smith |
| 2004 | On Merging Strategy-Proofness. | Patricia Everaere, Sbastien Konieczny, Pierre Marquis |