iCampus: A Connected Campus in the Ambient Event Calculus.
Stefano BromuriVisara UroviKostas StathisPublished in: Int. J. Ambient Comput. Intell. (2010)
Keyphrases
- event calculus
- university campus
- situation calculus
- reasoning about actions and change
- intelligent environments
- commonsense reasoning
- domain specific knowledge
- temporal reasoning
- reasoning tasks
- deductive databases
- partially ordered
- transitive closure
- directed acyclic graph
- databases
- domain independent
- general theory