A Logic-Based, Reactive Calculus of Events

DOI10.3233/FI-2010-361zbMath1209.68520OpenAlexW1550395769MaRDI QIDQ3084982

Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni

Publication date: 28 March 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-361

zbMATH Keywords

monitoringcomputational logicabductive logic programmingevent calculusreactive reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (4)

An event calculus production rule system for reasoning in dynamic and uncertain domains ⋮ A probabilistic interval-based event calculus for activity recognition ⋮ Social Commitment Delegation and Monitoring ⋮ A Formal Framework for Complex Event Processing

Uses Software

• SCIFF

This page was built for publication: A Logic-Based, Reactive Calculus of Events