The enduring scandal of deduction.

Marcello D'Agostino Luciano Floridi

Published in: Synth. (2009)

Keyphrases

inference rules
theorem proving
computer algebra
decision making
general purpose
artificial intelligence
metadata
expert systems
active learning
upper bound
first order logic
automated deduction