Keyphrases
- defeasible logic
- probability theory
- modal operators
- life cycle
- causal theories
- causal reasoning
- case study
- first order logic
- modal logic
- predicate logic
- logic programming
- theoretical framework
- computational properties
- automated reasoning
- product quality
- logical formulas
- formal logic
- propositional theories
- theorem proving
- classical first order logic
- closed world assumptions
- mining maximal
- proof theory
- semantics of logic programs
- deontic logic
- data sets
- product recommendation
- digital circuits
- product information
- classical logic
- logical framework
- product development
- product design
- inference rules
- social networks
- artificial intelligence
- neural network