Adcuctive Reasoning with Abstraction Axioms

Luca Console, Daniele Theseider Dupré. Adcuctive Reasoning with Abstraction Axioms. In Gerhard Lakemeyer, Bernhard Nebel, editors, Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Volume 810 of Lecture Notes in Computer Science, pages 98-112, Springer, 1992.

Authors

Luca Console

This author has not been identified. Look up 'Luca Console' in Google

Daniele Theseider Dupré

This author has not been identified. Look up 'Daniele Theseider Dupré' in Google