Keyphrases
- deductive reasoning
- inductive learning
- modal logic
- logic programming
- functional programs
- knowledge representation
- databases
- machine learning
- defeasible logic
- inductive logic programming
- concept learning
- predicate logic
- classical logic
- automated reasoning
- computational properties
- deontic logic
- real time
- logic programs
- multi agent systems
- set theory
- formal language
- search algorithm
- asynchronous circuits
- knowledge base
- neural network
- recursive programs