Reasoning and Revision in Hybrid Representation Systems

by Bernhard Nebel · 1990