Temporal annotated constraint logic programming

DOI10.1006/JSCO.1996.0066MaRDI QIDQ679329zbMATH OpenOpenAlexFDO

Authors Thom Frühwirth

Publication date 7 August 1997

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/2ad34be9fc9ae4895265644b373c9b146f4fed15

zbMATH Keywords

annotated constraint logicconstraint logic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Semantics for temporal annotated constraint logic programming
• Two semantics for temporal annotated constraint logic programming
• A Temporal extension of Prolog
• Temporal logic programming

Cited in

(18)

• Extending constraint logic programming for temporal reasoning
• Order-sorted model theory for temporal executable specifications
• MetateM: An introduction
• Linear time-dependent constraints programming with MSVL
• Semantics for temporal annotated constraint logic programming
• Two semantics for temporal annotated constraint logic programming
• Integrating Temporal Extensions of Answer Set Programming
• Temporal contextual logic programming
• A Temporal extension of Prolog
• Object-oriented constraint logic programming for timetable planning
• Knowledge representation with multiple logical theories and time
• scientific article; zbMATH DE number 1536570 (Why is no real title available?)
• scientific article; zbMATH DE number 1926630 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• Constraint logic programming for resolution of relative time expressions
• Towards Temporal Contextual Logic Programming
• Dealing with multiple granularity of time in temporal logic programming
• Linear-time temporal answer set programming

This page was built for publication: Temporal annotated constraint logic programming

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