Work using the Discrete Event Calculus Reasoner
- Answer set programming.
-
The
ecasp
C++ program converts event calculus domain descriptions in the
Discrete Event Calculus Reasoner language into answer set programs.
- Education.
- 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.
- 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.
- 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).
- 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).
- 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.
- 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).
- Video games.
-
The Discrete Event Calculus Reasoner is used to simulate game playing
and answer questions about a game.
- 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).
Commonsense Reasoning home page
Discrete Event Calculus Reasoner home page