Login / Signup

Using the event calculus for tracking the normative state of contracts.

Andrew D. H. FarrellMarek J. SergotMathias SalléClaudio Bartolini
Published in: Int. J. Cooperative Inf. Syst. (2005)
Keyphrases
  • event calculus
  • commonsense reasoning
  • partially ordered
  • situation calculus
  • deductive databases
  • reasoning about actions and change
  • state space