A Temporal extension of Prolog

DOI10.1016/0743-1066(93)90016-AzbMATH Open0787.68094MaRDI QIDQ4036284FDOQ4036284

Authors: Tomas Hrycej 

Publication date: 16 May 1993

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

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

zbMATH Keywords

logic programmingqualitative simulationAllen's temporal constraint algorithmTemporal Prolog

Mathematics Subject Classification ID

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

Cited In (17)

• Reified temporal logics: An overview
• Knowledge representation with multiple logical theories and time
• Axiomatic semantics of projection temporal logic programs
• Temporal logic programming
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING
• The complexity of constraint satisfaction problems for small relation algebras
• Title not available (Why is that?)

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)