Invited Keynote Presentations

• 
  Jon Doyle: On Mechanization of Thought Processes (Extended Abstract). 2
• 
  David Maier, Alon Y. Halevy, Michael J. Franklin: Dataspaces: Co-existence with Heterogeneity. 3
• 
  Alan L. Rector: Users Are Always Right ... Even When They Are Wrong: Making Knowledge Representation Useful and Usable. 4

Philosophical and Psychological Issues

• 
  Joseph Y. Halpern, Leandro Chaves Rêgo: Reasoning about Knowledge of Unawareness. 6-13
• 
  Lawrence E. Blume, David A. Easley, Joseph Y. Halpern: Redoing the Foundations of Decision Theory. 14-24
• 
  Pedro Cabalar, Sergei P. Odintsov, David Pearce: Logical Foundations of Well-Founded Semantics. 25-35
• 
  Brandon Bennett: A Theory of Vague Adjectives Grounded in Relevant Observables. 36-45

Description Logics

• 
  Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter: Updating Description Logic ABoxes. 46-56
• 
  Ian Horrocks, Oliver Kutz, Ulrike Sattler: The Even More Irresistible SROIQ. 57-67
• 
  Riccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. 68-78
• 
  Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. 79-89
• 
  Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia: From Wine to Water: Optimizing Description Logic Reasoning for Nominals. 90-99
• 
  Scott Sanner, Sheila A. McIlraith: An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. 100-111

Argumentation

• 
  Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis: Constrained Argumentation Frameworks. 112-122
• 
  Philippe Besnard, Anthony Hunter: Knowledgebase Compilation for Efficient Logical Argumentation. 123-133

Preferences

• 
  Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith: Planning with Qualitative Temporal Preferences. 134-144
• 
  Yann Chevaleyre, Ulle Endriss, Jérôme Lang: Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modeling. 145-152
• 
  Christian Fritz, Sheila A. McIlraith: Decision-Theoretic GOLOG with Qualitative Preferences. 153-163
• 
  Thomas Lukasiewicz, Jörg Schellhase: Variable-Strength Conditional Preferences for Matchmaking in Description Logics. 164-174
• 
  Didier Dubois, Hélène Fargier: Qualitative Decision Making with Bipolar Information. 175-186

Ontologies

• 
  Silvio Ghilardi, Carsten Lutz, Frank Wolter: Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. 187-197
• 
  Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur: Modularity and Web Ontologies. 198-209

Beliefs and Belief Revision

• 
  James P. Delgrande, Didier Dubois, Jérôme Lang: Iterated Revision as Prioritized Merging. 210-220
• 
  Benoit Gaudou, Andreas Herzig, Dominique Longin: Grounding and the Expression of Belief. 221-229
• 
  Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong: A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. 230-238
• 
  Jonathan Ben-Naim: Lack of Finite Characterizations for the Distance-Based Revision. 239-248
• 
  Anthony Hunter, Sébastien Konieczny: Shapley Inconsistency Values. 249-259

Complexity Analysis

• 
  Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. 260-270
• 
  Madalina Croitoru, Ernesto Compatangelo: A Tree Decomposition Algorithm for Conceptual Graph Projection. 271-276
• 
  Michael Wachter, Rolf Haenni: Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions. 277-285
• 
  Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis: Representing Policies for Quantified Boolean Formulae. 286-297

Logic Programming

• 
  Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang: First-Order Loop Formulas for Normal Logic Programs. 298-307
• 
  Yan Zhang: Computational Properties of Epistemic Logic Programs. 308-317
• 
  Jens Claßen, Gerhard Lakemeyer: Foundations for Knowledge-Based Programs using ES. 318-328
• 
  Umberto Straccia: Query Answering under the Any-World Assumption for Normal Logic Programs. 329-339
• 
  Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran: Replacements in Non-Ground Answer-Set Programming. 340-351

Space, Time, and Action

• 
  David A. Randell, Mark Witkowski: Abductive Visual Perception with Feature Clouds. 352-361
• 
  Michael Thielscher, Thomas Witkowski: The Features-and-Fluents Semantics for the Fluent Calculus. 362-370
• 
  Victor Jauregui: Semantical Considerations for a Logic of Actions: An Imperative Manifesto. 371-376
• 
  Selim T. Erdogan, Vladimir Lifschitz: Actions as Special Cases. 377-388

Knowledge Representation Logics

• 
  Miroslaw Truszczynski: Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. 389-399
• 
  Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. 400-410
• 
  Thomas Ågotnes, Natasha Alechina: Semantics for Dynamic Syntactic Epistemic Logics. 411-419
• 
  Didier Dubois, Angelo Gilio, Gabriele Kern-Isberner: Probabilistic Abduction without Priors. 420-430
• 
  Anna Zamansky, Arnon Avron: Non-Deterministic Semantics for First-Order Paraconsistent Logics. 431-439
• 
  Florence Dupin de Saint-Cyr, Henri Prade: Possibilistic Handling of Uncertain Default Rules with Applications to Persistence Modeling and Fuzzy Default Reasoning. 440-451

Knowledge Representation and Planning

• 
  Blai Bonet, Hector Geffner: Heuristics for Planning with Penalties and Rewards using Compiled Knowledge. 452-462
• 
  Sebastian Sardiña, Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque: On the Limits of Planning over Belief States under Strict Uncertainty. 463-471
• 
  Marco Ragni, Stefan Wölfl: Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning. 472-480
• 
  Tran Cao Son, Phan Huy Tu: On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. 481-491
• 
  Jorge A. Baier, Sheila A. McIlraith: On Planning with Programs that Sense. 492-502
• 
  Robert Feldmann, Gerhard Brewka, Sandro Wenzel: Planning with Prioritized Goals. 503-514

last updated on Sat May 18 05:21:26 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page