| 2006 | A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong |
| 2006 | A Theory of Vague Adjectives Grounded in Relevant Observables. Brandon Bennett |
| 2006 | A Tree Decomposition Algorithm for Conceptual Graph Projection. Madalina Croitoru, Ernesto Compatangelo |
| 2006 | Abductive Visual Perception with Feature Clouds. David A. Randell, Mark Witkowski |
| 2006 | Actions as Special Cases. Selim T. Erdogan, Vladimir Lifschitz |
| 2006 | An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. Scott Sanner, Sheila A. McIlraith |
| 2006 | Computational Properties of Epistemic Logic Programs. Yan Zhang |
| 2006 | Constrained Argumentation Frameworks. Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis |
| 2006 | DL+log: Tight Integration of Description Logics and Disjunctive Datalog. Riccardo Rosati |
| 2006 | Data Complexity of Query Answering in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati |
| 2006 | Dataspaces: Co-existence with Heterogeneity. David Maier, Alon Y. Halevy, Michael J. Franklin |
| 2006 | Decision-Theoretic GOLOG with Qualitative Preferences. Christian Fritz, Sheila A. McIlraith |
| 2006 | Definitorially Complete Description Logics. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
| 2006 | Description Logics with Circumscription. Piero A. Bonatti, Carsten Lutz, Frank Wolter |
| 2006 | Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. Silvio Ghilardi, Carsten Lutz, Frank Wolter |
| 2006 | Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. Yann Chevaleyre, Ulle Endriss, Jérôme Lang |
| 2006 | First-Order Loop Formulas for Normal Logic Programs. Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang |
| 2006 | Foundations for Knowledge-Based Programs using ES. Jens Claßen, Gerhard Lakemeyer |
| 2006 | From Wine to Water: Optimizing Description Logic Reasoning for Nominals. Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia |
| 2006 | Grounding and the Expression of Belief. Benoît Gaudou, Andreas Herzig, Dominique Longin |
| 2006 | Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. Blai Bonet, Hector Geffner |
| 2006 | Iterated Revision as Prioritized Merging. James P. Delgrande, Didier Dubois, Jérôme Lang |
| 2006 | Knowledgebase Compilation for Efficient Logical Argumentation. Philippe Besnard, Anthony Hunter |
| 2006 | Lack of Finite Characterizations for the Distance-Based Revision. Jonathan Ben-Naim |
| 2006 | Logical Foundations of Well-Founded Semantics. Pedro Cabalar, Sergei P. Odintsov, David Pearce |
| 2006 | Modularity and Web Ontologies. Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur |
| 2006 | Non-Deterministic Semantics for First-Order Paraconsistent Logics. Anna Zamansky, Arnon Avron |
| 2006 | On Mechanization of Thought Processes (Extended Abstract). Jon Doyle |
| 2006 | On Planning with Programs that Sense. Jorge A. Baier, Sheila A. McIlraith |
| 2006 | On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. Tran Cao Son, Phan Huy Tu |
| 2006 | On the Limits of Planning over Belief States under Strict Uncertainty. Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque |
| 2006 | Planning with Prioritized Goals. Robert Feldmann, Gerhard Brewka, Sandro Wenzel |
| 2006 | Planning with Qualitative Temporal Preferences. Meghyn Bienvenu, Christian Fritz, 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 | Probabilistic Abduction without Priors. Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner |
| 2006 | Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 Patrick Doherty, John Mylopoulos, Christopher A. Welty |
| 2006 | Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. Michael Wachter, Rolf Haenni |
| 2006 | Qualitative Decision Making with Bipolar Information. Didier Dubois, Hélène Fargier |
| 2006 | Query Answering under the Any-World Assumption for Normal Logic Programs. Umberto Straccia |
| 2006 | Reasoning about Knowledge of Unawareness. Joseph Y. Halpern, Leandro Chaves Rêgo |
| 2006 | Redoing the Foundations of Decision Theory. Lawrence E. Blume, David A. Easley, Joseph Y. Halpern |
| 2006 | Replacements in Non-Ground Answer-Set Programming. Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran |
| 2006 | Representing Policies for Quantified Boolean Formulae. Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis |
| 2006 | Semantical Considerations for a Logic of Actions: An Imperative Manifesto. Victor Jauregui |
| 2006 | Semantics for Dynamic Syntactic Epistemic Logics. Thomas Ågotnes, Natasha Alechina |
| 2006 | Shapley Inconsistency Values. Anthony Hunter, Sébastien Konieczny |
| 2006 | Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. Miroslaw Truszczynski |
| 2006 | Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. Marco Ragni, Stefan Wölfl |
| 2006 | The Even More Irresistible SROIQ. Ian Horrocks, Oliver Kutz, Ulrike Sattler |
| 2006 | The Features-and-Fluents Semantics for the Fluent Calculus. Michael Thielscher, Thomas Witkowski |
| 2006 | Updating Description Logic ABoxes. Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter |
| 2006 | Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. Alan L. Rector |
| 2006 | Variable-Strength Conditional Preferences for Matchmaking in Description Logics. Thomas Lukasiewicz, Jörg Schellhase |