Keyphrases
- computational logic
- artificial intelligence
- formal logic
- expert systems
- modal logic
- logic programming
- classical logic
- sound and complete axiomatization
- machine learning
- case based reasoning
- intelligent systems
- artificial intelligent
- proof theory
- predicate logic
- ai community
- truth values
- ai systems
- machine intelligence
- logical framework
- probabilistic logic
- multi valued
- automated reasoning
- database
- belief revision
- knowledge based systems
- computational intelligence
- information systems
- data mining
- databases