Keyphrases
- computational logic
- artificial intelligence
- logic programming
- formal logic
- expert systems
- knowledge representation and reasoning
- predicate logic
- knowledge representation
- case based reasoning
- knowledge based systems
- modal logic
- deontic logic
- ai methods
- ai systems
- asynchronous circuits
- john mccarthy
- ai community
- database
- multi valued
- intelligent systems
- information systems
- neural network
- logical framework
- classical logic
- decision theory
- temporal logic
- epistemic logic
- information processing
- logic programs
- programming language
- machine learning