Constraint logic programming for reasoning about discrete event processes

DOI10.1016/0743-1066(91)90028-NzbMath0764.68014OpenAlexW2087276283MaRDI QIDQ3988797

Jonathan S. Ostroff

Publication date: 28 June 1992

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

Full work available at URL: https://doi.org/10.1016/0743-1066(91)90028-n

zbMATH Keywords

constraint logic programmingdiscrete event processesconstraint language CPL\(({\mathfrak R})\)

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (10)

Model-based inference in CHARME. ⋮ Programming in metric temporal logic ⋮ A theory of implementation and refinement in timed Petri nets ⋮ An efficient algorithm of logic programming with constraint hierarchy ⋮ Two-sorted metric temporal logics ⋮ A temporal logic approach to discrete event control for the safety canonical class ⋮ Metric temporal logic with durations ⋮ Sooner is safer than later ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ A logical characterization of timed regular languages

This page was built for publication: Constraint logic programming for reasoning about discrete event processes