VSL 2014: VIENNA SUMMER OF LOGIC 2014
NMR PROGRAM

Days: Thursday, July 17th Friday, July 18th Saturday, July 19th

Thursday, July 17th, 2014

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

08:45-10:15 Session 62I: Contributed Talks: Uncertainty 1
Location: EI, EI 9
08:45
Nonmonotonic Reasoning as a Temporal Activity (abstract)
09:15
Probabilistic Inductive Logic Programming based on Answer Set Programming (abstract)
09:45
A Plausibility Semantics for Abstract Argumentation Frameworks (abstract)
10:15-10:45Coffee Break
10:45-12:15 Session 66BA: Contributed Talks: Declarative Programming 1
Location: EI, EI 9
10:45
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence (abstract)
11:15
Three Semantics for Modular Systems (abstract)
11:45
Generalising Modular Logic Programs (abstract)
12:15-13:00 Session 73: Contributed Talks: Systems 1
Location: EI, EI 9
12:15
The Multi-engine ASP Solver ME-ASP: Progress Report (abstract)
12:37
Preliminary Report on WASP 2 (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 75BB: Invited Talk
Location: EI, EI 9
14:30
Four Floors for the Theory of Theory Change (abstract)
15:30-16:00 Session 78B: Contributed Talk: Declarative Programming 2
Location: EI, EI 9
15:30
On Strong and Default Negation in Logic Program Updates (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
16:30-18:30 Session 80R: Contributed Talks: Belief Change
Location: EI, EI 9
16:30
Inference in the FO(C) Modelling Language (abstract)
17:00
FO(C) and Related Modelling Paradigms (abstract)
17:30
Belief merging within fragments of propositional logic (abstract)
18:00
Belief Revision and Trust (abstract)
Friday, July 18th, 2014

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

08:45-10:15 Session 86M: Invited Talk and Contributed Talk (joint with DL)
Location: EI, EI 7
08:45
Invited Talk: Fragments of Logic, Language, and Computation (abstract)
09:45
On the Non-Monotonic Description Logic ALC+Tmin (abstract)
Thursday, July 17th, 2014

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

Friday, July 18th, 2014

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

10:15-10:45Coffee Break
10:45-12:00 Session 90AU: Contributed Talks (joint with DL)
Location: EI, EI 7
10:45
Towards Practical Deletion Repair of Inconsistent DL-programs (abstract)
11:10
An Argumentation System for Reasoning with Conflict-minimal Paraconsistent ALC (abstract)
11:35
Querying Inconsistent Description Logic Knowledge Bases under Preferred Repair Semantics (abstract)
12:00-13:00 Session 94G: Contributed Talks: Benchmarks
Location: EI, EI 9
12:00
Some thoughts about benchmarks for NMR (abstract)
12:30
Towards a Benchmark of Natural Language Arguments (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96BH: Contributed Talks: Argumentation 1
Location: EI, EI 9
14:30
Analysis of Dialogical Argumentation via Finite State Machines (abstract)
15:00
Abduction in Argumentation: Dialogical Proof Procedures and Instantiation (abstract)
15:30
Non-Monotonic Reasoning and Story Comprehension (abstract)
16:00-16:30Coffee Break
Saturday, July 19th, 2014

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

08:45-10:15 Session 106B: Contributed Talks: Causality and Inference
Location: EI, EI 9
08:45
Tableau vs. Sequent Calculi for Minimal Entailment (abstract)
09:15
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation (abstract)
09:45
Causality in Databases: The Diagnosis and Repair Connections (abstract)
10:15-10:45Coffee Break
10:45-12:15 Session 109G: Contributed Talks: Declarative Programming 3
Location: EI, EI 9
10:45
Interactive Debugging of ASP Programs (abstract)
11:15
Semantics and Compilation of Answer Set Programming with Generalized Atoms (abstract)
11:45
A Family of Descriptive Approaches To Preferred Answer Sets (abstract)
12:15-13:00 Session 111: Contributed Talks: Systems 2
Location: EI, EI 9
12:15
Integrating Declarative Programming and Probabilistic Graphical Models for Knowledge Representation and Reasoning in Robotics (abstract)
12:37
An ASP-Based Architecture for Autonomous UAVs in Dynamic Environments: Progress Report (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 113G: Invited Talk
Location: EI, EI 9
14:30
Revisiting Postulates for Inconsistency Measures (abstract)
15:30-16:00 Session 114: Contributed Talk: Nonmonotonic Logics
Location: EI, EI 9
15:30
Implementing Default and Autoepistemic Logics via the Logic of GK (abstract)
16:00-16:30Coffee Break
16:30-18:30 Session 116H: Contributed Talks: Argumentation 2
Location: EI, EI 9
16:30
Compact Argumentation Frameworks (abstract)
17:00
Extension--based Semantics of Abstract Dialectical Frameworks (abstract)
17:30
Credulous and Skeptical Argument Games for Complete Semantics in Conflict Resolution based Argumentation (abstract)
18:00
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks (abstract)
19:00-21:30 Session 122: VSL Reception 2
Location: University of Vienna, Arkadenhof
22:00-23:59 Session 123: VSL Student Reception 2
Location: Säulenhalle (Volksgarten)