Towards metric temporal answer set programming

Das Suchergebnis hat sich seit Ihrer Suchanfrage verändert. Eventuell werden Dokumente in anderer Reihenfolge angezeigt.

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.

Metadaten
Verfasserangaben:	Pedro Cabalar ORCiD GND, Martin Dieguez ORCiD, Torsten H. Schaub ORCiD GND, Anna Schuhmann
DOI:	https://doi.org/10.1017/S1471068420000307
ISSN:	1471-0684
ISSN:	1475-3081
Titel des übergeordneten Werks (Englisch):	Theory and practice of logic programming
Verlag:	Cambridge Univ. Press
Verlagsort:	Cambridge [u.a.]
Publikationstyp:	Wissenschaftlicher Artikel
Sprache:	Englisch
Datum der Erstveröffentlichung:	21.09.2020
Erscheinungsjahr:	2020
Datum der Freischaltung:	13.07.2023
Band:	20
Ausgabe:	5
Seitenanzahl:	16
Erste Seite:	783
Letzte Seite:	798
Fördernde Institution:	MINECO, Spain [TIC2017-84453-P]
Organisationseinheiten:	Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke
Peer Review:	Referiert