KR Program

10:45	Georg Gottlob, Marco Manna and Andreas Pieris Polynomial Combined Rewritings for Existential Rules (abstract)
11:15	Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz and Mantas Simkus Nested Regular Path Queries in Description Logics (abstract)
11:45	Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter and Michael Zakharyaschev Query Inseparability for Description Logic Knowledge Bases (abstract)
12:15	Andreas Ecke, Rafael Peñaloza and Anni-Yasmin Turhan Answering Instance Queries Relaxed by Concept Similarity (abstract)

10:45-12:45 Session 138B: Argumentation

Chair:

Leon van der Torre

Location: EI, EI 9

10:45	Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler and Stefan Woltran Characteristics of Multiple Viewpoints in Abstract Argumentation (abstract)
11:15	Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly and Pierre Marquis On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (abstract)
11:45	Federico Cerutti, Massimiliano Giacomin, Mauro Vallati and Marina Zanella An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (abstract)
12:15	Sylvie Doutre, Andreas Herzig and Laurent Perrussel A Dynamic Logic Framework for Abstract Argumentation (abstract)

12:45-13:00 Session 139A: 3 Short presentations of 5 minutes each.

Chair:

Frank Wolter

Location: EI, EI 7

12:45	Wouter Beek, Stefan Schlobach and Frank van Harmelen Rough Set Semantics for Identity on the Web (abstract)
12:50	Viachaslau Sazonau, Uli Sattler and Gavin Brown Predicting Performance of OWL Reasoners: Locally or Globally? (abstract)
12:55	Felix Distel, Jamal Atif and Isabelle Bloch Concept Dissimilarity with Triangle Inequality (abstract)

12:45-13:00 Session 139B: 3 Short presentations of 5 minutes each.

Chair:

Leon van der Torre

Location: EI, EI 9

12:45	Richard Booth, Edmond Awad and Iyad Rahwan Interval Methods for Judgment Aggregation in Argumentation (abstract)
12:50	Sjur Kristoffer Dyrkolbotn How to Argue for Anything: Enforcing Arbitrary Sets of Labellings Using AFs (abstract)
12:55	Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael and Rob Miller A Psychology-Inspired Approach to Automated Narrative Text Comprehension (abstract)

14:30-16:00 Session 140A: Planning, Strategies, Diagnosis 1

Chair:

Gerhard Lakemeyer

Location: EI, EI 7

14:30	Alessio Lomuscio and Jakub Michaliszyn An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (abstract)
15:00	Julian Gutierrez, Paul Harrenstein and Michael Wooldridge Reasoning about Equilibria in Game-like Concurrent Systems (abstract)
15:30	Xiaowei Huang and Ron Van Der Meyden A Temporal Logic of Strategic Knowledge (abstract)

14:30-16:00 Session 140B: Belief Revision and Nonmonotonicity 1

Chair:

Jim Delgrande

Location: EI, EI 9

14:30	Pavlos Peppas and Mary-Anne Williams Belief Change and Semiorders (abstract)
15:00	Patricia Everaere, Sébastien Konieczny and Pierre Marquis On Egalitarian Belief Merging (abstract)
15:30	Claus-Peter Wirth and Frieder Stolzenburg David Poole’s Specificity Revised (abstract)

Sunday, July 20th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

19:00-21:30 Session 142: VSL Banquet 2

Location: Schönbrunn

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

16:30-17:30 Session 143A: Knowledge Representation and Reasoning 1

Chair:

Gerhard Brewka

Location: EI, EI 7

16:30	Shahab Tasharrofi and Eugenia Ternovska Generalized Multi-Context Systems (abstract)
17:00	Peng Zhang and Jochen Renz Qualitative Spatial Representation and Reasoning in Angry Birds: the Extended Rectangle Algebra (abstract)

16:30-17:30 Session 143B: Automated Reasoning and Computation 1

Chair:

Thomas Meyer

Location: EI, EI 9

16:30	Igor Razgon On OBDDs for CNFs of Bounded Treewidth (abstract)
17:00	Doga Kisa, Guy Van den Broeck, Arthur Choi and Adnan Darwiche Probabilistic Sentential Decision Diagrams (abstract)

08:45-10:15 Session 144A: VSL Keynote Talk

Chair:

Thomas Eiter

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Franz Baader

VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

16:00-16:30Coffee Break

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-12:15 Session 149A: Description Logic 2

Chair:

Diego Calvanese

Location: EI, EI 7

10:45	Boris Konev, Carsten Lutz, Ana Ozaki Rivera Castillo and Frank Wolter Exact Learning of Lightweight Description Logic Ontologies (abstract)
11:15	Yazmin Ibanez-Garcia, Carsten Lutz and Thomas Schneider Finite Model Reasoning in Horn Description Logics (abstract)
11:45	Víctor Gutiérrez Basulto, Jean Christoph Jung and Thomas Schneider Lightweight Description Logics and Branching Time: a Troublesome Marriage (abstract)

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

19:00-20:00 Session 149A: VSL Public Lecture 2

Location: MB, Kuppelsaal

19:00

Friedrich Stadler

VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

10:45-12:15 Session 149B: Belief Revision and Nonmonotonicity 2

Chair:

Mirek Truszczynski

Location: EI, EI 9

10:45	Mehrdad Oveisi, James P. Delgrande, Francis Jeffry Pelletier and Fred Popowich Belief Change and Base Dependence (abstract)
11:15	Davide Grossi and Wiebe Van Der Hoek Justified Beliefs by Justified Arguments (abstract)
11:45	Andreas Herzig Belief Change Operations: A Short History of Nearly Everything, Told in Dynamic Logic of Propositional Assignments (abstract)

12:15-13:05 Session 150A: 10 short presentations of 5 minutes each.

Chair:

Diego Calvanese

Location: EI, EI 7

12:15	Matt Duckham, Sanjiang Li, Weiming Liu and Zhiguo Long On Redundant Topological Constraints (Extended Abstract) (abstract)
12:20	Valeria Fionda, Claudio Gutierrez and Giuseppe Pirró Knowledge Maps of Web Graphs (abstract)
12:25	Vaishak Belle and Gerhard Lakemeyer On the Progression of Knowledge in Multiagent Systems (abstract)
12:30	Andreas Sideris and Yannis Dimopoulos Heuristic Guided Optimization for Propositional Planning (abstract)
12:35	Fabio Patrizi and Stavros Vassos Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (abstract)
12:40	Leora Morgenstern Representing and Reasoning About Time Travel Narratives: Foundational Concepts (abstract)
12:45	Yuping Shen and Xishun Zhao Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (abstract)
12:50	Sofie De Clercq, Kim Bauters, Steven Schockaert, Martine De Cock and Ann Nowé Using Answer Set Programming for Solving Boolean Games (abstract)
12:55	Martin Gebser, Tomi Janhunen and Jussi Rintanen ASP Encodings of Acyclicity Properties (abstract)
13:00	Michael Bartholomew and Joohyung Lee Stable Models of Multi-Valued Formulas: Partial vs. Total Functions (abstract)

12:15-13:00 Session 150B: 9 short presentations of 5 minutes each.

Chair:

Mirek Truszczynski

Location: EI, EI 9

12:15	Yi Zhou First-Order Default Logic Revisited (abstract)
12:20	Pedro Cabalar and Martín Diéguez Strong Equivalence of Non-monotonic Temporal Theories (abstract)
12:25	Valmi Dufour-Lussier, Alice Hermann, Florence Le Ber and Jean Lieber Belief Revision in the Propositional Closure of a Qualitative Algebra (abstract)
12:30	Márcio Ribeiro and Renata Wassermann Minimal Change in AGM Revision for Non-classical Logics (abstract)
12:35	James Delgrande Toward a Knowledge Level Analysis of Forgetting (abstract)
12:40	Luis Moniz Pereira, Emmanuelle-Anna Dietz and Steffen Hölldobler An Abductive Reasoning Approach to the Belief-Bias Effect (abstract)
12:45	Codruta Girlea, Eyal Amir and Roxana Girju Tracking Beliefs and Intentions in the Werewolf Game (abstract)
12:50	Guillaume Aucher Axioms .2 and .4 as Interaction Axioms (abstract)
12:55	Xavier Parent and Leon van der Torre Aggregative Deontic Detachment for Normative Reasoning (abstract)

14:30-16:00 Session 151A: Reasoning about Actions and Processes 1

Chair:

Fangzhen Lin

Location: EI, EI 7

14:30	Gerhard Lakemeyer and Hector J. Levesque Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (abstract)
15:00	Alessio Lomuscio and Jakub Michaliszyn Model Checking Unbounded Artifact-Centric Systems (abstract)
15:30	Babak Bagheri Hariri, Diego Calvanese, Alin Deutsch and Marco Montali State-Boundedness for Decidability of Verification in Data-Aware Dynamic Systems (abstract)

Monday, July 21st, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

16:30-19:00 Session 151A: VSL Joint Award Ceremony 2

Chair:

Helmut Veith

Location: MB, Kuppelsaal

16:30	Floc Olympic Games FLoC Olympic Games Award Ceremony 2 (abstract)
18:00	Werner Depauli-Schimanovich Lifetime Achievement Award (abstract)
18:10	Mingyi Zhang Lifetime Achievement Award (abstract)
18:20	European Masters Program In Computational Logic EMCL Distinguished Alumni Award (abstract)
18:30	Helmut Veith FLoC Closing Week 2 (abstract)

Tuesday, July 22nd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

14:30-16:00 Session 151B: Automated Reasoning and Computation 2

Chair:

Tomi Janhunen

Location: EI, EI 9

14:30	Guy Van den Broeck, Wannes Meert and Adnan Darwiche Skolemization for Weighted First-Order Model Counting (abstract)
15:00	Hannes Strass and Johannes Peter Wallner Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (abstract)
15:30	Ronald De Haan and Stefan Szeider The Parameterized Complexity of Reasoning Problems Beyond NP (abstract)

16:30-17:00 Session 153D: DC Minute Madness

Chairs:

Birte Glimm and Adrian Pearce

Location: EI, EI 7

17:00-18:30 Session 155: Poster Session

Chairs:

Birte Glimm and Adrian Pearce

Location: EI, Foyer

08:45-10:15 Session 156: VSL Keynote Talk

Chair:

Helmut Veith

Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1

08:45

Edmund Clarke

VSL Keynote Talk: Verification of Computer Systems with Model Checking (abstract)

10:15-10:45Coffee Break

13:00-14:30Lunch Break

16:00-16:30Coffee Break

19:30-21:30 Session 158: KR Banquet

Location: Naturhistorisches Museum

Wednesday, July 23rd, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:15 Session 161A: KR Invited Talk: Tony Cohn (Knowledge Representation meets Computer Vision: From Pixels to Symbolic Activity Descriptions)

Chair:

Chitta Baral

Location: EI, EI 7

09:00

Tony Cohn

Knowledge Representation Meets Computer Vision: From Pixels to Symbolic Activity Descriptions (abstract)

10:15-10:45Coffee Break

10:45-13:00 Session 166A: Description Logic 3

Chair:

Peter Patel-Schneider

Location: EI, EI 7

10:45	Georg Gottlob, André Hernich, Clemens Kupke and Thomas Lukasiewicz Stable Model Semantics for Guarded Existential Rules and Description Logics (abstract)
11:15	Michel Ludwig and Boris Konev Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (abstract)
11:45	Markus Krötzsch and Sebastian Rudolph Nominal Schemas in Description Logics: Complexities Clarified (abstract)
12:15	Stefan Borgwardt, Felix Distel and Rafael Peñaloza Decidable Gödel Description Logics without the Finitely-Valued Model Property (abstract)

10:45-13:00 Session 166B: Reasoning about Actions and Processes 2

Chair:

Mikhail Soutchanski

Location: EI, EI 9

10:45	Fangzhen Lin A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (abstract)
11:15	Vaishak Belle and Hector Levesque How To Progress Beliefs in Continuous Domains (abstract)
11:45	Christopher Ewin, Adrian Pearce and Stavros Vassos Transforming Situation Calculus Action Theories for Optimised Reasoning (abstract)
12:15	David Rajaratnam, Hector Levesque, Maurice Pagnucco and Michael Thielscher Forgetting in Action (abstract)

13:00-14:30Lunch Break

14:30-16:00 Session 172A: Knowledge Representation and Reasoning 2

Chair:

Vladimir Lifschitz

Location: EI, EI 7

14:30	Leonid Libkin Certain Answers as Objects and Knowledge (abstract)
15:00	Peter Schüller Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (abstract)
15:30	Loizos Michael Simultaneous Learning and Prediction (abstract)

14:30-16:00 Session 172B: Reports from the Field

Chair:

Leora Morgenstern

Location: EI, EI 9

14:30	Mehul Bhatt, Carl Schultz and Madhura Thosar Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (abstract)
15:00	Matthias Thimm Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (abstract)
15:30	Andrea Marrella, Massimo Mecella and Sebastian Sardina SmartPM: An Adaptive Process Management System through Situation Calculus, IndiGolog, and Classical Planning (abstract)

16:00-16:30Coffee Break

16:30-18:00 Session 175A: Planning, Strategies and Diagnosis 2

Chair:

Esra Erdem

Location: EI, EI 7

16:30	Jorge Baier, Brent Mombourquette and Sheila McIlraith Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (abstract)
17:00	Fangzhen Lin A Formalization of Programs in First-Order Logic with a Discrete Linear Order (abstract)
17:30	Francesco Belardinelli Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux (abstract)

16:30-18:00 Session 175B: Uncertainty

Chair:

Joe Halpern

Location: EI, EI 9

16:30	Nico Potyka Linear Programs for Measuring Inconsistency in Probabilistic Logics (abstract)
17:00	Salem Benferhat and Karim Tabia Reasoning with Uncertain Inputs in Possibilistic Networks (abstract)
17:30	Seyed Mehran Kazemi, David Buchman, Kristian Kersting, Sriraam Natarajan and David Poole Relational Logistic Regression (abstract)

18:30-19:45 Session 179: KR Great Moments Invited Talk : Sheila McIlraith (Situation Calculus: The last 15 years)

Chair:

Giuseppe De Giacomo

Location: EI, EI 7

18:30

Sheila McIlraith

Situation Calculus: The Last 15 Years (abstract)

19:45-20:00 Session 180: KR Awards

Location: EI, EI 7

Thursday, July 24th, 2014

View this program: with abstracts session overview talk overview side by side with other conferences

09:00-10:15 Session 182A: KR Invited Talk: Georg Gottlob (Datalog+/- : Questions and Answers)

Location: EI, EI 7

09:00

Georg Gottlob, Thomas Lukasiewicz and Andreas Pieris

Datalog+/–: Questions and Answers (abstract)

10:15-10:45Coffee Break

10:45-12:45 Session 183A: Logic Programming and Answer Set Programming

Chair:

Stefania Constantini

Location: EI, EI 7

10:45	Vernon Asuncion, Yan Zhang and Heng Zhang Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (abstract)
11:15	Angelos Charalambidis and Panos Rondogiannis Constructive Negation in Extensional Higher-Order Logic Programming (abstract)
11:45	Marc Denecker and Joost Vennekens The Well-Founded Semantics Is the Principle of Inductive Definition, revisited (abstract)
12:15	Amelia Harrison, Vladimir Lifschitz and Fangkai Yang The Semantics of Gringo and Infinitary Propositional Formulas (abstract)

10:45-12:45 Session 183B: Causality and Rationality

Chair:

Eugenia Ternovska

Location: EI, EI 9

10:45	Alexander Bochman Dynamic Causal Calculus (abstract)
11:15	Joseph Halpern Appropriate Causal Models and Stability of Causation (abstract)
11:45	Adam Bjorndahl, Joseph Halpern and Rafael Pass Axiomatizing Rationality (abstract)
12:15	Egor Ianovski and Luke Ong ∃GUARANTEENASH for Boolean Games Is NEXP-Hard (abstract)

12:50-13:50 Session 184: KR Open Discussion and Closing

Location: EI, EI 7

13:00-14:30Lunch Break

16:00-16:30Coffee Break