Skip to content

Adcuctive Reasoning with Abstraction Axioms.

Luca Console, Daniele Theseider Dupr

VenueAECAI
Year1992
ProceedingsECAI Workshop on Knowledge Representation and Reasoning

Browse the full ECAI paper archive.