Publications

2 results at FLAIRS 2005

Reasoning in the event calculus using first-order automated theorem proving
- - Erik T. Mueller
  - Geoff Sutcliffe
- 2005
- FLAIRS 2005
Conference paper
Handling uncertain rules in composite event systems
- - Segev Wasserkrug
  - Avigdor Gal
  - et al.
- 2005
- FLAIRS 2005
Conference paper