Reactive Commonsense Reasoning - Towards Semantic Coordination with High-Level Specifications.
Michael CebullaPublished in: ICEIS (2) (2007)
Keyphrases
- commonsense reasoning
- high level specifications
- nonmonotonic reasoning
- event calculus
- incomplete information
- knowledge representation
- formal theory
- multi agent
- multi agent systems
- reasoning tasks
- classical logic
- semantic information
- natural language
- data exchange
- missing information
- domain specific
- multiagent systems
- databases
- temporal reasoning
- high level