Browse Title Index


 
Scheduled Conference Title
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Efficient Argumentation for Medical Decision-Making Abstract
Robert Craven, Francesca Toni, Cristian Cadar, Adrian Hadad, Matthew Williams
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Efficiently Computable Datalog∃ Programs Abstract
Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Exchanging Description Logic Knowledge Bases Abstract
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Extending Unification in EL Towards General TBoxes Abstract
Franz Baader, Stefan Borgwardt, Barbara Morawska
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Fixed-Parameter Algorithms for Finding Minimal Models Abstract
Martin Lackner, Andreas Pfandler
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Fixpoints and Iterated Updates in Abstract Argumentation Abstract
Davide Grossi
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Forgetting in Logic Programs under Strong Equivalence Abstract
Yisong Wang, Yan Zhang, Yi Zhou, Mingyi Zhang
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning From Knowledge Represented in Frame-Based Languages to Declarative Representation and Reasoning via ASP Abstract
Chitta Baral, Shanshan Liang
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Generalized Ontology-Based Production Systems Abstract
Riccardo Rosati, Enrico Franconi
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning High Performance Query Answering over DL-Lite Ontologies Abstract
Mariano Rodriguez-Muro, Diego Calvanese
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Homogeneous Logical Proportions: Their Uniqueness and Their Role in Similarity-Based Prediction Abstract
Henri Prade, Gilles Richard
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Horn Belief Contraction: Remainders, Envelopes and Complexity Abstract
Kira Adaricheva, Robert H. Sloan, Balász Szörényi, György Turán
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Implicit Constraints for Qualitative Spatial and Temporal Reasoning Abstract
Jochen Renz
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Invited Talks Abstract
Craig Boutilier, Maurizio Lenzerini, Vladimir Lifschitz, Moshe Y. Vardi
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning JASP: A Framework for Integrating Answer Set Programming with Java Abstract
Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Justification Masking in Ontologies Abstract
Matthew Horridge, Bijan Parsia, Ulrike Sattler
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Lecture in Remembrance of John McCarthy Abstract
Leora Morgenstern
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Logic Programs with Intensional Functions Abstract
Vladimir Lifschitz
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Model Based Horn Contraction Abstract
Zhiqiang Zhuang, Maurice Pagnucco
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Modelling Time and Reliability in Structured Argumentation Frameworks Abstract
Maximiliano Celmo Budán, Mauro Gómez Lucero, Carlos Iván Chesñevar, Guillermo Ricardo Simari
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Non-Uniform Data Complexity of Query Answering in Description Logics Abstract
Carsten Lutz, Frank Wolter
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning On the Small-Scope Hypothesis for Testing Answer-Set Programs Abstract
Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning On Unit-Refutation Complete Formulae with Existentially Quantified Variables Abstract
Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Only-Knowing Meets Nonmonotonic Modal Logic Abstract
Gerhard Lakemeyer, Hector J. Levesque
 
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning Ontology Evolution Under Semantic Constraints Abstract
Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov
 
26 - 50 of 76 Items << < 1 2 3 4 > >>