Keyphrases
- artificial intelligence
- human reasoning
- computational logic
- logic programming
- ai methods
- automated reasoning
- data sets
- expert systems
- modal logic
- software engineering
- intelligent systems
- neural network
- multi valued
- engineering design
- intelligent agents
- case based reasoning
- information systems
- computational intelligence
- defeasible logic
- structural engineering
- machine learning
- ai technologies
- proof theory
- dynamic logic
- website
- scientific discovery
- nonmonotonic logics
- cognitive psychology
- probabilistic logic
- multi agent
- computer science
- knowledge representation
- knowledge engineering
- ambient intelligence