12. KR 2010: Toronto, Ontario, Canada

Invited Presentations

• Chitta Baral, Ian Horrocks, Yoav Shoham:
  Invited Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
  
• Chitta Baral:
  Reasoning about Actions and Change: From Single Agent Actions to Multi-Agent Actions (Extended Abstract).
  
• Leonardo Mendonça de Moura, Carsten Lutz, Monica M. C. Schraefel, Bernhard Nebel:
  Tutorial Presentations at the Twelfth International Conference on Principles of Knowledge Representation and Reasoning.
  

Abduction and Diagnosis

• Nadia Creignou, Johannes Schmidt, Michael Thomas:
  Complexity of Propositional Abduction for Restricted Sets of Boolean Functions.
  
• Sajjad Ahmed Siddiqi, Jinbo Huang:
  New Advances in Sequential Diagnosis.
  
• Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith:
  Diagnosis as Planning Revisited.
  

Agents, Multiagent Systems, and Distributed Reasoning

• Francesco Belardinelli, Alessio Lomuscio:
  Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems.
  
• Vaishak Belle, Gerhard Lakemeyer:
  Multi-Agent Only-Knowing Revisited.
  
• Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner:
  Distributed Nonmonotonic Multi-Context Systems.
  
• Daniele Porello, Ulle Endriss:
  Modelling Combinatorial Auctions in Linear Logic.
  
• Michael Thielscher:
  Integrating Action Calculi and AgentSpeak: Closing the Gap.
  
• Hans P. van Ditmarsch, Jan van Eijck, William Wu:
  One Hundred Prisoners and a Lightbulb - Logic and Computation.
  

Argumentation

• Gerhard Brewka, Stefan Woltran:
  Abstract Dialectical Frameworks.
  
• Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran:
  Towards Fixed-Parameter Tractable Algorithms for Argumentation.
  
• Emilia Oikarinen, Stefan Woltran:
  Characterizing Strong Equivalence for Argumentation Frameworks.
  

Belief Change, Counterfactuals, and Update

• Guillaume Aucher:
  Characterizing Updates in Dynamic Epistemic Logic.
  
• James P. Delgrande, Renata Wassermann:
  Horn Clause Contraction Functions: Belief Set and Belief Base Approaches.
  
• Joseph Y. Halpern:
  From Causal Models To Counterfactual Structures.
  
• Sébastien Konieczny, Mattia Medina Grespan, Ramón Pino Pérez:
  Taxonomy of Improvement Operators and the Problem of Minimal Change.
  

Decision Theory

• Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis:
  A Characterization of Optimality Criteria for Decision Making under Complete Ignorance.
  
• Joseph Y. Halpern:
  I Don't Want to Think About it Now: Decision Theory with Costly Computation.
  

Description Logics and Ontologies

• Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
  Query and Predicate Emptiness in Description Logics.
  
• Marco Cerami, Francesc Esteva, Félix Bou:
  Decidability of a Description Logic over Infinite-Valued Product Logic.
  
• Bernardo Cuenca Grau, Boris Motik:
  Pushing the Limits of Reasoning over Ontologies with Hidden Content.
  
• Birte Glimm, Sebastian Rudolph:
  Status QIO: Conjunctive Query Entailment Is Decidable.
  
• Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter:
  Decomposing Description Logic Ontologies.
  
• Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
  The Combined Approach to Query Answering in DL-Lite.
  
• Claudio Masolo:
  Understanding Ontological Levels.
  
• Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus:
  Worst-Case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2.
  
• Rafael Peñaloza, Baris Sertkaya:
  On the Complexity of Axiom Pinpointing in the EL Family of Description Logics.
  
• Riccardo Rosati, Alessandro Almatelli:
  Improving Query Answering over DL-Lite Ontologies.
  

Inconsistency Handling

• Ofer Arieli:
  On the Application of the Disjunctive Syllogism in Paraconsistent Logics Based on Four States of Information.
  
• Ofer Arieli, Arnon Avron, Anna Zamansky:
  Maximally Paraconsistent Three-Valued Logics.
  
• Jean-François Condotta, Christophe Lecoutre:
  A Class of df-Consistencies for Qualitative Constraint Networks.
  
• Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl:
  Finding Explanations of Inconsistency in Multi-Context Systems.
  
• Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi:
  Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.
  

Planning

• Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardiña:
  Generalized Planning with Loops under Strong Fairness Constraints.
  
• Yuxiao Hu, Hector J. Levesque:
  A Correctness Result for Reasoning about One-Dimensional Planning Problems.
  

Possibility Theory and Uncertainty

• Agata Ciabattoni, Pavel Rusnok:
  On the Classical Content of Monadic G with Involutive Negation and its Application to a Fuzzy Medical Expert System.
  
• Gabriele Kern-Isberner, Matthias Thimm:
  Novel Semantical Approaches to Relational Probabilistic Conditionals.
  
• Carsten Lutz, Lutz Schröder:
  Probabilistic Description Logics for Subjective Uncertainty.
  
• Guilin Qi, Zhizheng Zhang:
  Preferential Semantics for Plausible Subsumption in Possibility Theory.
  

Preferences

• Meghyn Bienvenu, Jérôme Lang, Nic Wilson:
  From Preference Logics to Preference Languages, and Back.
  
• Ronen I. Brafman, Francesca Rossi, Domenico Salvagnin, Kristen Brent Venable, Toby Walsh:
  Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms.
  

Reasoning about Action and Action Programs

• Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski:
  State Defaults and Ramifications in the Unifying Action Calculus.
  
• Giuseppe De Giacomo, Yves Lespérance, Adrian R. Pearce:
  Situation Calculus Based Programs for Representing and Reasoning about Game Structures.
  
• Hannaneh Hajishirzi, Eyal Amir:
  Reasoning about Deterministic Actions with Probabilistic Prior and Application to Stochastic Filtering.
  

Rule-Based Reasoning, Logic Programming, and Answer Set Programming

• Jean-François Baget, Michel Leclère, Marie-Laure Mugnier:
  Walking the Decidability Line for Rules with Existential Variables.
  
• Michael Bartholomew, Joohyung Lee:
  A Decidable Class of Groundable Formulas in the General Theory of Stable Models.
  
• Thomas Eiter, Michael Fink, João Moura:
  Paracoherent Answer Set Programming.
  
• Martin Gebser, Carito Guziolowski, Mihail Ivanchev, Torsten Schaub, Anne Siegel, Sven Thiele, Philippe Veber:
  Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming.
  
• Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran:
  Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough.
  
• Yan Zhang, Yi Zhou:
  On the Progression Semantics and Boundedness of Answer Set Programs.
  

Security, Spatial Reasoning, and Analogical Reasoning

• Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp:
  Independence and Functional Dependence Relations on Secrets.
  
• Roman Kontchakov, Ian Pratt-Hartmann, Michael Zakharyaschev:
  Interpreting Topological Logics over Euclidean Spaces.
  
• Henri Prade, Gilles Richard:
  Reasoning with Logical Proportions.
  

Short Papers

• Grigoris Antoniou, Constantinos Papatheodorou, Antonis Bikakis:
  Reasoning about Context in Ambient Intelligence Environments: A Report from the Field.
  
• Marcello Balduccini, Sara Girotto:
  Formalizing Psychological Knowledge in Answer Set Programming.
  
• Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre:
  A Logical Understanding of Legal Interpretation.
  
• Michael Grüninger:
  Ontologies for Dates and Duration.
  
• Matthew Horridge, Bijan Parsia:
  From Justifications Towards Proofs for Ontology Engineering.
  
• Thomas F. Icard III, Eric Pacuit, Yoav Shoham:
  Joint Revision of Beliefs and Intention.
  
• Samantha Kleinberg, Bud Mishra:
  The Temporal Logic of Token Causes.
  
• Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
  An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets.
  
• Sanjiang Li:
  A Layered Graph Representation for Complex Regions.
  
• Bijan Parsia, Thomas Schneider:
  The Modular Structure of an Ontology: An Empirical Study.
  
• David Poole:
  Towards a Logic of Feature-Based Semantic Science Theories.
  
• Ganesh Ram Santhanam, Samik Basu, Vasant Honavar:
  Efficient Dominance Testing for Unconditional Preferences.
  
• Stuart C. Shapiro:
  Set-Oriented Logical Connectives: Syntax and Semantics.
  
• Visara Urovi, Stefano Bromuri, Kostas Stathis, Alexander Artikis:
  Towards Runtime Support for Norm-Governed Multi-Agent Systems.
  
• Zhe Wang, Kewen Wang, Rodney W. Topor:
  Revising General Knowledge Bases in Description Logics.
  
• Yan Zhang, Yi Zhou:
  Forgetting Revisited.
  

Last update Fri May 25 08:24:54 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page