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

(14)

• Towards Temporal Contextual Logic Programming
• Knowledge representation with multiple logical theories and time
• Constraint logic programming for resolution of relative time expressions
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• Linear time-dependent constraints programming with MSVL
• Object-oriented constraint logic programming for timetable planning
• Semantics for temporal annotated constraint logic programming
• MetateM: An introduction
• Temporal contextual logic programming
• A Temporal extension of Prolog
• scientific article; zbMATH DE number 1536570 (Why is no real title available?)
• Integrating Temporal Extensions of Answer Set Programming
• scientific article; zbMATH DE number 1926630 (Why is no real title available?)
• Two semantics for temporal annotated constraint logic 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)