Browse Title Index


 
Scheduled Conference Title
 
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
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning A General Approach to Reasoning with Probabilities — Extended Abstract Abstract
Federico Cerutti, Matthias Thimm
 
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
 
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
 
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
 
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
 
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
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework Abstract
Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Abductive Diagnosis of Complex Active Systems with Compiled Knowledge Abstract
Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning An Incremental Approach to Structured Argumentation over Dynamic Knowledge Bases Abstract
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo Ignacio Simari, Guillermo Ricardo Simari
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Approximating Certainty in Querying Data and Metadata Abstract
Cristina Civili, Leonid Libkin
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Approximating Perfect Recall When Model Checking Strategic Abilities Abstract
Francesco Belardinelli, Alessio Lomuscio, Vadim Malvone
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Argumentation for Reasoning with Conflicting Clinical Guidelines and Preferences Abstract
Kristijonas Cyras, Tiago Oliveira
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Axiomatizing a Qualitative Principle of Conditional Preservation for Iterated Belief Change Abstract
Gabriele Kern-Isberner
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Bayesian Model Selection in Statistical Construction of Justification Abstract
Hiroyuki Kido
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Better Eager Than Lazy? How Agent Types Impact the Successfulness of Implicit Coordination Abstract
Thomas Bolander, Thorsten Engesser, Robert Mattmüller, Bernhard Nebel
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification Abstract
Francesco Belardinelli, Catalin Dima, Aniello Murano
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Changing Observations in Epistemic Temporal Logic Abstract
Aurèle Barrière, Bastien Maubert, Aniello Murano, Sasha Rubin
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Combining Extension-Based Semantics and Ranking-Based Semantics for Abstract Argumentation Abstract
Elise Bonzon, Jérôme Delobelle, Sébastien Konieczny, Nicolas Maudet
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Combining the Causal Judgments of Experts with Possibly Different Focus Areas Abstract
Meir Friedenberg, Joseph Y. Halpern
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Compiling Away Soft Trajectory Constraints in Planning Abstract
Benedict Wright, Robert Mattmüller, Bernhard Nebel
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic Abstract
Benjamin Zarrieß
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Computing Logic Programs with Ordered Disjunction Using asprin Abstract
Joohyung Lee, Zhun Yang
 
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning Constructive Logic Covers Argumentation and Logic Programming Abstract
Jorge Fandinno, Luis Fariñas del Cerro
 
1 - 25 of 93 Items 1 2 3 4 > >>