ThisvolumecontainstheresearchpaperspresentedatKI2005,the28thGerman Conference on Arti?cial Intelligence, held September 11–14, 2005 in Koblenz, Germany.  Meer

Das vorliegende Bueh ist eine iiberarbeitete Fassung meiner Habilitati­ onssehrift 'Funktionen in Hornklausellogik'. Die Arbeit ist an der Teehnisehen Universitat Miinehen im Rahmen des ESPRIT-Projektes P973 ALPES fertiggestellt worden.  Meer