Vladimir Lifschitz
How We Studied the Input Language of gringo
VCLA and WPI hosted a talk by Vladimir Lifschitz
| DATE: | Monday, November 19, 2018 |
| TIME: | 12:30 s.t. |
| VENUE: | Seminar Room Gödel, Favoritenstrasse 9-11, Ground Floor, (HB EG 10) |
ABSTRACT
This is a report on a recent attempt to define the semantics of the input language of gringo in a mathematically precise way. This project has led the designers of gringo to the decision to make some changes in its functionality, and it helped us improve our understanding of the relationship between the language of gringo and the ASP Core standard.
Vladimir Lifschitz, University of Texas at Austin, invited talk at the Workshop on Trends and Applications of Answer Set Programming – TAASP 2018.
Vladimir Lifschitz is among the most influential scientists in the field of Artificial Intelligence (AI). He started out his work at Stanford with John McCarthy and made significant contributions in the area of Non-monotonic Reasoning (NMR). This can be seen a precursor to his later groundbreaking work connecting NMR with Logic Programming that led to the definition of the stable models semantics, and thus the initial foundations of Answer Set Programming (ASP).
Interview with Vladimir Lifschitz in KI – Künstliche Intelligenz 32(2-3), 213-218. Available here.
The TAASP 2018 workshop is supported by:
- The FWF START grant Y698 for the project Decodyn: Treating Hard Problems with Decomposition and Dynamic Programming
- The Vienna Center for Logic and Algorithms at TU Wien – VCLA and
- The Wolfgang Pauli Institute – WPI
CONTACT
Thomas Eiter and Stefan Woltran.
Vladimir Lifschitz, University of Texas at Austin
