Metric Temporal Equilibrium Logic over Timed Traces

In temporal extensions of answer set programming (ASP) based on linear time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects their relative order, it abstracts away the specific times associated with each state. However, timing constraints are i...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2024-05, Vol.24 (3), p.425-452
Hauptverfasser:	BECKER, ARVID, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, SCHAUB, TORSTEN, SCHUHMANN, ANNA
Format:	Artikel
Sprache:	eng
Schlagworte:	Boolean Constraints Declarative programming Dynamical systems Equilibrium Logic Mathematical programming Number theory Original Article Semantics Sequences Temporal logic
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!