Argumentation and the Event Calculus

CHICA, An Abductive Planning System Based on Event Calculus

Journal of Logic and Computation ◽

10.1093/logcom/5.5.579 ◽

1995 ◽

Vol 5 (5) ◽

pp. 579-602 ◽

Cited By ~ 17

Author(s):

LODE MISSIAEN ◽

MAURICE BRUYNOOGHE ◽

MARC DENECKER

Keyword(s):

Planning System ◽

Event Calculus

Download Full-text

Stimuli and business policies as modelling constructs: Their definition and validation through the event calculus

Notes on Numerical Fluid Mechanics and Multidisciplinary Design - Active Flow and Combustion Control 2018 ◽

10.1007/3-540-63107-0_3 ◽

1997 ◽

pp. 33-46 ◽

Cited By ~ 3

Author(s):

Oscar Díaz ◽

Norman W. Paton

Keyword(s):

Event Calculus ◽

Business Policies

Download Full-text

HYPOTHETICAL REASONING ABOUT ACTIONS: FROM SITUATION CALCULUS TO EVENT CALCULUS

Computational Intelligence ◽

10.1111/j.1467-8640.1996.tb00272.x ◽

1996 ◽

Vol 12 (3) ◽

pp. 478-498 ◽

Cited By ~ 12

Author(s):

Alesssandro Provetti

Keyword(s):

Situation Calculus ◽

Hypothetical Reasoning ◽

Event Calculus ◽

Reasoning About Actions

Download Full-text

Extending the event calculus for tracking epidemic spread

Artificial Intelligence in Medicine ◽

10.1016/j.artmed.2005.06.001 ◽

2006 ◽

Vol 38 (2) ◽

pp. 137-156 ◽

Cited By ~ 16

Author(s):

Hervé Chaudet

Keyword(s):

Epidemic Spread ◽

Event Calculus

Download Full-text

Service Composition and Execution Plan Generation of Composite Semantic WEB Services Using Abductive Event Calculus

Computational Intelligence ◽

10.1111/coin.12080 ◽

2015 ◽

Vol 32 (4) ◽

pp. 711-737 ◽

Cited By ~ 2

Author(s):

D. Paulraj ◽

S. Swamynathan ◽

Daniel Chandran ◽

K. Balasubadra ◽

M. Vigilson Prem

Keyword(s):

Web Services ◽

Semantic Web ◽

Service Composition ◽

Semantic Web Services ◽

Event Calculus ◽

Execution Plan ◽

Plan Generation

Download Full-text

Monitoring flow of web services in dynamic composition using event calculus rules

2015 International Conference on Computer, Communication and Control (IC4) ◽

10.1109/ic4.2015.7375693 ◽

2015 ◽

Cited By ~ 2

Author(s):

Kanchana Rajaram ◽

R Shanmuga Priya

Keyword(s):

Web Services ◽

Event Calculus ◽

Dynamic Composition ◽

Calculus Rules

Download Full-text

The Event Calculus Explained

Artificial Intelligence Today - Lecture Notes in Computer Science ◽

10.1007/3-540-48317-9_17 ◽

1999 ◽

pp. 409-430 ◽

Cited By ~ 148

Author(s):

Murray Shanahan

Keyword(s):

Event Calculus

Download Full-text

Formalizing commitments using the event calculus and RuleML

Applied Ontology ◽

10.3233/ao-210253 ◽

2021 ◽

pp. 1-26

Author(s):

Joost de Kruijff ◽

Hans Weigand

Keyword(s):

Deontic Logic ◽

Autonomous Agents ◽

Formal Logic ◽

Smart Contracts ◽

Event Calculus

Smart Contracts enable the automated execution of exchanges on the blockchain. From an ontological perspective, smart contracts create and automate the fulfillment of social commitments between actors. Whereas traditional deontic logic is used to make a legal determination in contractual multi-actor interactions, this paper focuses on the consequences of these actions resulting from that determination, thereby shifting the focus from monitoring to execution. The interactions between actors and the consequences in terms of commitments have not yet been formalized for smart contracts. The perspective of smart contracts is interesting, since they are considered to be autonomous agents, able to generate automated actions. We use the Event Calculus as a formal logic to represent and reason about the effects of these automated actions and the resulting commitments. Since the Event Calculus deals with local events and the consideration of time, this approach enables the uniform representation of commitments, including their operations and reasoning rules.

Download Full-text