Generalized reasoning scheme for redundancy addition and removal logic optimization.
José Alberto EspejoLuis EntrenaEnrique San MillánEmilio OlíasPublished in: DATE (2001)
Keyphrases
- automated reasoning
- optimization scheme
- logical inference
- order of magnitude reasoning
- deductive reasoning
- proof theory
- computational properties
- reasoning engine
- reasoning tasks
- optimization process
- knowledge base
- optimization algorithm
- human reasoning
- knowledge representation
- theorem proving
- propositional logic
- horn logic
- logical framework
- modal logic
- optimization problems
- predicate logic
- joint optimization
- intuitionistic logic
- proof theoretic
- optimization method
- global optimization
- proof procedure
- causal reasoning
- knowledge representation and reasoning
- reasoning systems
- reasoning process
- default reasoning