Keyphrases
- modal logic
- classical logic
- proof theory
- artificial intelligence
- logic programming
- formal theory
- multi valued
- predicate logic
- propositional dynamic logic
- machine learning
- deductive reasoning
- logic synthesis
- asynchronous circuits
- deontic logic
- defeasible logic
- computational properties
- probability theory
- default reasoning
- logic programs
- information retrieval systems
- artificial neural networks
- multiscale
- genetic algorithm