Keyphrases
- modal logic
- logic programming
- multi valued
- computational properties
- classical logic
- artificial intelligence
- information systems
- predicate logic
- software engineering
- automated reasoning
- asynchronous circuits
- real time
- epistemic logic
- causal reasoning
- defeasible logic
- logical framework
- probabilistic logic
- probability theory
- evolutionary algorithm
- relational databases
- machine learning
- neural network