An Implementation of the Propositional Part of Krapfen, a Hybrid Knowledge Representation System.

Daniela D'Aloisi, O. Stock, A. Tuozzi

Browse the full ISMIS paper archive.