Higher-order Representation and Reasoning for Automated Ontology Evolution.

Michael Chan, Jos Lehmann, Alan Bundy

Browse the full IC3K paper archive.