scientific article; zbMATH DE number 1444722

MaRDI QIDQ4952302zbMATH OpenFDO

Authors Iliano Cervesato, Angelo Montanari, Massimo Franceschet

Publication date 8 October 2000

zbMATH Keywords

fault diagnosisexpressive powermodal operatorspartially ordered eventsModal Event Calculusmodel of time and change

Mathematics Subject Classification ID

Temporal logic (03B44)

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

Cited in

(6)

• scientific article; zbMATH DE number 1487732 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 1538060 (Why is no real title available?)

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)