ABSTRACT
StarRules is a high-level programming language based on Event Calculus principles that was developed for processing large volumes of data. It is an integral part of a comprehensive platform that has been used for many applications, including fault detection in large scale facilities and in factory scheduling for semiconductor manufacturing.
- R. Kowalski. Database updates in the event calculus. Journal of Logic Programming, 12(162):121--446, 1992. Google ScholarDigital Library
- R. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4:67--95, 1986. Google ScholarDigital Library
- R. Miller and M. Shanahan. The event-calculus in classical logic Ñ alternative axiomatizations. Electronic Transactions on Artificial Intelligence, 1(3):77--105, 1999.Google Scholar
- R. Milner. A theory of type polymorphism in programming. Computer and System Sciences, 17(3):348--375, 1978.Google ScholarCross Ref
Index Terms
- Real-time event processing for high volume applications using StarRules™
Recommendations
Event calculus and temporal action logics compared
We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type ...
PARLOG and its Applications
Special Issue on Artificial Intelligence in Software ApplicationsThe key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major application areas of PARLOG, systems ...
Novice programmers' faults & failures in GOAL programs
AAMAS '14: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systemsWhat are the types of mistakes ("faults'") that novice GOAL programmers make, and how do they manifest as failures? This question is important since it has significant implications to the ongoing design of GOAL, and other agent-oriented programming ...
Comments