[Date Prev][Date Next][Date Index]
Talk announcement: Tuesday, June 26, 2018, 09:30 s.t. - Torsten Schaub "ASP in Time"
- From: Juliane Auerboeck <firstname.lastname@example.org>
- Date: Thu, 14 Jun 2018 14:15:00 +0200
- User-agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.8.0
the Institute of Logic and Computation cordially invites you to the
Speaker: Prof. Dr. Torsten Schaub
University of Potsdam
DATE: Tuesday, June 26, 2018
TIME: 09:30 s.t.
VENUE: Seminarraum Goedel, Favoritenstraße 9-11, 1040 Wien, RoomNo.: HB
EG 10, Zugang vom Innenhof,
TITLE: ASP in Time
In this talk, we introduce an alternative approach to Temporal Answer
Set Programming that relies on a variation of Temporal Equilibrium Logic
(TEL) for finite traces.This approach allows us to even out the
expressiveness of TEL over infinite traces with the computational
capacity of (incremental) Answer Set Programming (ASP).Also, we argue
that finite traces are more natural when reasoning about action and
change.As a result, our approach is readily implementable via multi-shot
ASP systems and benefits from an extension of ASP's full-fledged input
language with temporal operators.This includes future as well as past
operators whose combination offers a rich temporal modeling language.For
computation, we identify the class of temporal logic programs and prove
that it constitutes a normal form for our approach.Finally, we outline
two implementations, a generic one and an extension of clingo.
With kind support of the Vienna Center for Logic and Algorithms (VCLA)
and the Wolfgang Pauli Institut (WPI).