Work using the Discrete Event Calculus Reasoner

1. Answer set programming.
   • The ecasp C++ program converts event calculus domain descriptions in the Discrete Event Calculus Reasoner language into answer set programs.
     • Kim, Tae-Won,  Lee, Joohyung,  & Palla, Ravi (2009). Circumscriptive event calculus as answer set programming. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (pp. 823-829).
2. Education.
   • The Discrete Event Calculus Reasoner is used in Stuart C. Shapiro's course CSE 4/563: Knowledge Representation. See "On-Line Resources", "Chap 2 slides", "HW1", and "HW2".
   • The Discrete Event Calculus Reasoner is used in Gary T. Leavens's seminar on Specification and Verification Tools.
3. Open interaction systems.
   • The Discrete Event Calculus Reasoner is used to simulate the evolution of artificial institutions.
     • Fornara, Nicoletta, & Colombetti, Marco (2008). Formal specification of artificial institutions using the event calculus. In Virginia Dignum (Ed.), Handbook of research on multi-agent systems: Semantics and dynamics of organizational models. Hershey, PA: IGI Global.
4. Pervasive computing.
   • The Discrete Event Calculus Reasoner is used to validate specifications.
     • Ishikawa, Fuyuki,  Suleiman, Basem,  Yamamoto, Kayoko,  & Honiden, Shinichi (2009). Physical interaction in pervasive computing: Formal modeling, analysis and verification. In Proceedings of the 2009 International Conference on Pervasive Services (pp. 133-140). New York: ACM.
5. Robotics.
   • The Discrete Event Calculus Reasoner is used to reason about knowledge and sensed information.
     • Patkos, Theodore, & Plexousakis, Dimitris (2009). Sensing inertial and continuously-changing world features. In Lazaros Iliadis, Ioannis Vlahavas, & Max Bramer (Eds.), Artificial intelligence applications and innovations III (pp. 379-388). Boston: Springer.
     • Patkos, Theodore, & Plexousakis, Dimitris (2009). Reasoning with knowledge, action and time in dynamic and uncertain domains. In Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009) (pp. 885-890).
6. Security.
   • The Discrete Event Calculus Reasoner is used to conduct threat and confidentiality analyses.
     • Amálio, Nuno (2009). Suspicion-driven formal analysis of security requirements. In 2009 Third International Conference on Emerging Security Information, Systems and Technologies (pp. 217-223).
7. Software engineering.
   • The FIFramework plugin for Eclipse uses the Discrete Event Calculus Reasoner to check consistency of feature diagrams and problem descriptions.
     • Classen, Andreas,  Heymans, Patrick,  & Schobbens, Pierre-Yves (2008). What's in a feature: A requirements engineering perspective. In José Luiz Fiadeiro & Paola Inverardi (Eds.), Lecture notes in computer science: Vol. 4961. Fundamental approaches to software engineering (pp. 16-30). Berlin: Springer.
     • Classen, Andreas,  Laney, Robin,  Tun, Thein Than,  Heymans, Patrick,  & Hubaux, Arnaud (2008). Using the event calculus to reason about problem diagrams. In Proceedings of the 3rd International Workshop on Applications and Advances of Problem Frames (pp. 74-77). New York: ACM.
   • The Discrete Event Calculus Reasoner is used to find unexpected problem interactions.
     • Tun, Thein Than,  Trew, Tim,  Jackson, Michael,  Laney, Robin,  & Nuseibeh, Bashar (2009). Specifying features of an evolving software system. Software: Practice and Experience, 39(11), 973-1002.
     • Tun, Thein Than,  Yu, Yijun,  Laney, Robin,  & Nuseibeh, Bashar (2009). Early identification of problem interactions: A tool-supported approach. In Martin Glinz & Patrick Heymans (Eds.), Lecture notes in computer science: Vol. 5512. Requirements engineering: Foundation for software quality (pp. 74-88). Berlin: Springer.
8. Virtual cinematography.
   • The Discrete Event Calculus Reasoner is used for spatial reasoning for virtual cinematography.
     • Bhatt, Mehul, & Flanagan, Gregory (2010). Spatio-Temporal Abduction for Scenario and Narrative Completion. In Proceedings of the ECAI 2010 Workshop on Spatio-Temporal Dynamics (pp. 31-36).
9. Video games.
   • The Discrete Event Calculus Reasoner is used to simulate game playing and answer questions about a game.
     • Nelson, Mark. J, & Mateas, Michael (2008). Recombinable game mechanics for automated design support. In Proceedings of the Fourth Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE 2008).
10. Web service composition.
    • Business process and web service specifications (BPEL and WSDL) are converted into the event calculus, and the Discrete Event Calculus Reasoner is used to verify specifications as well as verify event logs against the specifications.
      • Rouached, Mohsen,  Perrin, Olivier,  & Godart, Claude (2006). Towards formal verification of web service composition. In Schahram Dustdar, José Luiz Fiadeiro, & Amit P. Sheth (Eds.), Lecture notes in computer science: Vol. 4102. Business process management, 4th International Conference (pp. 257-273). Berlin: Springer.
      • Rouached, Mohsen,  Gaaloul, Walid,  van der Aalst, Wil M. P.,  Bhiri, Sami,  & Godart, Claude (2006). Web service mining and verification of properties: An approach based on event calculus. In Robert Meersman & Zahir Tari (Eds.), Lecture notes in computer science: Vol. 4275. On the move to meaningful Internet systems 2006: CoopIS, DOA, GADA, and ODBASE (pp. 408-425). Berlin: Springer.
    • The Discrete Event Calculus Reasoner is used to develop consistent contractual policies and constraints on contracts.
      • Ishikawa, Fuyuki,  Yoshioka, Nobukazu,  & Honiden, Shinichi (2007). Developing consistent contractual policies in service composition. In The 2nd IEEE Asia-Pacific Service Computing Conference (APSCC 2007) (pp.527-534).