|
Scheduled Conference |
Title |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Bipolar Framework for Combining Beliefs about Vague Propositions |
Abstract
|
Jonathan Lawry, Didier Dubois |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Generic Querying Algorithm for Greedy Sets of Existential Rules |
Abstract
|
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Abstract Normative Systems: Semantics and Proof Theory |
Abstract
|
Silvano Colombo Tosatto, Guido Boella, Leendert van der Torre, Serena Villata |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Abstracting Abstraction in Search with Applications to Planning |
Abstract
|
Christer Backstrom, Peter Jonsson |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Achieving Completeness in Bounded Model Checking of Action Theories in ASP |
Abstract
|
Laura Giordano, Alberto Martelli, Daniele Theseider Dupre' |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Acyclicity Conditions and their Application to Query Answering in Description Logics |
Abstract
|
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Ambiguous Language and Differences in Beliefs |
Abstract
|
Joseph Halpern, Willemien Ket |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
An Abstraction Technique for the Verification of Artifact-Centric Systems |
Abstract
|
Francesco Belardinelli, Alessio Lomuscio, Fabio Patrizi |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL |
Abstract
|
Carsten Lutz, Inanc Seylan, Frank Wolter |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
An Axiomatic Framework for Influence Diagram Computation with Partially Ordered Utilities |
Abstract
|
Nic Wilson, Radu Marinescu |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Answer Set Programming via Mixed Integer Programming |
Abstract
|
Guohua Liu, Tomi Janhunen, Ilkka Niemela |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Area Chairs and Program Committee |
Abstract
|
Sheila McIlraith, Thomas Eiter |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Assertion Absorption in Object Queries over Knowledge Bases |
Abstract
|
Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Automated Verification of Epistemic Properties for General Game Playing |
Abstract
|
Sebastian Haufe, Michael Thielscher |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Belief Revision with Sensing and Fallible Actions |
Abstract
|
James Delgrande, Hector J. Levesque |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Belief Revision within Fragments of Propositional Logic |
Abstract
|
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Bounded Situation Calculus Action Theories and Decidable Verification |
Abstract
|
Giuseppe De Giacomo, Yves Lespérance, Fabio Patrizi |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning |
Abstract
|
Jinbo Huang |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Complexity-Sensitive Decision Procedures for Abstract Argumentation |
Abstract
|
Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Compositional Belief Merging |
Abstract
|
Patricia Everaere, Sébastien Konieczny, Pierre Marquis |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Conference Committee |
Abstract
|
Sheila McIlraith, Thomas Eiter |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice |
Abstract
|
Alban Grastien, Patrik Haslum, Sylvie Thiébaux |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Conjunctive Query Answering with OWL 2 QL |
Abstract
|
Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Credibility-Limited Revision Operators in Propositional Logic |
Abstract
|
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramon Pino Pérez |
|
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Declarative Entity Resolution via Matching Dependencies and Answer Set Programs |
Abstract
|
Zeinab Bahmani, Leopoldo Bertossi, Solmaz Kolahi, Laks V. S. Lakshmanan |
|
1 - 25 of 76 Items |
1 2 3 4 > >> |