default search action
13th KR 2012: Rome, Italy
- Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith:
Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, ISBN 978-1-57735-560-1 - Conference Committee.
- Area Chairs and Program Committee.
- Preface.
- Leora Morgenstern:
Lecture in Remembrance of John McCarthy. - Invited Talks.
Answer Set Programming and Logic Programming
- Michael Bartholomew, Joohyung Lee:
Stable Models of Formulas with Intensional Functions. - Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri:
Efficiently Computable Datalog∃ Programs. - Vladimir Lifschitz:
Logic Programs with Intensional Functions. - Guohua Liu, Tomi Janhunen, Ilkka Niemelä:
Answer Set Programming via Mixed Integer Programming. - Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits:
On the Small-Scope Hypothesis for Testing Answer-Set Programs.
Argumentation
- Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran:
Complexity-Sensitive Decision Procedures for Abstract Argumentation. - Davide Grossi:
Fixpoints and Iterated Updates in Abstract Argumentation.
Automated Reasoning and Computation
- Lucas Bordeaux, Mikolás Janota, João Marques-Silva, Pierre Marquis:
On Unit-Refutation Complete Formulae with Existentially Quantified Variables. - Martin Lackner, Andreas Pfandler:
Fixed-Parameter Algorithms for Finding Minimal Models. - Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
:
A Generic Querying Algorithm for Greedy Sets of Existential Rules.
Belief Revision and Update
- Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán:
Horn Belief Contraction: Remainders, Envelopes and Complexity. - Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez:
Credibility-Limited Revision Operators in Propositional Logic. - Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran:
Belief Revision within Fragments of Propositional Logic. - Bernardo Cuenca Grau, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov:
Ontology Evolution Under Semantic Constraints. - James P. Delgrande, Hector J. Levesque:
Belief Revision with Sensing and Fallible Actions. - Martin Slota, João Leite:
Robust Equivalence Models for Semantic Updates of Answer-Set Programs. - Zhi Qiang Zhuang, Maurice Pagnucco:
Model Based Horn Contraction.
Decision Making and Reasoning about Preferences
- Vincent Conitzer, Lirong Xia:
Paradoxes of Multiple Elections: An Approximation Approach. - Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran:
Strong Equivalence of Qualitative Optimization Problems. - Stefano Moretti, Alexis Tsoukiàs:
Ranking Sets of Possibly Interacting Objects Using Shapley Extensions. - Nic Wilson, Radu Marinescu:
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities.
Description Logics
- Meghyn Bienvenu, Carsten Lutz, Frank Wolter:
Query Containment in Description Logics Reconsidered. - Stefan Borgwardt, Rafael Peñaloza:
Undecidability of Fuzzy Description Logics. - Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang:
Acyclicity Conditions and their Application to Query Answering in Description Logics. - Georg Gottlob, Thomas Schwentick:
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. - Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik:
Practical Reasoning with Nominals in the EL Family of Description Logics. - Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
Conjunctive Query Answering with OWL 2 QL. - Carsten Lutz, Inanç Seylan, Frank Wolter:
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL. - Carsten Lutz, Frank Wolter:
Non-Uniform Data Complexity of Query Answering in Description Logics. - Mariano Rodriguez-Muro, Diego Calvanese:
High Performance Query Answering over DL-Lite Ontologies.
Epistemic and Modal Logics
- Francesco Belardinelli
An Abstraction Technique for the Verification of Artifact-Centric Systems. - Joseph Y. Halpern, Willemien Kets:
Ambiguous Language and Differences in Beliefs. - Sebastian Haufe, Michael Thielscher:
Automated Verification of Epistemic Properties for General Game Playing. - Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing Meets Nonmonotonic Modal Logic. - Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata:
Abstract Normative Systems: Semantics and Proof Theory. - Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker:
Ordered Epistemic Logic: Semantics, Complexity and Applications.
Inconsistency-Tolerant and Similarity-Based Reasoning
- Zeinab Bahmani, Leopoldo E. Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan:
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs. - Michael Fink:
Paraconsistent Hybrid Theories. - Henri Prade, Gilles Richard:
Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction.
Knowledge Representation and Knowledge-Based Systems
- Chitta Baral, Shanshan Liang:
From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP. - Vinay K. Chaudhri, Tran Cao Son:
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. - Riccardo Rosati, Enrico Franconi:
Generalized Ontology-Based Production Systems.
Reasoning about Actions and Planning
- Christer Bäckström, Peter Jonsson:
Abstracting Abstraction in Search with Applications to Planning. - Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio:
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments. - Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi:
Bounded Situation Calculus Action Theories and Decidable Verification. - Patrick Doherty, Jonas Kvarnström, Andrzej Szalas:
Temporal Composite Actions with Constraints. - Alban Grastien, Patrik Haslum, Sylvie Thiébaux:
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice.
Spatial and Temporal Reasoning
- Jinbo Huang:
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning. - Jochen Renz:
Implicit Constraints for Qualitative Spatial and Temporal Reasoning.
Uncertainty
- Didier Dubois, Henri Prade, Steven Schockaert:
Stable Models in Generalized Possibilistic Logic. - Jonathan Lawry, Didier Dubois:
A Bipolar Framework for Combining Beliefs about Vague Propositions.
Reports from the Field
- Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca:
JASP: A Framework for Integrating Answer Set Programming with Java. - Hector J. Levesque, Ernest Davis, Leora Morgenstern:
The Winograd Schema Challenge.
Short Papers
- Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Exchanging Description Logic Knowledge Bases. - Franz Baader, Stefan Borgwardt, Barbara Morawska:
Extending Unification in EL Towards General TBoxes. - Chitta Baral, Juraj Dzifcak:
Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation. - Maximiliano Celmo Budán, Mauro Javier Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari:
Modelling Time and Reliability in Structured Argumentation Frameworks. - Diego Calvanese, Magdalena Ortiz, Mantas Simkus
The Complexity of Explaining Negative Query Answers in DL-Lite. - Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar:
Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis. - Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali:
Weighted Attacks in Argumentation Frameworks. - Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams:
Efficient Argumentation for Medical Decision-Making. - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
Compositional Belief Merging. - Cristina Feier:
Worst-Case Optimal Reasoning with Forest Logic Programs. - Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub:
Stream Reasoning with Answer Set Programming: Preliminary Report. - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Achieving Completeness in Bounded Model Checking of Action Theories in ASP. - Matthew Horridge, Bijan Parsia, Ulrike Sattler:
Justification Masking in Ontologies. - Jinbo Huang:
Search Strategy Simulation in Constraint Booleanization. - Jianbing Ma, Salem Benferhat, Weiru Liu:
Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework. - Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas:
Towards Parallel Nonmonotonic Reasoning with Billions of Facts. - Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang:
Forgetting in Logic Programs under Strong Equivalence. - Jiewen Wu
Assertion Absorption in Object Queries over Knowledge Bases.
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-26 00:35 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: