Browse Title Index


 
Scheduled Conference Title
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Ordered Epistemic Logic: Semantics, Complexity and Applications Abstract
Hanne Vlaeminck, Joost Vennekens, Maurice Bruynooghe, Marc Denecker
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Paraconsistent Hybrid Theories Abstract
Michael Fink
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Paradoxes of Multiple Elections: An Approximation Approach Abstract
Vincent Conitzer, Lirong Xia
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Practical Reasoning with Nominals in the EL Family of Description Logics Abstract
Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Preface Abstract
Sheila McIlraith, Thomas Eiter
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Query Containment in Description Logics Reconsidered Abstract
Meghyn Bienvenu, Carsten Lutz, Frank Wolter
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Ranking Sets of Possibly Interacting Objects Using Shapley Extensions Abstract
Stefano Moretti, Alexis Tsoukiàs
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Revising Partial Pre-Orders with Partial Pre-Orders: A Unit-Based Revision Framework Abstract
Jianbing Ma, Salem Benferhat, Weiru Liu
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Rewriting Ontological Queries into Small Nonrecursive Datalog Programs Abstract
Georg Gottlob, Thomas Schwentick
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Robust Equivalence Models for Semantic Updates of Answer-Set Programs Abstract
Martin Slota, João Leite
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Search Strategy Simulation in Constraint Booleanization Abstract
Jinbo Huang
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Solving Puzzles Described in English by Automated Translation to Answer Set Programming and Learning How to Do that Translation Abstract
Chitta Baral, Juraj Dzifcak
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming Abstract
Vinay K. Chaudhri, Tran Cao Son
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Stable Models in Generalized Possibilistic Logic Abstract
Didier Dubois, Henri Prade, Steven Schockaert
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Stable Models of Formulas with Intensional Functions Abstract
Michael Bartholomew, Joohyung Lee
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Stream Reasoning with Answer Set Programming: Preliminary Report Abstract
Martin Gebser, Torsten Grote, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Strong Equivalence of Qualitative Optimization Problems Abstract
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments Abstract
Paolo Felli, Giuseppe De Giacomo, Alessio Lomuscio
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Temporal Composite Actions with Constraints Abstract
Patrick Doherty, Jonas Kvarnström, Andrzej Szalas
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning The Complexity of Explaining Negative Query Answers in DL-Lite Abstract
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning The Winograd Schema Challenge Abstract
Hector Levesque, Ernest Davis, Leora Morgenstern
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis Abstract
Anthony G. Cohn, Jochen Renz, Muralikrishna Sridhar
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Towards Parallel Nonmonotonic Reasoning with Billions of Facts Abstract
Ilias Tachmazidis, Grigoris Antoniou, Giorgos Flouris, Spyros Kotoulas
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Undecidability of Fuzzy Description Logics Abstract
Stefan Borgwardt, Rafael Peñaloza
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Weighted Attacks in Argumentation Frameworks Abstract
Sylvie Coste-Marquis, Sébastien Konieczny, Pierre Marquis, Mohand Akli Ouali
 
51 - 75 of 76 Items << < 1 2 3 4 > >>