Conditional Event Algebras and Logic, Part I: Motivation and History of the Problem.
I. R. GoodmanPublished in: ISMVL (1990)
Keyphrases
- relation algebra
- conditional logic
- event detection
- modal logic
- multi valued
- boolean algebra
- expressive power
- automated reasoning
- event driven
- classical logic
- event recognition
- logical framework
- logic programming
- knowledge representation
- table of contents
- computational properties
- digital circuits
- complex events
- intrinsic motivation
- event types
- probabilistic logic
- nonmonotonic inference