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

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)