| 2006 | Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. | Miroslaw Truszczynski |
| 2006 | The Features-and-Fluents Semantics for the Fluent Calculus. | Michael Thielscher, Thomas Witkowski |
| 2006 | Query Answering under the Any-World Assumption for Normal Logic Programs. | Umberto Straccia |
| 2006 | On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. | Tran Cao Son, Phan Huy Tu |
| 2006 | From Wine to Water: Optimizing Description Logic Reasoning for Nominals. | Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia |
| 2006 | On the Limits of Planning over Belief States under Strict Uncertainty. | Sebastian Sardia, Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2006 | An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. | Scott Sanner, Sheila A. McIlraith |
| 2006 | Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning. | Florence Dupin de Saint-Cyr, Henri Prade |
| 2006 | DL+log: Tight Integration of Description Logics and Disjunctive Datalog. | Riccardo Rosati |
| 2006 | Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. | Alan L. Rector |
| 2006 | Abductive Visual Perception with Feature Clouds. | David A. Randell, Mark Witkowski |
| 2006 | Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. | Marco Ragni, Stefan Wlfl |
| 2006 | Dataspaces: Co-existence with Heterogeneity. | David Maier, Alon Y. Halevy, Michael J. Franklin |
| 2006 | Variable-Strength Conditional Preferences for Matchmaking in Description Logics. | Thomas Lukasiewicz, Jrg Schellhase |
| 2006 | Updating Description Logic ABoxes. | Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2006 | Semantical Considerations for a Logic of Actions: An Imperative Manifesto. | Victor Jauregui |
| 2006 | Shapley Inconsistency Values. | Anthony Hunter, Sbastien Konieczny |
| 2006 | The Even More Irresistible SROIQ. | Ian Horrocks, Oliver Kutz, Ulrike Sattler |
| 2006 | Reasoning about Knowledge of Unawareness. | Joseph Y. Halpern, Leandro Chaves Rgo |
| 2006 | Modularity and Web Ontologies. | Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur |
| 2006 | Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. | Silvio Ghilardi, Carsten Lutz, Frank Wolter |
| 2006 | Grounding and the Expression of Belief. | Benot Gaudou, Andreas Herzig, Dominique Longin |
| 2006 | Decision-Theoretic GOLOG with Qualitative Preferences. | Christian Fritz, Sheila A. McIlraith |
| 2006 | Planning with Prioritized Goals. | Robert Feldmann, Gerhard Brewka, Sandro Wenzel |
| 2006 | Actions as Special Cases. | Selim T. Erdogan, Vladimir Lifschitz |