[Date Prev][Date Next][Date Index]
Reminder: Talk announcement - Tuesday, June 26, 2018, 09:30 s.t. - Torsten Schaub "ASP in Time"
- From: Stefan Woltran <firstname.lastname@example.org>
- Date: Mon, 25 Jun 2018 08:00:06 +0200 (CEST)
- User-agent: Alpine 2.20 (LSU 67 2015-01-07)
the Institute of Logic and Computation cordially invites you to the following
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).