default search action
12th KR 2010: Toronto, Ontario, Canada
- Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski:
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press 2010
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 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 K. 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
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
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 W. N. 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 Icard, 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 G. 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.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-15 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: