Keyphrases
- knowledge representation
- knowledge representation and reasoning
- artificial intelligence
- nonmonotonic reasoning
- expert systems
- logic programming
- knowledge base
- automated reasoning
- rule based reasoning
- truth maintenance systems
- answer set programming
- machine learning
- knowledge based systems
- case based reasoning
- normal logic programs
- knowledge acquisition
- description logics
- reasoning systems
- model based reasoning
- reasoning process
- ai systems
- reasoning tasks
- reasoning mechanisms
- intelligent systems
- representing knowledge
- ai technologies
- intelligent behavior
- lecture notes in artificial intelligence
- semantic web
- natural language
- formal semantics
- default reasoning
- computational intelligence