Logic programming with temporal constraints

Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal constraint networks are applied. We identify a...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Temporal Representation and Reasoning, 3rd Workshop On: Time 96 s. 51 - 56
Hlavní autoři: Schwalb, E., Vila, L.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 1996
Témata:
Artificial intelligence
Computational modeling
Computer science
Constraint theory
Logic programming
Proposals
Relational databases
ISBN:0818675284, 9780818675287
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal constraint networks are applied. We identify a decidable fragment called Simple TCLP, which can be viewed as extending Datalog with limited functions to accommodate intervals of occurrence and temporal constraints between them. Some of the restrictions introduced by Simple TCLP are overcome by a syntactic structure which provides it with the benefits of reification. The latter allows quantification on temporal occurrences and relation symbols.
ISBN:0818675284
9780818675287
DOI:10.1109/TIME.1996.555679