KR
1991
Springer
14 years 3 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
KR
1991
Springer
14 years 3 months ago
1991
Springer
KR
1991
Springer
14 years 3 months ago
1991
Springer
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
ICLP
1991
Springer
14 years 3 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
ICLP
1991
Springer
14 years 3 months ago
1991
Springer
ICLP
1991
Springer
14 years 3 months ago
1991
Springer
An extended logic programming language embodying sets is developed in successive stages, introducing at each stage simple set dictions and operations, and discussing their operati...
ICLP
1991
Springer
14 years 3 months ago
1991
Springer
Interpretation of Logic Programs 1
ICLP
1991
Springer
14 years 3 months ago
1991
Springer
ELP
1992
14 years 3 months ago
1992
ELP
1991
14 years 3 months ago
1991
