Browse Title Index


 
Scheduled Conference Title
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Declarative Solver Development: Case Studies Abstract
Bart Bogaerts, Tomi Janhunen, Shahab Tasharrofi
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Discontinuity-Free Decision Support with Quantitative Argumentation Debates Abstract
Antonio Rago, Francesca Toni, Marco Aurisicchio, Pietro Baroni
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Easy OWL Drawing with the Graphol Visual Ontology Language Abstract
Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Encoding Large RCC8 Scenarios Using Rectangular Pseudo-Solutions Abstract
Zhiguo Long, Steven Schockaert, Sanjiang Li
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Expressive Description Logic with Instantiation Metamodelling Abstract
Petra Kubincová, Ján Kľuka, Martin Homola
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Extending Consequence-Based Reasoning to SRIQ Abstract
Andrew Bate, Boris Motik, Bernardo Cuenca Grau, František Simančík, Ian Horrocks
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Foundations for Generalized Planning in Unbounded Stochastic Domains Abstract
Vaishak Belle, Hector J. Levesque
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Generalized Consistent Query Answering under Existential Rules Abstract
Thomas Eiter, Thomas Lukasiewicz, Livia Predoiu
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Guiding Planning Engines by Transition-Based Domain Control Knowledge Abstract
Lukáš Chrpa, Roman Barták
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Imperfect Information in Reactive Modules Games Abstract
Julian Gutierrez, Giuseppe Perelli, Michael Wooldridge
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Implicit Hitting Set Algorithms for Reasoning Beyond NP Abstract
Paul Saikko, Johannes P. Wallner, Matti Järvisalo
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Infinite Paths in the Situation Calculus: Axiomatization and Properties Abstract
Shakil M. Khan, Yves Lespérance
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks Abstract
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Knowledge Compilation for Lifted Probabilistic Inference: Compiling to a Low-Level Language Abstract
Seyed Mehran Kazemi, David Poole
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Knowledge Graph Embedding by Flexible Translation Abstract
Jun Feng, Minlie Huang, Mingdong Wang, Mantong Zhou, Yu Hao, Xiaoyan Zhu
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Limiting Logical Violations in Ontology Alignnment Through Negotiation Abstract
Ernesto Jimenez-Ruiz, Terry R. Payne, Alessandro Solimando, Valentina Tamma
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Merging of Abstract Argumentation Frameworks Abstract
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Minimality Postulates for Ontology Revision Abstract
Oezguer Luetfue Oezcep
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions Abstract
Alessio Lomuscio, Jakub Michaliszyn
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture Abstract
Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning Negation Without Negation in Probabilistic Logic Programming Abstract
David Buchman, David Poole
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning On Expressibility of Non-Monotone Operators in SPARQL Abstract
Roman Kontchakov, Egor V. Kostylev
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning On First-Order μ-Calculus over Situation Calculus Action Theories Abstract
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning On Logics and Semantics of Indeterminate Causation Abstract
Alexander Bochman
 
Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning On Partial Information and Contradictions in Probabilistic Abstract Argumentation Abstract
Anthony Hunter, Matthias Thimm
 
26 - 50 of 75 Items << < 1 2 3 > >>