Automation of Aggregate Theories: The Cornerstones of Equational Expressibility.

Andrea Formisano Eugenio G. Omodeo Alberto Policriti

Published in: APPIA-GULP-PRODE (2002)

Keyphrases

equational theories
theorem proving
theoretical framework
multimedia
theorem prover
information retrieval
case study
data structure
cognitive psychology
defeasible logic