Reasoning and revision in hybrid representation systems by Bernhard Nebel | Menrva Books | MenrvaBooks