SLP
1994
14 years 24 days ago
1994
In this paper we explore the notion of a \signing" of a logic program, in the framework of the answer set semantics. In particular, we generalize and extend the notion of a s...
SLP
1994
14 years 24 days ago
1994
SLP
1994
14 years 24 days ago
1994
SLP
1994
14 years 24 days ago
1994
SLP
1994
14 years 24 days ago
1994
Most of the research, to date, on optimizing program transformations for declarative languages has focused on sequential execution strategies. In this paper, we consider a class o...
SLP
1994
14 years 24 days ago
1994
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
SLP
1994
14 years 24 days ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...