scientific article; zbMATH DE number 1444722
From MaRDI portal
zbMATH Open0945.03017MaRDI QIDQ4952302FDOQ4952302
Authors: Iliano Cervesato, Angelo Montanari, Massimo Franceschet 
Publication date: 8 October 2000
Title of this publication is not available (Why is that?)
Recommendations
- A general modal framework for the event calculus and its skeptical and credulous variants
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
- scientific article; zbMATH DE number 1926646
- scientific article; zbMATH DE number 1538060
- A circumscriptive calculus of events
fault diagnosisexpressive powermodal operatorspartially ordered eventsModal Event Calculusmodel of time and change
Cited In (6)
- Title not available (Why is that?)
- A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
- Reactive event calculus for monitoring global computing applications
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Planning temporal events using point-interval logic
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4952302)
