Modeling obligations with event-calculus Conference Paper uri icon

publication date

  • 2014