|
Scheduled Conference |
Title |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering |
Abstract
|
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Higher-Order Semantics for Metaquerying in OWL 2 QL |
Abstract
|
Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A MIS Partition Based Framework for Measuring Inconsistency |
Abstract
|
Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Multi-Aspect Evaluation Framework for Comments on the Social Web |
Abstract
|
Theodore Patkos, Antonis Bikakis, Giorgos Flouris |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks |
Abstract
|
Jean-François Condotta, Issam Nouaouri, Michael Sioutis |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
ABA+: Assumption-Based Argumentation with Preferences |
Abstract
|
Kristijonas Cyras, Francesca Toni |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Abstract Argumentation for Case-Based Reasoning |
Abstract
|
Kristijonas Cyras, Ken Satoh, Francesca Toni |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms |
Abstract
|
Ringo Baumann, Hannes Strass |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
An Analysis of the Equational Properties of the Well-Founded Fixed Point |
Abstract
|
Arnaud Carayol, Zoltan Esik |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Anti-Unification of Concepts in Description Logic EL |
Abstract
|
Boris Konev, Temur Kutsia |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Approximations and Refinements of Certain Answers via Many-Valued Logics |
Abstract
|
Marco Console, Paolo Guagliardo, Leonid Libkin |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Argumentative Approaches to Reasoning with Maximal Consistency |
Abstract
|
Ofer Arieli, Christian Strasser |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Axiomatic Foundations of Acceptability Semantics |
Abstract
|
Leila Amgoud, Jonathan Ben-Naim |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Bayesian Deduction with Subjective Opinions |
Abstract
|
Magdalena Ivanovska, Audun Jøsang, Francesco Sambo |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Bisimulations on Data Graphs |
Abstract
|
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Boolean Hedonic Games |
Abstract
|
Haris Aziz, Paul Harrenstein, Jerome Lang, Michael Wooldridge |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Building Epistemic Logic from Observations and Public Announcements |
Abstract
|
Tristan Charrier, Andreas Herzig, Emiliano Lorini, Faustine Maffre, François Schwarzentruber |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Characterizing Equivalence Notions for Labelling-Based Semantics |
Abstract
|
Ringo Baumann |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Closed Predicates in Description Logics: Results on Combined Complexity |
Abstract
|
Nhung Ngo, Magdalena Ortiz, Mantas Simkus |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Cognitive Affordance Representations in Uncertain Logic |
Abstract
|
Vasanth Sarathy, Matthias Scheutz |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Commonsense Causal Reasoning between Short Texts |
Abstract
|
Zhiyi Luo, Yuchen Sha, Kenny Q. Zhu, Seung-Won Hwang, Zhongyuan Wang |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Complexity of the Description Logic ALCM |
Abstract
|
Monica Martinez, Edelweis Roher, Paula Severi |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Consolidating Probabilistic Knowledge Bases via Belief Contraction |
Abstract
|
Glauber De Bona, Marcelo Finger, Márcio Moretto Ribeiro, Yuri David Santos, Renata Wassermann |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics |
Abstract
|
Pierre Bourhis, Carsten Lutz |
|
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning |
Decidable Reasoning in a Logic of Limited Belief with Function Symbols |
Abstract
|
Gerhard Lakemeyer, Hector J. Levesque |
|
1 - 25 of 75 Items |
1 2 3 > >> |