Session Details
Description Logics I
Chair: Diego Calvanese
- Updating Description Logic ABoxes
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter - The Even More Irresistible SROIQ
Oliver Kutz, Ian Horrocks, Ulrike Sattler - DL+log: Tight Integration of Description Logics and Disjunctive Datalog
Riccardo Rosati
Description Logics II
Chair: Ian Horrocks
- Definitorially Complete Description Logics
Maarten Marx, Willem Conradi, Balder Ten Cate, Yde Venema - From Wine to Water: Optimizing Description Logic Reasoning for Nominals
Evren Sirin, Bernardo Cuenca Grau, Bijan Parsia - An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-order Extensions of DLs
Scott Sanner, Sheila McIlraith
Knowledge Representation Logics I
Chair: Gerhard Lakemeyer
- Strong and uniform equivalence of nonmonotonic theories - an algebraic approach
Mirek Truszczynski - Description Logics with Circumscription
Piero Bonatti, Carsten Lutz, Frank Wolter - Semantics for Dynamic Syntactic Epistemic Logics
Thomas Agotnes, Natasha Alechina
Knowledge Representation Logics II
Chair: Anthony Hunter
- Probabilistic abduction without priors
Gabriele Kern-Isberner, Didier Dubois, Angelo Gilio - Non-deterministic semantics for first-order paraconsistent logics
Arnon Avron, Anna Zamansky - Possibilistic handling of uncertain default rules
Florence Dupin de Saint-Cyr, Henri Prade
Logic Programming I
Chair: Thomas Eiter
- First-Order Loop Formulas for Normal Logic Programs
Fangzhen Lin, Yin Chen, Yisong Wang, Mingyi Zhang - Computational Properties of Epistemic Logic Programs
Yan Zhang - Semantical considerations for a logic of actions: an imperative manifesto
Victor Jauregui
Logic Programming II
Chair: David Pearce
- Foundations for Knowledge-Based Programs using ES
Gerhard Lakemeyer, Jens Cla�en - Query Answering under the Any-World Assumption for Normal Logic Programs
Umberto Straccia - Replacements in Non-Ground Answer-Set Programming
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
Belief Revision
Chair: Michael Thielscher
- Iterated revision as prioritized merging
James Delgrande, Didier Dubois, Jerome Lang - A Bad Day Surfing is Better than a Good Day Working: How to Revise a Total Preorder
Richard Booth, Thomas Meyer, Ka-Shu Wong - Lack of simple characterizations for the distance-based revision
Jonathan Ben-Naim
Beliefs and Argumentation
Chair: Mary-Anne Williams
- Grounding and the expression of belief
Benoit Gaudou, Andreas Herzig, Dominique Longin - Knowledgebase compilation for efficient logical argumentation
Philippe Besnard, Anthony Hunter - Shapley Inconsistency Values
Anthony Hunter, S�bastien Konieczny
Complexity Analysis
Chair: Thomas Lukasiewicz
- Data Complexity of Query Answering in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati - A tree decomposition algorithm for Conceptual Graph projection
Madalina Croitoru, Ernesto Compatangelo
Functions and Analysis
Chair: Shiela McIlraith
- Did I Damage My Ontology? A Case for Conservative Extensions in Description Logic
Silvio Ghilardi, Carsten Lutz, Frank Wolter - Modularity and Web Ontologies
Bernardo Cuenca Grau, Bijan Parsia, Evren Sirin, Aditya Kalyanpur
Preferences
Chair: Gerd Brewka
- Planning with Qualitative Temporal Preferences
Meghyn Bienvenu, Christian Fritz, Sheila McIlraith - Expressive Power of Weighted Propositional Formulas for Cardinal Preference Modelling
Yann Chevaleyre, Ulle Endriss, Jerome Lang - Decision-Theoretic GOLOG with Qualitative Preferences
Christian Fritz, Sheila McIlraith
Boolean Formulas and Functions
Chair: Vladimir Lifschitz
- Propositional DAGs: a New Graph-Based Language for Representing Boolean Functions
Michael Wachter, Rolf Haenni - Representing Policies for Quantified Boolean Formulas
Sylvie Coste-Marquis, Helene Fargier, Jerome Lang, Daniel Le Berre, Pierre Marquis
Preferences and Argumentation
Chair: Jim Delgrande
- Constrained Argumentation Frameworks
Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis - Variable-Strength Conditional Preferences for Matchmaking in Description Logics
Thomas Lukasiewicz, Joerg Schellhase - Qualitative decision making with bipolar information
Didier Dubois, Helene Fargier
Space, Time and Action
Chair: Brandon Bennett
- Abductive Visual Perception with Feature Clouds
D. Randell, M. Witkowski - The Features-and-Fluents Semantics for the Fluent Calculus
Michael Thielscher, Thomas Witkowski - Actions as Special Cases
Selim Erdogan, Vladimir Lifschitz
Philosophical and Psychological Issues
Chair: Didier Dubois
- Reasoning About Knowledge of Unawareness
Leandro Rego, Joseph Halpern - A Theory of Vague Adjectives Grounded in Relevant Observables
Brandon Bennett
Foundational Issues
Chair: Jerome Lang
- Logical Foundations of Well-Founded Semantics
Pedro Cabalar, Sergei Odintsov, David Pearce - Redoing the Foundations of Decision Theory
Joseph Halpern, Larry Blume, David Easley
Knowledge Representation and Planning I
Chair: Fangzhen Lin
- Heuristics for Planning with Simple Preferences using Compiled Knowledge
Blai Bonet, Hector Geffner - On the Limits of Planning over Belief States under Strict Uncertainty
Sardina Sebastian, Hector Levesque, Giuseppe De Giacomo, Yves Lesperance - Temporalizing Cardinal Directions: From Constraint Satisfaction to Planning
Marco Ragni, Stefan W�lfl
Knowledge Representation and Planning II
Chair: Hector Geffner
- Planning with Prioritized Goals
R. Feldmann, G. Brewka, Sandro Wenzel - On the Completeness of Approximation Based Reasoning and Planning
Son Tran, Tu Phan - On planning with programs that sense
Jorge Baier, Sheila McIlraith