Keyphrases
- logic programming
- website
- modal logic
- intuitionistic logic
- predicate logic
- multi agent systems
- model checking
- defeasible logic
- computational properties
- probabilistic logic
- multi valued
- proof theory
- asynchronous circuits
- truth values
- digital circuits
- classical logic
- horn clauses
- real time
- automated reasoning
- multiscale
- artificial intelligence
- machine learning
- data mining
- neural network