Keyphrases
- logic programming
- qualitative and quantitative
- classical logic
- predicate logic
- case study
- modal logic
- quantitative and qualitative
- multi valued
- computational properties
- logical framework
- proof theory
- dynamic logic
- asynchronous circuits
- abductive reasoning
- quantitative measures
- truth values
- real time
- association rules
- data sets