Provability in predicate product logic.
Michael C. LaskowskiShirin MalekpourPublished in: Arch. Math. Log. (2007)
Keyphrases
- modal logic
- logic programming
- life cycle
- product design
- multi valued
- data sets
- classical logic
- proof theory
- product information
- horn clauses
- sound and complete axiomatization
- asynchronous circuits
- product line
- predicate logic
- nonmonotonic logics
- defeasible logic
- product quality
- database
- website
- machine learning
- information retrieval
- automated reasoning
- genetic algorithm
- artificial intelligence
- integrity constraints
- first order logic
- knowledge base
- supply chain
- multi agent