We present an overview on Temporal Logic Programming under the perspecti...
In this paper we present web-liver, a rule-based system for decision sup...
A common feature in Answer Set Programming is the use of a second negati...
In this note we consider the problem of introducing variables in tempora...
share