Sign in

A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants.

Iliano CervesatoAngelo Montanari
Published in: J. Log. Program. (1999)
Keyphrases
  • event calculus
  • situation calculus
  • general theory
  • reasoning about actions and change
  • probability distribution
  • directed acyclic graph
  • domain specific knowledge