Keyphrases
- artificial intelligence
- logic programming
- intelligent agents
- computational logic
- predicate logic
- intelligent systems
- ai methods
- engineering design
- expert systems
- software engineering
- computer science
- knowledge based systems
- structural engineering
- bayesian networks
- human reasoning
- logical framework
- multi valued
- natural language processing
- knowledge representation
- knowledge engineering
- cognitive science
- data mining
- human intelligence
- ai systems
- digital circuits
- multi agent
- multi agent systems
- proof theory
- case based reasoning