Dealing with multiple granularity of time in temporal logic programming

DOI10.1006/JSCO.1996.0072zbMATH Open0867.68027OpenAlexW2049351618WikidataQ58185349 ScholiaQ58185349MaRDI QIDQ679341FDOQ679341

Mehmet A. Orgun, Chuchang Liu

Publication date: 7 August 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1996.0072

Recommendations

• Foundations of linear-time logic programming
• Temporal disjunctive logic programming
• Temporal logic programming
• A Temporal extension of Prolog
• Temporal annotated constraint logic programming

zbMATH Keywords

chronologsimulation systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Cited In (5)

• Temporal disjunctive logic programming
• Verification of reactive systems using temporal logic with clocks
• Timed term rewrite systems
• Title not available (Why is that?)
• A PROOF PROCEDURE FOR TEMPORAL LOGIC PROGRAMMING

Uses Software

• METATEM

This page was built for publication: Dealing with multiple granularity of time in temporal logic programming

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