Keyphrases
- logic programming
- real time
- modal logic
- predicate logic
- automated reasoning
- data sets
- deductive reasoning
- linear logic
- formal language
- set theory
- multi valued
- artificial intelligence
- information retrieval
- real world
- neural network
- multi agent systems
- classical logic
- defeasible logic
- case study
- asynchronous circuits
- intuitionistic logic