| Scheduled Conference | Title | |
| 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 | ||
| 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 | ||
| 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 | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Characterizing Strong Equivalence for Argumentation Frameworks | Abstract |
| Emilia Oikarinen, Stefan Woltran | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Characterizing Updates in Dynamic Epistemic Logic | Abstract |
| Guillaume Aucher | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Complexity of Propositional Abduction for Restricted Sets of Boolean Functions | Abstract |
| Nadia Creignou, Johannes Schmidt, Michael Thomas | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers | Abstract |
| Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Decidability of a Description Logic over Infinite-Valued Product Logic | Abstract |
| Marco Cerami, Francesc Esteva, Felix Bou | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Decomposing Description Logic Ontologies | Abstract |
| Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank Wolter | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Diagnosis as Planning Revisited | Abstract |
| Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Distributed Nonmonotonic Multi-Context Systems | Abstract |
| Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas Krennwallner | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Efficient Dominance Testing for Unconditional Preferences | Abstract |
| Ganesh Ram Santhanam, Samik Basu, Vasant Honavar | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Finding Explanations of Inconsistency in Multi-Context Systems | Abstract |
| Thomas Eiter, Michael Fink, Peter Schüller, Antonius Weinzierl | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms | Abstract |
| Ronen Brafman, Francesca Rossi, Domenico Salvagnin, K. Brent Venable, Toby Walsh | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Forgetting Revisited | Abstract |
| Yan Zhang, Yi Zhou | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Formalizing Psychological Knowledge in Answer Set Programming | Abstract |
| Marcello Balduccini, Sara Girotto | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | From Causal Models To Counterfactual Structures | Abstract |
| Joseph Y. Halpern | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | From Justifications Towards Proofs for Ontology Engineering | Abstract |
| Matthew Horridge, Bijan Parsia | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | From Preference Logics to Preference Languages, and Back | Abstract |
| Meghyn Bienvenu, Jérôme Lang, Nic Wilson | ||
| Twelfth International Conference on the Principles of Knowledge Representation and Reasoning | Generalized Planning with Loops under Strong Fairness Constraints | Abstract |
| Giuseppe De Giacomo, Fabio Patrizi, Sebastian Sardina | ||
| 1 - 25 of 72 Items | 1 2 3 > >> | |