scientific article; zbMATH DE number 1444722

MaRDI QIDQ4952302zbMATH OpenFDO

Authors Iliano Cervesato, Angelo Montanari, Massimo Franceschet

Publication date 8 October 2000

zbMATH Keywords

expressive powerfault diagnosisModal Event Calculusmodal operatorsmodel of time and changepartially ordered events

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
• Pairing transitive closure and reduction to efficiently reason about partially ordered events
• A circumscriptive calculus of events

Cited in

(7)

• A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
• Planning temporal events using point-interval logic
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Reactive event calculus for monitoring global computing applications
• A general modal framework for the event calculus and its skeptical and credulous variants
• The refinement of event calculus models
• Pairing transitive closure and reduction to efficiently reason about partially ordered events

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)