Keyphrases
- intelligent agents
- artificial intelligence
- intelligent systems
- multi agent
- computational intelligence
- multi agent systems
- predicate logic
- classical logic
- computational properties
- information retrieval
- modal logic
- automated reasoning
- data mining
- formal theory
- software engineering
- human reasoning
- scientific discovery
- knowledge representation and reasoning
- asynchronous circuits
- sound and complete axiomatization
- computational logic
- ai systems
- database
- computational linguistics
- multi valued
- engineering design
- ambient intelligence
- knowledge based systems
- knowledge representation
- expert systems
- computer science
- knowledge base
- search engine
- machine learning