Keyphrases
- classical logic
- predicate logic
- automated reasoning
- multi valued
- binary decision diagrams
- high level
- data sets
- deontic logic
- symbolic representation
- modal logic
- neural network
- logic programming
- programming language
- evolutionary algorithm
- case study
- defeasible logic
- information retrieval
- formal theory
- real time
- asynchronous circuits
- symbolic data
- delay insensitive
- connectionist systems