A Temporal extension of Prolog

DOI10.1016/0743-1066(93)90016-AMaRDI QIDQ4036284zbMATH OpenFDO

Authors Tomas Hrycej

Publication date 16 May 1993

Published in The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

logic programmingqualitative simulationAllen's temporal constraint algorithmTemporal Prolog

Mathematics Subject Classification ID

Theory of programming languages (68N15) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4119669
• Temporal logic programming
• Temporal annotated constraint logic programming
• Semantics for temporal annotated constraint logic programming
• scientific article; zbMATH DE number 4081517

Cited in

(17)

• Temporal logic programming
• Reified temporal logics: An overview
• Knowledge representation with multiple logical theories and time
• Axiomatic semantics of projection temporal logic programs
• scientific article; zbMATH DE number 4119669 (Why is no real title available?)
• Fuzzy temporal constraint logic: A valid resolution principle
• FTClogic: fuzzy temporal constraint logic
• Programming in metric temporal logic
• Temporal logic CTL \(+\) Prolog
• Foundations of linear-time logic programming
• MetateM: An introduction
• Temporal contextual logic programming
• Integrating Temporal Extensions of Answer Set Programming
• scientific article; zbMATH DE number 1926630 (Why is no real title available?)
• The complexity of constraint satisfaction problems for small relation algebras
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)

This page was built for publication: A Temporal extension of Prolog

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