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