Keyphrases
- logic programming
- machine learning
- brain connectivity
- modal logic
- classical logic
- sound and complete axiomatization
- information retrieval
- social networks
- linear logic
- predicate logic
- digital circuits
- defeasible logic
- connected components
- belief revision
- data sets
- expert systems
- search algorithm
- website
- genetic algorithm
- databases