Measuring Inconsistency through Minimal Proofs.

Saïd Jabbour Badran Raddaoui

Published in: ECSQARU (2013)

Keyphrases

theorem proving
databases
website
formal proofs
real time
computer vision
decision making
image segmentation
probabilistic model
medical images
logic programming
theorem prover
classical logic
integrity checking
inconsistent information