Temporal annotated constraint logic programming

DOI10.1006/JSCO.1996.0066zbMATH Open0867.68025OpenAlexW2092514393MaRDI QIDQ679329FDOQ679329

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

Recommendations

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

zbMATH Keywords

annotated constraint logicconstraint logic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

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
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Integrating Temporal Extensions of Answer Set Programming
• Title not available (Why is that?)
• 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)