Towards Metric Temporal Answer Set Programming. Issue 5 (September 2020)
- Record Type:
- Journal Article
- Title:
- Towards Metric Temporal Answer Set Programming. Issue 5 (September 2020)
- Main Title:
- Towards Metric Temporal Answer Set Programming
- Authors:
- CABALAR, PEDRO
DIÉGUEZ, MARTÍN
SCHAUB, TORSTEN
SCHUHMANN, ANNA - Abstract:
- Abstract: We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Temporal and Dynamic Logic, we accomplish this in the setting of the logic of Here-and-There and its non-monotonic extension, called Equilibrium Logic. More precisely, we develop our logic on the same semantic underpinnings as its predecessors and thus use a simple time domain of bounded time steps. This allows us to compare all variants in a uniform framework and ultimately combine them in a common implementation.
- Is Part Of:
- Theory and practice of logic programming. Volume 20:Issue 5(2020)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 20:Issue 5(2020)
- Issue Display:
- Volume 20, Issue 5 (2020)
- Year:
- 2020
- Volume:
- 20
- Issue:
- 5
- Issue Sort Value:
- 2020-0020-0005-0000
- Page Start:
- 783
- Page End:
- 798
- Publication Date:
- 2020-09
- Subjects:
- Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068420000307 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 15050.xml