VSL 2014: VIENNA SUMMER OF LOGIC 2014

ASPOCP ON WEDNESDAY, JULY 23RD: TALK VIEW

View: with abstractssession overviewside by side with other conferences

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
09:10-09:25 Opening Remarks
09:25-09:50
Supported Semantics for Modular Systems
Shahab Tasharrofi, Eugenia Ternovska
09:50-10:15
Infinitary Equilibrium Logic
Amelia Harrison, Vladimir Lifschitz, David Pearce, Agustín Valverde
10:45-11:10
A Refinement of the Language of Epistemic Specifications
Michael Gelfond, Patrick Kahl, Richard Watson, Yuanlin Zhang
11:10-11:35
Epistemic Logic Programs with Sorts
Evgenii Balai, Patrick Kahl
11:35-11:45 Short Break
11:45-12:10
Temporal Stable Models are LTL-representable
Pedro Cabalar, Martín Diéguez
12:10-12:35
Applying Action Language BC with Hierarchical Domain Abstraction to Mobile Robots
Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, Peter Stone
12:35-13:00
Action Language BC+: Preliminary Report
Joseph Babb, Joohyung Lee
14:45-15:10
Query Answering in Resource-Based Answer Set Semantics
Stefania Costantini, Andrea Formisano
15:10-15:35
Declarative Encodings of Acyclicity Properties
Martin Gebser, Tomi Janhunen, Jussi Rintanen
15:35-16:00
Computing Secure Sets in Graphs using Answer Set Programming
M. Abseher, B. Bliem, G. Charwat, F. Dusberger, S. Woltran
16:30-16:55
``Are Preferences Giving You a Headache?'' - ``Take asprin!''
Gerhard Brewka, James Delgrande, Javier Romero, Torsten Schaub
16:55-17:20
On the Implementation of Weak Constraints in WASP
Mario Alviano, Carmine Dodaro, Joao Marques-Silva, Francesco Ricca
17:20-17:45
Interactive Query-based Debugging of ASP Programs
Kostyantyn Shchekotykhin
17:45-18:10
Computing Answer Sets for Monadic Logic Programs via MapReduce
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber
18:10-18:20 Closing
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program