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