Browse Title Index


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