scientific article; zbMATH DE number 804606

MaRDI QIDQ4851606zbMATH OpenFDO

Authors Iliano Cervesato, Angelo Montanari, Alessandro Provetti

Publication date 2 May 1996

zbMATH Keywords

logic programmingrelative order of events

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Operations research and management science (90B99)

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
• A logic-based calculus of events
• scientific article; zbMATH DE number 1538060
• scientific article; zbMATH DE number 1926646

Cited in

(4)

• Ordering events: Intervals are sufficient, more general sets are usually not necessary
• A general modal framework for the event calculus and its skeptical and credulous variants
• A Monotonic Formalism for Events and Systems of Events
• 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 Q4851606)