|
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 |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A Comprehensive Framework for Controlled Query Evaluation, Consistent Query Answering and KB Updates in Description Logics |
Abstract
|
Domenico Lembo, Riccardo Rosati, Domenico Fabio Savo |
|
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 |
|
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Dynamic Logic Framework for Abstract Argumentation |
Abstract
|
Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
|
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations |
Abstract
|
Fangzhen Lin |
|
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Formalization of Programs in First-Order Logic with a Discrete Linear Order |
Abstract
|
Fangzhen Lin |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A General Approach to Reasoning with Probabilities — Extended Abstract |
Abstract
|
Federico Cerutti, Matthias Thimm |
|
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 |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A Generator of Hard 2QBF Formulas and ASP Programs |
Abstract
|
Giovanni Amendola, Francesco Ricca, Mirek Truszczynski |
|
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 |
|
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 |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A Hybrid Approach to Optimization in Answer Set Programming |
Abstract
|
Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo |
|
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 |
|
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 |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A Model-Based Approach to Visual Reasoning on CNLVR Dataset |
Abstract
|
Shailaja Sampat, Joohyung Lee |
|
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 |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A Novel Automata-Theoretic Approach to Timeline-Based Planning |
Abstract
|
Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A Parameterized Complexity View on Description Logic Reasoning |
Abstract
|
Ronald de Haan |
|
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning |
A Psychology-Inspired Approach to Automated Narrative Text Comprehension |
Abstract
|
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller |
|
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 |
|
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning |
A SAT-Based Approach For PSPACE Modal Logics |
Abstract
|
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail |
|
1 - 25 of 408 Items |
1 2 3 4 5 6 7 8 9 10 > >> |