Keyphrases
- abductive reasoning
- computational logic
- artificial intelligence
- intelligent systems
- natural language processing
- expert systems
- formal logic
- causal reasoning
- knowledge representation
- case based reasoning
- logic programming
- ai systems
- machine learning
- classical logic
- modal logic
- proof theory
- predicate logic
- linear logic
- digital circuits
- ai technologies
- automated reasoning
- counter intuitive
- areas of artificial intelligence
- sound and complete axiomatization
- john mccarthy
- planning systems
- ai methods
- nonmonotonic logics
- computational properties
- database
- multi valued
- lecture notes in artificial intelligence
- explanation based learning
- computational intelligence
- neural network