Sciweavers

Share
SLP
1994
89views more  SLP 1994»
9 years 11 months ago
Signed Logic Programs
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...
Hudson Turner
SLP
1994
68views more  SLP 1994»
9 years 11 months ago
A PROLOG Interpreter for First-Order Intuitionistic Logic
L. Thorne McCarty, Leon A. Shklar
SLP
1994
118views more  SLP 1994»
9 years 11 months ago
A Simple Program Transformation for Parallelism
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...
Saumya K. Debray, Mudita Jain
SLP
1994
121views more  SLP 1994»
9 years 11 months ago
CLP(Intervals) Revisited
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
Frédéric Benhamou, David A. McAllest...
SLP
1994
77views more  SLP 1994»
9 years 11 months ago
Modal Event Calculus
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...
Iliano Cervesato, Luca Chittaro, Angelo Montanari
books