Hybrid Reasoning in BACK.

Bernhard Nebel, Kai von Luck

Browse the full ISMIS paper archive.