VSL 2014: VIENNA SUMMER OF LOGIC 2014

ARW-DT ON THURSDAY, JULY 24TH: TALK VIEW

Days:
previous day
all days

View: with abstractssession overviewside by side with other conferences

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
08:45-09:45
Defining privacy is supposed to be easy
Luca Viganò
09:45-10:15
Extended Resolution in Modern SAT Solving
Norbert Manthey
10:45-11:15
Using CSP Meta Variables in AI Planning
Mark Judge
11:15-11:45
Automated Reasoning in Deontic Logic
Claudia Schon, Ulrich Furbach, Frieder Stolzenburg
11:45-12:15
(AI) Planning to Reconfigure your Robot?
Mark Judge
12:15-12:45
Second-Order Characterizations of Definientia in Formula Classes
Christoph Wernhard
12:45-13:15
On Herbrand theorems for classical and non-classical logics
Alexander Lyaletski
14:30-15:00
Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics
Fabio Papacchini, Renate A. Schmidt
15:00-15:30
A Resolution-Based Prover for Normal Modal Logics
Cláudia Nalon, George Bezerra Silva
15:30-16:00
Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge
Patrick Koopmann, Renate A. Schmidt
16:30-17:00
The Leo-III Project
Max Wisniewski, Alexander Steen, Christoph Benzmüller
17:00-17:30
Socratic Proofs for Propositional Linear-Time Logic
Alexander Bolotov, Vasilyi Shangin, Oleg Grigoriev, Mariusz Urbanski
17:30-18:00
Modular Verification of Interconnected Families of Uniform Linear Hybrid Automata
Matthias Horbach, Viorica Sofronie-Stokkermans
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program