Constraint logic programming for reasoning about discrete event processes
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1926617
- Constraint logic programming
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
- Modeling and reasoning in event calculus using goal-directed constraint answer set programming
- scientific article; zbMATH DE number 1231548
- scientific article; zbMATH DE number 1478235
- Combining event calculus and description logic reasoning via logic programming
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- Event Calculus Reasoning Through Satisfiability
- scientific article; zbMATH DE number 5587277
Cited in
(16)- Programming in metric temporal logic
- A theory of implementation and refinement in timed Petri nets
- Sooner is safer than later
- Model-based inference in CHARME.
- Two-sorted metric temporal logics
- Constraint logic programming for fault-tolerant distributed systems
- Logic programming foundations of cyber-physical systems
- scientific article; zbMATH DE number 4162324 (Why is no real title available?)
- scientific article; zbMATH DE number 1231548 (Why is no real title available?)
- scientific article; zbMATH DE number 1834565 (Why is no real title available?)
- An efficient algorithm of logic programming with constraint hierarchy
- A temporal logic for micro- and macro-step-based real-time systems: foundations and applications
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
- A temporal logic approach to discrete event control for the safety canonical class
- Metric temporal logic with durations
- A logical characterization of timed regular languages
This page was built for publication: Constraint logic programming for reasoning about discrete event processes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3988797)
