
Implementing Dynamic Answer Set Programming
We introduce an implementation of an extension of Answer Set Programming...
read it

Revisiting Explicit Negation in Answer Set Programming
A common feature in Answer Set Programming is the use of a second negati...
read it

A Metric for Linear Temporal Logic
We propose a measure and a metric on the sets of infinite traces generat...
read it

Reasoning about Actions with Temporal Answer Sets
In this paper we combine Answer Set Programming (ASP) with Dynamic Linea...
read it

On the Expressiveness and Monitoring of Metric Temporal Logic
It is known that Metric Temporal Logic (MTL) is strictly less expressive...
read it

Temporal Logic Programs with Variables
In this note we consider the problem of introducing variables in tempora...
read it

Experimenting with robotic intralogistics domains
We introduce the asprilo [1] framework to facilitate experimental studie...
read it
Towards Metric Temporal Answer Set Programming
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 HereandThere and its nonmonotonic 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.
READ FULL TEXT
Comments
There are no comments yet.