VSL 2014: VIENNA SUMMER OF LOGIC 2014

KR ON MONDAY, JULY 21ST: TALK VIEW

Days:
previous day
next day
all days

View: with abstractssession overviewside by side with other conferences

8:30
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
08:30-08:40 KR Opening
10:45-11:15
Polynomial Combined Rewritings for Existential Rules
Georg Gottlob, Marco Manna, Andreas Pieris
11:15-11:45
Nested Regular Path Queries in Description Logics
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
11:45-12:15
Query Inseparability for Description Logic Knowledge Bases
E. Botoeva, R. Kontchakov, V. Ryzhikov, F. Wolter, M. Zakharyaschev
12:15-12:45
Answering Instance Queries Relaxed by Concept Similarity
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
10:45-11:15
Characteristics of Multiple Viewpoints in Abstract Argumentation
Paul E. Dunne, Wolfgang Dvořák, Thomas Linsbichler, Stefan Woltran
11:15-11:45
On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses
Sylvie Coste-Marquis, Sébastien Konieczny, Jean-Guy Mailly, Pierre Marquis
11:45-12:15
An SCC Recursive Meta-Algorithm for Computing Preferred Labellings in Abstract Argumentation
Federico Cerutti, Massimiliano Giacomin, Mauro Vallati, Marina Zanella
12:15-12:45
A Dynamic Logic Framework for Abstract Argumentation
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
12:45-12:50
Rough Set Semantics for Identity on the Web
Wouter Beek, Stefan Schlobach, Frank van Harmelen
12:50-12:55
Predicting Performance of OWL Reasoners: Locally or Globally?
Viachaslau Sazonau, Uli Sattler, Gavin Brown
12:55-13:00
Concept Dissimilarity with Triangle Inequality
Felix Distel, Jamal Atif, Isabelle Bloch
12:45-12:50
Interval Methods for Judgment Aggregation in Argumentation
Richard Booth, Edmond Awad, Iyad Rahwan
12:50-12:55
How to Argue for Anything: Enforcing Arbitrary Sets of Labellings Using AFs
Sjur Kristoffer Dyrkolbotn
12:55-13:00
A Psychology-Inspired Approach to Automated Narrative Text Comprehension
Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller
14:30-15:00
An Abstraction Technique for the Verification of Multi-Agent Systems Against ATL Specifications
Alessio Lomuscio, Jakub Michaliszyn
15:00-15:30
Reasoning about Equilibria in Game-like Concurrent Systems
Julian Gutierrez, Paul Harrenstein, Michael Wooldridge
15:30-16:00
A Temporal Logic of Strategic Knowledge
Xiaowei Huang, Ron Van Der Meyden
14:30-15:00
Belief Change and Semiorders
Pavlos Peppas, Mary-Anne Williams
15:00-15:30
On Egalitarian Belief Merging
Patricia Everaere, Sébastien Konieczny, Pierre Marquis
15:30-16:00
David Poole’s Specificity Revised
Claus-Peter Wirth, Frieder Stolzenburg
16:30-17:00
Generalized Multi-Context Systems
Shahab Tasharrofi, Eugenia Ternovska
17:00-17:30
Qualitative Spatial Representation and Reasoning in Angry Birds: the Extended Rectangle Algebra
Peng Zhang, Jochen Renz
16:30-17:00
On OBDDs for CNFs of Bounded Treewidth
Igor Razgon
17:00-17:30
Probabilistic Sentential Decision Diagrams
Doga Kisa, Guy Van den Broeck, Arthur Choi, Adnan Darwiche
08:45-09:45
VSL Keynote Talk: Ontology-Based Monitoring of Dynamic Systems
Franz Baader
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
16:30-18:00
FLoC Olympic Games Award Ceremony 2
Floc Olympic Games
18:00-18:10
Lifetime Achievement Award
Werner Depauli-Schimanovich
18:10-18:20
Lifetime Achievement Award
Mingyi Zhang
18:20-18:30
EMCL Distinguished Alumni Award
European Masters Program In Computational Logic
18:30-18:45
FLoC Closing Week 2
Helmut Veith
19:00-20:00
VSL Public Lecture: Vienna Circle(s) - Between Philosophy and Science in Cultural Context
Friedrich Stadler
Disclaimer | Powered by EasyChair Smart Program