| 2004 | Partial Implication Semantics for Desirable Propositions. | Yi Zhou, Xiaoping Chen |
| 2004 | An Improved Integer Local Search for Complex Scheduling Problems. | Weixiong Zhang, Xiaotao Zhang |
| 2004 | A Logic of Motion. | Fusun Yaman, Dana S. Nau, V. S. Subrahmanian |
| 2004 | Meaning and Links: A Semantic Odyssey. | William A. Woods |
| 2004 | Observation Expectation Reasoning in Agent Systems. | Bnh Vu Trn, James Harland, Margaret Hamilton |
| 2004 | Reasoning about Triggered Actions in AnsProlog and Its Application to Molecular Interactions in Cells. | Tran Hoai Nam, Chitta Baral |
| 2004 | Reasoning about Knowledge by Variable Forgetting. | Kaile Su, Guanfeng Lv, Yan Zhang |
| 2004 | Qualitative Probabilistic Matching with Hierarchical Descriptions. | Clinton Smyth, David Poole |
| 2004 | A Logic of Arbitrary and Indefinite Objects. | Stuart C. Shapiro |
| 2004 | A Logic-Based Formulation of Active Visual Perception. | Murray Shanahan, David A. Randell |
| 2004 | Satisfiability for Propositional Contexts. | Luciano Serafini, Floris Roelofsen |
| 2004 | Parthood as Spatial Inclusion - Evidence from biomedical Conceptualizations. | Stefan Schulz, Udo Hahn |
| 2004 | Phase Transitions in Classical Planning: An Experimental Study. | Jussi Rintanen |
| 2004 | Condensed Representations for Inductive Logic Programming. | Luc De Raedt, Jan Ramon |
| 2004 | A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases. | Guilin Qi, Weiru Liu, David H. Glass |
| 2004 | Inferential Complexity Control for Model-Based Abduction. | Gregory M. Provan |
| 2004 | Indoor Environment Classification and Perceptual Matching. | Fiora Pirri |
| 2004 | Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing. | Ronald P. A. Petrick, Fahiem Bacchus |
| 2004 | Distance Semantics for Relevance-Sensitive Belief Revision. | Pavlos Peppas, Samir Chopra, Norman Y. Foo |
| 2004 | What Is OWL (and Why Should I Care)? | Peter F. Patel-Schneider |
| 2004 | Learning Probabilistic Relational Planning Rules. | Hanna Pasula, Luke S. Zettlemoyer, Leslie Pack Kaelbling |
| 2004 | GlossOnt: A Concept-focused Ontology Building Tool. | Youngja Park |
| 2004 | Majority Logic. | Eric Pacuit, Samer Salame |
| 2004 | Logical Foundations of Negotiation: Strategies and Preferences. | Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang |
| 2004 | Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription. | John McCarthy |