Semantics for temporal annotated constraint logic programming

MaRDI QIDQ2701986zbMATH OpenFDO

Authors Alessandra Raffaetà, Thom Frühwirth

Publication date 12 March 2001

zbMATH Keywords

temporal annotated constraint logic programmingtop-down semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Temporal annotated constraint logic programming
• Two semantics for temporal annotated constraint logic programming
• Extending constraint logic programming for temporal reasoning
• Towards Temporal Contextual Logic Programming
• Temporal contextual logic programming
• scientific article; zbMATH DE number 1536570
• scientific article; zbMATH DE number 1809625
• Logic Programming
• Temporal logic programs with temporal description logic axioms

Cited in

(11)

• Syntax and semantics for a fuzzy temporal constraint logic
• Semantics of temporal constrained objects
• Two semantics for temporal annotated constraint logic programming
• Temporal contextual logic programming
• A Temporal extension of Prolog
• scientific article; zbMATH DE number 1926630 (Why is no real title available?)
• Constraint logic programming for resolution of relative time expressions
• Towards Temporal Contextual Logic Programming
• Logic Programming
• Temporal annotated constraint logic programming
• Temporal semantics for concurrent METATEM

This page was built for publication: Semantics for temporal annotated constraint logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2701986)