KR 2014 PROCEEDINGS: AUTHOR INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index Additional files

Shortcuts: A B C D E F G H I J K L M N O P R S T V W Y Z

A
Amir, Eyal	Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
Asuncion, Vernon	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk)
Atif, Jamal	Concept Dissimilarity with Triangle Inequality (PDF, talk)
Aucher, Guillaume	Axioms .2 and .4 as Interaction Axioms (PDF, talk)
Awad, Edmond	Interval Methods for Judgment Aggregation in Argumentation (PDF, talk)
B
Baader, Franz	Ontology-Based Monitoring of Dynamic Systems (PDF)
Bagheri Hariri, Babak	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
Baier, Jorge	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
Bartholomew, Michael	Stable Models of Multi-Valued Formulas: Partial versus Total Functions (PDF, talk)
Bauters, Kim	Using Answer Set Programming for Solving Boolean Games (PDF, talk)
Beek, Wouter	Rough Set Semantics for Identity on the Web (PDF, talk)
Belardinelli, Francesco	Satisfiability of Alternating-Time Temporal Epistemic Logic through Tableaux (PDF, talk)
Belle, Vaishak	How To Progress Beliefs in Continuous Domains (PDF, talk) On the Progression of Knowledge in Multiagent Systems (PDF, talk)
Benferhat, Salem	Reasoning with Uncertain Inputs in Possibilistic Networks (PDF, talk)
Bhatt, Mehul	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
Bienvenu, Meghyn	Nested Regular Path Queries in Description Logics (PDF, talk)
Bjorndahl, Adam	Axiomatizing Rationality (PDF, talk)
Bloch, Isabelle	Concept Dissimilarity with Triangle Inequality (PDF, talk)
Bochman, Alexander	Dynamic Causal Calculus (PDF, talk)
Booth, Richard	Interval Methods for Judgment Aggregation in Argumentation (PDF, talk)
Borgwardt, Stefan	Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk)
Botoeva, Elena	Query Inseparability for Description Logic Knowledge Bases (PDF, talk)
Brown, Gavin	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
Buchman, David	Relational Logistic Regression (PDF, talk)
C
Cabalar, Pedro	Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk)
Calvanese, Diego	Nested Regular Path Queries in Description Logics (PDF, talk) State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
Cerutti, Federico	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
Charalambidis, Angelos	Constructive Negation in Extensional Higher-Order Logic Programming (PDF, talk)
Choi, Arthur	Probabilistic Sentential Decision Diagrams (PDF, talk)
Coste-Marquis, Sylvie	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk)
D
Darwiche, Adnan	Skolemization for Weighted First-Order Model Counting (PDF, talk) Probabilistic Sentential Decision Diagrams (PDF, talk)
De Clercq, Sofie	Using Answer Set Programming for Solving Boolean Games (PDF, talk)
De Cock, Martine	Using Answer Set Programming for Solving Boolean Games (PDF, talk)
De Haan, Ronald	The Parameterized Complexity of Reasoning Problems Beyond NP (PDF, talk)
Delgrande, James P.	Belief Change and Base Dependence (PDF, talk) Toward a Knowledge Level Analysis of Forgetting (PDF, talk)
Denecker, Marc	The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (PDF, talk)
Deutsch, Alin	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
Diakidoy, Irene-Anna	A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
Dietz, Emmanuelle-Anna	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
Dimopoulos, Yannis	Heuristic Guided Optimization for Propositional Planning (PDF, talk)
Distel, Felix	Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk) Concept Dissimilarity with Triangle Inequality (PDF, talk)
Diéguez, Martín	Strong Equivalence of Non-Monotonic Temporal Theories (PDF, talk)
Doutre, Sylvie	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk)
Duckham, Matt	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
Dufour-Lussier, Valmi	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
Dunne, Paul E.	Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk)
Dvořák, Wolfgang	Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk)
Dyrkolbotn, Sjur Kristoffer	How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs (PDF, talk)
E
Ecke, Andreas	Answering Instance Queries Relaxed by Concept Similarity (PDF, talk)
Everaere, Patricia	On Egalitarian Belief Merging (PDF, talk)
Ewin, Christopher	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk)
F
Fionda, Valeria	Knowledge Maps of Web Graphs (PDF, talk)
G
Gebser, Martin	ASP Encodings of Acyclicity Properties (PDF, talk)
Giacomin, Massimiliano	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
Girju, Roxana	Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
Girlea, Codruta	Tracking Beliefs and Intentions in the Werewolf Game (PDF, talk)
Gottlob, Georg	Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk) Polynomial Combined Rewritings for Existential Rules (PDF, talk) Datalog+/–: Questions and Answers (PDF, talk)
Grossi, Davide	Justified Beliefs by Justified Arguments (PDF, talk)
Gutierrez, Claudio	Knowledge Maps of Web Graphs (PDF, talk)
Gutierrez, Julian	Reasoning about Equilibria in Game-Like Concurrent Systems (PDF, talk)
Gutiérrez Basulto, Víctor	Lightweight Description Logics and Branching Time: a Troublesome Marriage (PDF, talk)
H
Halpern, Joseph	Axiomatizing Rationality (PDF, talk) Appropriate Causal Models and Stability of Causation (PDF, talk)
Harrenstein, Paul	Reasoning about Equilibria in Game-Like Concurrent Systems (PDF, talk)
Harrison, Amelia	The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk)
Hermann, Alice	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
Hernich, André	Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk)
Herzig, Andreas	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk) Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (PDF, talk)
Huang, Xiaowei	A Temporal Logic of Strategic Knowledge (PDF, talk)
Hölldobler, Steffen	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
I
Ianovski, Egor	GuaranteeNash for Boolean games is NEXP-hard (PDF, talk)
Ibanez-Garcia, Yazmin	Finite Model Reasoning in Horn Description Logics (PDF, talk)
J
Janhunen, Tomi	ASP Encodings of Acyclicity Properties (PDF, talk)
Jung, Jean Christoph	Lightweight Description Logics and Branching Time: a Troublesome Marriage (PDF, talk)
K
Kakas, Antonis	A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
Kazemi, Seyed Mehran	Relational Logistic Regression (PDF, talk)
Kersting, Kristian	Relational Logistic Regression (PDF, talk)
Kisa, Doga	Probabilistic Sentential Decision Diagrams (PDF, talk)
Konev, Boris	Exact Learning of Lightweight Description Logic Ontologies (PDF, talk) Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (PDF, talk)
Konieczny, Sébastien	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk) On Egalitarian Belief Merging (PDF, talk)
Kontchakov, Roman	Query Inseparability for Description Logic Knowledge Bases (PDF, talk)
Krötzsch, Markus	Nominal Schemas in Description Logics: Complexities Clarified (PDF, talk)
Kupke, Clemens	Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk)
L
Lakemeyer, Gerhard	Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (PDF, talk) On the Progression of Knowledge in Multiagent Systems (PDF, talk)
Le Ber, Florence	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
Lee, Joohyung	Stable Models of Multi-Valued Formulas: Partial versus Total Functions (PDF, talk)
Levesque, Hector	How To Progress Beliefs in Continuous Domains (PDF, talk) Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (PDF, talk) Forgetting in Action (PDF, talk)
Li, Sanjiang	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
Libkin, Leonid	Certain Answers as Objects and Knowledge (PDF, talk)
Lieber, Jean	Belief Revision in the Propositional Closure of a Qualitative Algebra (PDF, talk)
Lifschitz, Vladimir	The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk)
Lin, Fangzhen	A Formalization of Programs in First-Order Logic with a Discrete Linear Order (PDF, talk) A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (PDF, talk)
Linsbichler, Thomas	Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk)
Liu, Weiming	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
Lomuscio, Alessio	An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk) Model Checking Unbounded Artifact-Centric Systems (PDF, talk)
Long, Zhiguo	On Redundant Topological Constraints (Extended Abstract) (PDF, talk)
Ludwig, Michel	Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (PDF, talk)
Lukasiewicz, Thomas	Stable Model Semantics for Guarded Existential Rules and Description Logics (PDF, talk) Datalog+/–: Questions and Answers (PDF, talk)
Lutz, Carsten	Finite Model Reasoning in Horn Description Logics (PDF, talk) Exact Learning of Lightweight Description Logic Ontologies (PDF, talk)
M
Mailly, Jean-Guy	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk)
Manna, Marco	Polynomial Combined Rewritings for Existential Rules (PDF, talk)
Marquis, Pierre	On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (PDF, talk) On Egalitarian Belief Merging (PDF, talk)
Marrella, Andrea	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk)
McIlraith, Sheila	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
Mecella, Massimo	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk)
Meert, Wannes	Skolemization for Weighted First-Order Model Counting (PDF, talk)
Michael, Loizos	Simultaneous Learning and Prediction (PDF, talk) A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
Michaliszyn, Jakub	An Abstraction Technique for the Verification of Multi-Agent Systems against ATL Specifications (PDF, talk) Model Checking Unbounded Artifact-Centric Systems (PDF, talk)
Miller, Rob	A Psychology-Inspired Approach to Automated Narrative Text Comprehension (PDF, talk)
Mombourquette, Brent	Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (PDF, talk)
Montali, Marco	State-Boundedness in Data-Aware Dynamic Systems (PDF, talk)
Morgenstern, Leora	Representing and Reasoning About Time Travel Narratives: Foundational Concepts (PDF, talk)
N
Natarajan, Sriraam	Relational Logistic Regression (PDF, talk)
Nowé, Ann	Using Answer Set Programming for Solving Boolean Games (PDF, talk)
O
Ong, Luke	GuaranteeNash for Boolean games is NEXP-hard (PDF, talk)
Ortiz, Magdalena	Nested Regular Path Queries in Description Logics (PDF, talk)
Oveisi, Mehrdad	Belief Change and Base Dependence (PDF, talk)
Ozaki Rivera Castillo, Ana	Exact Learning of Lightweight Description Logic Ontologies (PDF, talk)
P
Pagnucco, Maurice	Forgetting in Action (PDF, talk)
Parent, Xavier	Aggregative Deontic Detachment for Normative Reasoning (PDF, talk)
Pass, Rafael	Axiomatizing Rationality (PDF, talk)
Patrizi, Fabio	Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
Pearce, Adrian	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk)
Pelletier, Francis Jeffry	Belief Change and Base Dependence (PDF, talk)
Peppas, Pavlos	Belief Change and Semiorders (PDF, talk)
Pereira, Luis Moniz	An Abductive Reasoning Approach to the Belief-Bias Effect (PDF, talk)
Perrussel, Laurent	A Dynamic Logic Framework for Abstract Argumentation (PDF, talk)
Peñaloza, Rafael	Decidable Gödel Description Logics without the Finitely-Valued Model Property (PDF, talk) Answering Instance Queries Relaxed by Concept Similarity (PDF, talk)
Pieris, Andreas	Polynomial Combined Rewritings for Existential Rules (PDF, talk) Datalog+/–: Questions and Answers (PDF, talk)
Pirró, Giuseppe	Knowledge Maps of Web Graphs (PDF, talk)
Poole, David	Relational Logistic Regression (PDF, talk)
Popowich, Fred	Belief Change and Base Dependence (PDF, talk)
Potyka, Nico	Linear Programs for Measuring Inconsistency in Probabilistic Logics (PDF, talk)
R
Rahwan, Iyad	Interval Methods for Judgment Aggregation in Argumentation (PDF, talk)
Rajaratnam, David	Forgetting in Action (PDF, talk)
Razgon, Igor	On OBDDs for CNFs of Bounded Treewidth (PDF, talk)
Renz, Jochen	Qualitative Spatial Representation and Reasoning in Angry Bird: the Extended Rectangle Algebra (PDF, talk)
Ribeiro, Márcio	Minimal Change in AGM Revision for Non-Classical Logics (PDF, talk)
Rintanen, Jussi	ASP Encodings of Acyclicity Properties (PDF, talk)
Rondogiannis, Panos	Constructive Negation in Extensional Higher-Order Logic Programming (PDF, talk)
Rudolph, Sebastian	Nominal Schemas in Description Logics: Complexities Clarified (PDF, talk)
Ryzhikov, Vladislav	Query Inseparability for Description Logic Knowledge Bases (PDF, talk)
S
Sardina, Sebastian	SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (PDF, talk)
Sattler, Uli	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
Sazonau, Viachaslau	Predicting Performance of OWL Reasoners: Locally or Globally? (PDF, talk)
Schlobach, Stefan	Rough Set Semantics for Identity on the Web (PDF, talk)
Schneider, Thomas	Lightweight Description Logics and Branching Time: a Troublesome Marriage (PDF, talk) Finite Model Reasoning in Horn Description Logics (PDF, talk)
Schockaert, Steven	Using Answer Set Programming for Solving Boolean Games (PDF, talk)
Schultz, Carl	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
Schüller, Peter	Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (PDF, talk)
Shen, Yuping	Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (PDF, talk)
Sideris, Andreas	Heuristic Guided Optimization for Propositional Planning (PDF, talk)
Simkus, Mantas	Nested Regular Path Queries in Description Logics (PDF, talk)
Stolzenburg, Frieder	David Poole’s Specificity Revised (PDF, talk)
Strass, Hannes	Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (PDF, talk)
Szeider, Stefan	The Parameterized Complexity of Reasoning Problems Beyond NP (PDF, talk)
T
Tabia, Karim	Reasoning with Uncertain Inputs in Possibilistic Networks (PDF, talk)
Tasharrofi, Shahab	Generalized Multi-Context Systems (PDF, talk)
Ternovska, Eugenia	Generalized Multi-Context Systems (PDF, talk)
Thielscher, Michael	Forgetting in Action (PDF, talk)
Thimm, Matthias	Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (PDF, talk)
Thosar, Madhura	Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer Aided Architecture Design (PDF, talk)
Turhan, Anni-Yasmin	Answering Instance Queries Relaxed by Concept Similarity (PDF, talk)
V
Vallati, Mauro	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
Van den Broeck, Guy	Skolemization for Weighted First-Order Model Counting (PDF, talk) Probabilistic Sentential Decision Diagrams (PDF, talk)
Van Der Hoek, Wiebe	Justified Beliefs by Justified Arguments (PDF, talk)
Van Der Meyden, Ron	A Temporal Logic of Strategic Knowledge (PDF, talk)
van der Torre, Leon	Aggregative Deontic Detachment for Normative Reasoning (PDF, talk)
van Harmelen, Frank	Rough Set Semantics for Identity on the Web (PDF, talk)
Vassos, Stavros	Transforming Situation Calculus Action Theories for Optimised Reasoning (PDF, talk) Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (PDF, talk)
Vennekens, Joost	The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited (PDF, talk)
W
Wallner, Johannes Peter	Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (PDF, talk)
Wassermann, Renata	Minimal Change in AGM Revision for Non-Classical Logics (PDF, talk)
Williams, Mary-Anne	Belief Change and Semiorders (PDF, talk)
Wirth, Claus-Peter	David Poole’s Specificity Revised (PDF, talk)
Wolter, Frank	Query Inseparability for Description Logic Knowledge Bases (PDF, talk) Exact Learning of Lightweight Description Logic Ontologies (PDF, talk)
Woltran, Stefan	Characteristics of Multiple Viewpoints in Abstract Argumentation (PDF, talk)
Wooldridge, Michael	Reasoning about Equilibria in Game-Like Concurrent Systems (PDF, talk)
Y
Yang, Fangkai	The Semantics of Gringo and Infinitary Propositional Formulas (PDF, talk)
Z
Zakharyaschev, Michael	Query Inseparability for Description Logic Knowledge Bases (PDF, talk)
Zanella, Marina	An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (PDF, talk)
Zhang, Heng	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk)
Zhang, Peng	Qualitative Spatial Representation and Reasoning in Angry Bird: the Extended Rectangle Algebra (PDF, talk)
Zhang, Yan	Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (PDF, talk)
Zhao, Xishun	Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (PDF, talk)
Zhou, Yi	First-Order Default Logic Revisited (PDF, talk)