Browse Title Index


 
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 > >>