Proof Simplification in the Framework of Coherent Logic.

Vesna Marinkovic

Published in: Comput. Informatics (2015)

Keyphrases

logical framework
main contribution
theoretical framework
abductive reasoning
databases
feature selection
decision making
case study
multiresolution
probabilistic model
theorem proving
proof theory