Keyphrases
- spatio temporal
- logic programming
- modal logic
- classical logic
- neural network
- automated reasoning
- formal theory
- nonmonotonic logics
- multi valued
- evolutionary algorithm
- objective function
- artificial intelligence
- asynchronous circuits
- linear logic
- logic synthesis
- epistemic logic
- database
- sound and complete axiomatization
- set theory
- temporal information
- case study
- website
- data sets