VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

Disclaimer | Powered by EasyChair Smart Program