337 search results - page 1 / 68 » Projection in Temporal Logic Programming |
LPAR
1994
Springer
13 years 9 months ago
1994
Springer
REX
1989
13 years 9 months ago
1989
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
EPIA
2009
Springer
13 years 12 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
ICLP
2001
Springer
13 years 9 months ago
2001
Springer
NGC
2000
Springer
13 years 5 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...