An event calculus production rule system for reasoning in dynamic and uncertain domains

DOI10.1017/S1471068416000065zbMath1379.68300arXiv1512.04358MaRDI QIDQ4593031

Theodore Patkos, Dimitris Plexousakis, Yacine Amirat, Abdelghani Chibani

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1512.04358

zbMATH Keywords

event calculusrule-based reasoningsmart environments

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Reactive computing as model generation
• A logic-based calculus of events
• Stable models and circumscription
• Activity recognition in pervasive intelligent environment.
• Web reasoning and rule systems. Fourth international conference, RR 2010, Bressanone/Brixen, Italy, September 22--24, 2010. Proceedings
• Logic in databases. International workshop, LID '96, San Miniato, Italy, July 1--2, 1996. Proceedings
• Challenges for action theories
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• A Logic-Based, Reactive Calculus of Events
• An Agent Language with Destructive Assignment and Model-Theoretic Semantics
• A probabilistic logic programming event calculus
• Event Calculus Reasoning Through Satisfiability

This page was built for publication: An event calculus production rule system for reasoning in dynamic and uncertain domains