Adcuctive Reasoning with Abstraction Axioms.
Luca Console, Daniele Theseider Dupr
VenueAECAI
Year1992
ProceedingsECAI Workshop on Knowledge Representation and Reasoning
DBLP recordconf/ecai/ConsoleD92 ↗
Browse the full ECAI paper archive.
Luca Console, Daniele Theseider Dupr
Browse the full ECAI paper archive.