Browse Title Index


 
Scheduled Conference Title
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning A Dynamic Logic Framework for Abstract Argumentation Abstract
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations Abstract
Fangzhen Lin
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning A Formalization of Programs in First-Order Logic with a Discrete Linear Order Abstract
Fangzhen Lin
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning A Psychology-Inspired Approach to Automated Narrative Text Comprehension Abstract
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning A Temporal Logic of Strategic Knowledge Abstract
Xiaowei Huang, Ron van der Meyden
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) Abstract
Fabio Patrizi, Stavros Vassos
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Aggregative Deontic Detachment for Normative Reasoning Abstract
Xavier Parent, Leon van der Torre
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning An Abductive Reasoning Approach to the Belief Bias Effect Abstract
Luís Moniz Pereira, Emmanuelle-Anna Dietz, Steffen Hölldobler
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications Abstract
Alessio Lomuscio, Jakub Michaliszyn
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation Abstract
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory Abstract
Hannes Strass, Johannes Peter Wallner
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Answering Instance Queries Relaxed by Concept Similarity Abstract
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Appropriate Causal Models and Stability of Causation Abstract
Joseph Halpern
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Area Chairs and Program Committee Abstract
Chitta Baral, Giuseppe De Giacomo, Thomas Eiter
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning ASP Encodings of Acyclicity Properties Abstract
Martin Gebser, Tomi Janhunen, Jussi Rintanen
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Axiomatizing Rationality Abstract
Adam Bjorndahl, Joseph Halpern, Rafael Pass
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Axioms .2 and .4 as Interaction Axioms Abstract
Guillaume Aucher
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Belief Change and Base Dependence Abstract
Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier, Fred Popowich
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Belief Change and Semiorders Abstract
Pavlos Peppas, Mary-Anne Williams
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments Abstract
Andreas Herzig
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Belief Revision in the Propositional Closure of a Qualitative Algebra Abstract
Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber, Jean Lieber
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas Abstract
Yuping Shen, Xishun Zhao
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Certain Answers as Objects and Knowledge Abstract
Leonid Libkin
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Characteristics of Multiple Viewpoints in Abstract Argumentation Abstract
Paul E. Dunne, Wolfgang Dvorak, Thomas Linsbichler, Stefan Woltran
 
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design Abstract
Mehul Bhatt, Carl Schultz, Madhura Thosar
 
1 - 25 of 92 Items 1 2 3 4 > >>