Implementation of Resolution Refinements Based on Non-liftable Orders.

  • de Nivelle, J.M.G.G. (Principal Investigator)

    Project: Research project

    Project Details

    Effective start/end date1/05/9230/04/96

    Research Output

    An Algorithm for the Retrieval of Unifiers from Discrimination Trees

    de Nivelle, J. M. G. G., 1996, Logics in Artificial Intelligence; Proceedings. Berlin: Springer Verlag, p. 18-33 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterScientific