Keyphrases
- complex objects
- relevant variables
- variable selection
- logic programming
- modal logic
- propositional variables
- deductive databases
- independent variables
- input variables
- asynchronous circuits
- nonmonotonic logics
- set theory
- computational properties
- classical logic
- structural model
- automated reasoning
- transitive closure
- neural network
- objective function
- knowledge base
- artificial intelligence
- learning algorithm
- data mining