Keyphrases
- artificial intelligence
- formal logic
- computational logic
- multi valued
- machine learning
- case based reasoning
- ai systems
- expert systems
- predicate logic
- intelligent systems
- computational properties
- logic programming
- knowledge representation
- formal theory
- automated reasoning
- knowledge representation and reasoning
- john mccarthy
- ai planning
- logical framework
- data sets
- set theory
- lecture notes in artificial intelligence
- hong kong
- intelligent behavior
- web intelligence
- deontic logic
- modal logic
- genetic algorithm
- argumentation theory
- data mining