• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Modeling Obligations with Event-Calculus.

Mustafa HashmiGuido GovernatoriMoe Thandar Wynn
Published in: RuleML (2014)
Keyphrases
  • event calculus
  • situation calculus
  • domain specific knowledge
  • commonsense reasoning
  • reasoning about actions and change
  • reasoning tasks
  • deductive databases
  • temporal reasoning
  • partially ordered