Browse Title Index


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