Keyphrases
- logic programming
- modal logic
- automated reasoning
- bayesian decision
- case study
- data driven
- logic synthesis
- predicate logic
- logic programs
- real time
- multi valued
- defeasible logic
- bayesian learning
- sound and complete axiomatization
- proof theory
- digital circuits
- computational properties
- classical logic
- maximum likelihood
- programming language
- multi agent systems
- bayesian networks
- genetic algorithm
- data mining