| 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 | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Characterization of Optimality Criteria for Decision Making under Complete Ignorance | Abstract |
| Ramzi Ben Larbi, Sébastien Konieczny, Pierre Marquis | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Class of df-Consistencies for Qualitative Constraint Networks | Abstract |
| Jean-François Condotta, Christophe Lecoutre | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Correctness Result for Reasoning about One-Dimensional Planning Problems | Abstract |
| Yuxiao Hu, Hector J. Levesque | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Decidable Class of Groundable Formulas in the General Theory of Stable Models | Abstract |
| Michael Bartholomew, Joohyung Lee | ||
| 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 | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Layered Graph Representation for Complex Regions | Abstract |
| Sanjiang Li | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | A Logical Understanding of Legal Interpretation | Abstract |
| Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Abstract Dialectical Frameworks | Abstract |
| Gerhard Brewka, Stefan Woltran | ||
| 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 | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | An Efficient Majority-Rule-Based Approach for Collective Decision Making with CP-Nets | Abstract |
| Minyi Li, Bao Quoc Vo, Ryszard Kowalczyk | ||
| 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 | ||
| 1 - 25 of 148 Items | 1 2 3 4 5 6 > >> | |