Keyphrases
- computational logic
- artificial intelligence
- formal logic
- logic programming
- expert systems
- knowledge representation
- multi valued
- modal logic
- ai systems
- knowledge representation and reasoning
- machine learning
- knowledge based systems
- proof theory
- predicate logic
- ai planning
- data sets
- artificial intelligent
- ai methods
- defeasible logic
- case based reasoning
- automated reasoning
- set theory
- multi agent
- formal theory
- deontic logic
- planning systems
- classical logic
- ai community
- learning algorithm
- intelligent systems