Keyphrases
- sound and complete axiomatization
- multi valued
- probabilistic logic
- deductive reasoning
- first order logic
- horn clauses
- logic programming
- classical first order logic
- product design
- proof procedure
- propositional logic
- propositional theories
- default logic
- propositional variables
- predicate calculus
- autoepistemic logic
- belief revision
- defeasible logic
- general logic programs
- coalition logic
- classical logic
- abductive reasoning
- strips planning
- product quality
- product development