VSL 2014: VIENNA SUMMER OF LOGIC 2014
KR PROGRAM

Days: Sunday, July 20th Monday, July 21st Tuesday, July 22nd Wednesday, July 23rd Thursday, July 24th

Sunday, July 20th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:15-10:15 Session 125B: Tutorial 2 - Lawrence S. Moss: Dynamic Epistemic Logic and its Interaction with Knowledge Representation
Location: EI, EI 9
09:15
Dynamic Epistemic Logic and Its Interaction with Knowledge Representation (Part I) (abstract)
10:15-10:45Coffee Break
13:00-14:30Lunch Break
14:30-16:00 Session 129A: Tutorial 3 - Alessio Lomuscio: Verification of Multi-Agent Systems against Epistemic Specifications
Location: EI, EI 10
14:30
Verification of Multi-Agent Systems against Epistemic Specifications (Part I) (abstract)
16:00-16:30Coffee Break
Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:45-12:45 Session 138A: Description Logic 1
Location: EI, EI 7
10:45
Polynomial Combined Rewritings for Existential Rules (abstract)
11:15
Nested Regular Path Queries in Description Logics (abstract)
11:45
Query Inseparability for Description Logic Knowledge Bases (abstract)
12:15
Answering Instance Queries Relaxed by Concept Similarity (abstract)
10:45-12:45 Session 138B: Argumentation
Location: EI, EI 9
10:45
Characteristics of Multiple Viewpoints in Abstract Argumentation (abstract)
11:15
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses (abstract)
11:45
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation (abstract)
12:15
A Dynamic Logic Framework for Abstract Argumentation (abstract)
12:45-13:00 Session 139A: 3 Short presentations of 5 minutes each.
Location: EI, EI 7
12:45
Rough Set Semantics for Identity on the Web (abstract)
12:50
Predicting Performance of OWL Reasoners: Locally or Globally? (abstract)
12:55
Concept Dissimilarity with Triangle Inequality (abstract)
12:45-13:00 Session 139B: 3 Short presentations of 5 minutes each.
Location: EI, EI 9
12:45
Interval Methods for Judgment Aggregation in Argumentation (abstract)
12:50
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings Using AFs (abstract)
12:55
A Psychology-Inspired Approach to Automated Narrative Text Comprehension (abstract)
14:30-16:00 Session 140A: Planning, Strategies, Diagnosis 1
Location: EI, EI 7
14:30
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications (abstract)
15:00
Reasoning about Equilibria in Game-like Concurrent Systems (abstract)
15:30
A Temporal Logic of Strategic Knowledge (abstract)
14:30-16:00 Session 140B: Belief Revision and Nonmonotonicity 1
Location: EI, EI 9
14:30
Belief Change and Semiorders (abstract)
15:00
On Egalitarian Belief Merging (abstract)
15:30
David Poole’s Specificity Revised (abstract)
Sunday, July 20th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

16:30-17:30 Session 143A: Knowledge Representation and Reasoning 1
Location: EI, EI 7
16:30
Generalized Multi-Context Systems (abstract)
17:00
Qualitative Spatial Representation and Reasoning in Angry Birds: the Extended Rectangle Algebra (abstract)
16:30-17:30 Session 143B: Automated Reasoning and Computation 1
Location: EI, EI 9
16:30
On OBDDs for CNFs of Bounded Treewidth (abstract)
17:00
Probabilistic Sentential Decision Diagrams (abstract)
08:45-10:15 Session 144A: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
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 abstractssession overviewtalk overviewside by side with other conferences

10:45-12:15 Session 149A: Description Logic 2
Location: EI, EI 7
10:45
Exact Learning of Lightweight Description Logic Ontologies (abstract)
11:15
Finite Model Reasoning in Horn Description Logics (abstract)
11:45
Lightweight Description Logics and Branching Time: a Troublesome Marriage (abstract)
Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

19:00-20:00 Session 149A: VSL Public Lecture 2
Location: MB, Kuppelsaal
19:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context (abstract)
Tuesday, July 22nd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:45-12:15 Session 149B: Belief Revision and Nonmonotonicity 2
Location: EI, EI 9
10:45
Belief Change and Base Dependence (abstract)
11:15
Justified Beliefs by Justified Arguments (abstract)
11:45
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.
Location: EI, EI 7
12:15
On Redundant Topological Constraints (Extended Abstract) (abstract)
12:20
Knowledge Maps of Web Graphs (abstract)
12:25
On the Progression of Knowledge in Multiagent Systems (abstract)
12:30
Heuristic Guided Optimization for Propositional Planning (abstract)
12:35
Action Theories over Generalized Databases with Equality Constraints (Extended Abstract) (abstract)
12:40
Representing and Reasoning About Time Travel Narratives: Foundational Concepts (abstract)
12:45
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas (abstract)
12:50
Using Answer Set Programming for Solving Boolean Games (abstract)
12:55
ASP Encodings of Acyclicity Properties (abstract)
13:00
Stable Models of Multi-Valued Formulas: Partial vs. Total Functions (abstract)
12:15-13:00 Session 150B: 9 short presentations of 5 minutes each.
Location: EI, EI 9
12:15
First-Order Default Logic Revisited (abstract)
12:20
Strong Equivalence of Non-monotonic Temporal Theories (abstract)
12:25
Belief Revision in the Propositional Closure of a Qualitative Algebra (abstract)
12:30
Minimal Change in AGM Revision for Non-classical Logics (abstract)
12:35
Toward a Knowledge Level Analysis of Forgetting (abstract)
12:40
An Abductive Reasoning Approach to the Belief-Bias Effect (abstract)
12:45
Tracking Beliefs and Intentions in the Werewolf Game (abstract)
12:50
Axioms .2 and .4 as Interaction Axioms (abstract)
12:55
Aggregative Deontic Detachment for Normative Reasoning (abstract)
14:30-16:00 Session 151A: Reasoning about Actions and Processes 1
Location: EI, EI 7
14:30
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (abstract)
15:00
Model Checking Unbounded Artifact-Centric Systems (abstract)
15:30
State-Boundedness for Decidability of Verification in Data-Aware Dynamic Systems (abstract)
Monday, July 21st, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

16:30-19:00 Session 151A: VSL Joint Award Ceremony 2
Location: MB, Kuppelsaal
16:30
FLoC Olympic Games Award Ceremony 2 (abstract)
18:00
Lifetime Achievement Award (abstract)
18:10
Lifetime Achievement Award (abstract)
18:20
EMCL Distinguished Alumni Award (abstract)
18:30
FLoC Closing Week 2 (abstract)
Tuesday, July 22nd, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

14:30-16:00 Session 151B: Automated Reasoning and Computation 2
Location: EI, EI 9
14:30
Skolemization for Weighted First-Order Model Counting (abstract)
15:00
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory (abstract)
15:30
The Parameterized Complexity of Reasoning Problems Beyond NP (abstract)
08:45-10:15 Session 156: VSL Keynote Talk
Location: EI, EI 7 + EI 9, EI 10 + FH, Hörsaal 1
08:45
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 abstractssession overviewtalk overviewside 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)
Location: EI, EI 7
09:00
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
Location: EI, EI 7
10:45
Stable Model Semantics for Guarded Existential Rules and Description Logics (abstract)
11:15
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (abstract)
11:45
Nominal Schemas in Description Logics: Complexities Clarified (abstract)
12:15
Decidable Gödel Description Logics without the Finitely-Valued Model Property (abstract)
10:45-13:00 Session 166B: Reasoning about Actions and Processes 2
Location: EI, EI 9
10:45
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations (abstract)
11:15
How To Progress Beliefs in Continuous Domains (abstract)
11:45
Transforming Situation Calculus Action Theories for Optimised Reasoning (abstract)
12:15
Forgetting in Action (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 172A: Knowledge Representation and Reasoning 2
Location: EI, EI 7
14:30
Certain Answers as Objects and Knowledge (abstract)
15:00
Tackling Winograd Schemas by Formalizing Relevance Theory in Knowledge Graphs (abstract)
15:30
Simultaneous Learning and Prediction (abstract)
14:30-16:00 Session 172B: Reports from the Field
Location: EI, EI 9
14:30
Computing Narratives of Cognitive User Experience for Building Design Analysis: KR for Industry Scale Computer-Aided Architecture Design (abstract)
15:00
Tweety: A Comprehensive Collection of Java Libraries for Logical Aspects of Artificial Intelligence and Knowledge Representation (abstract)
15:30
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:
Location: EI, EI 7
16:30
Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (abstract)
17:00
A Formalization of Programs in First-Order Logic with a Discrete Linear Order (abstract)
17:30
Satisfiability of Alternating-time Temporal Epistemic Logic through Tableaux (abstract)
16:30-18:00 Session 175B: Uncertainty
Location: EI, EI 9
16:30
Linear Programs for Measuring Inconsistency in Probabilistic Logics (abstract)
17:00
Reasoning with Uncertain Inputs in Possibilistic Networks (abstract)
17:30
Relational Logistic Regression (abstract)
Thursday, July 24th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
10:45-12:45 Session 183A: Logic Programming and Answer Set Programming
Location: EI, EI 7
10:45
Logic Programs with Ordered Disjunction: First-order Semantics and Expressiveness (abstract)
11:15
Constructive Negation in Extensional Higher-Order Logic Programming (abstract)
11:45
The Well-Founded Semantics Is the Principle of Inductive Definition, revisited (abstract)
12:15
The Semantics of Gringo and Infinitary Propositional Formulas (abstract)
10:45-12:45 Session 183B: Causality and Rationality
Location: EI, EI 9
10:45
Dynamic Causal Calculus (abstract)
11:15
Appropriate Causal Models and Stability of Causation (abstract)
11:45
Axiomatizing Rationality (abstract)
12:15
∃GUARANTEENASH for Boolean Games Is NEXP-Hard (abstract)
13:00-14:30Lunch Break
16:00-16:30Coffee Break