A logic-based calculus of events
New Generation Computing
A logic-based integration of active and deductive databases
New Generation Computing
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Animated specifications of computational societies
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Temporal representation and reasoning in artificial intelligence: Issues and approaches
Annals of Mathematics and Artificial Intelligence
Results on Reasoning about Updates in Transaction Logic
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Annals of Mathematics and Artificial Intelligence
Service-Oriented Computing: Key Concepts and Principles
IEEE Internet Computing
ICWS '05 Proceedings of the IEEE International Conference on Web Services
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Computer-based Medical Guidelines and Protocols: A Primer and Current Trends
Verification of Choreographies During Execution Using the Reactive Event Calculus
Web Services and Formal Methods
Commitment tracking via the reactive event calculus
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Artificial intelligence today
A Logic-Based, Reactive Calculus of Events
Fundamenta Informaticae - On the Italian Conference on Computational Logic: CILC 2009
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Social commitments in time: satisfied or compensated
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
A retrospective on the reactive event calculus and commitment modeling language
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Representing and monitoring social commitments using the event calculus
Autonomous Agents and Multi-Agent Systems
Towards data-aware constraints in declare
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Monitoring business constraints with the event calculus
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Hi-index | 0.00 |
In 1986 Kowalski and Sergot proposed a logic-based formalism named Event Calculus (EC), for specifying in a declarative manner how the happening of events affects some representation (the state ) of the world. Since its introduction, EC has been recognized for being an excellent framework to reason about time and events. Recently, with the advent of complex software systems decomposed into sets of autonomous, heterogeneous distributed entities, EC has drawn attention as a viable solution for monitoring them, where monitoring means to represent their state and how events dynamically affect such state. In this work we present the fundamentals of a reactive and logic-based version of EC, named REC, for monitoring declarative properties, while maintaining a solid formal background. We present some results about its formal as well as practical aspects, and discuss how REC has been applied to a variety of application domains, namely BPM, SOC, CGs and MAS. We also highlight some key issues required by the monitoring task, and finally discuss how REC overcomes such issues.