Authors: BURCKERT HJ HOLLUNDER B LAUX A

Citation: Hj. Burckert et al., ON SKOLEMIZATION IN CONSTRAINED LOGICS, Annals of mathematics and artificial intelligence, 18(2-4), 1996, pp. 95-131

Authors: HOLLUNDER B

Citation: B. Hollunder, CONSISTENCY CHECKING REDUCED TO SATISFIABILITY OF CONCEPTS IN TERMINOLOGICAL SYSTEMS, Annals of mathematics and artificial intelligence, 18(2-4), 1996, pp. 133-157

Authors: BAADER F BUCHHEIT M HOLLUNDER B

Citation: F. Baader et al., CARDINALITY RESTRICTIONS ON CONCEPTS, Artificial intelligence, 88(1-2), 1996, pp. 195-213

Authors: HOLLUNDER B

Citation: B. Hollunder, AN ALTERNATIVE PROOF METHOD FOR POSSIBILISTIC LOGIC AND ITS APPLICATION TO TERMINOLOGICAL LOGICS, International journal of approximate reasoning, 12(2), 1995, pp. 85-109

Authors: BAADER F HOLLUNDER B NEBEL B PROFITLICH HJ FRANCONI E

Citation: F. Baader et al., AM EMPIRICAL-ANALYSIS OF OPTIMIZATION TECHNIQUES FOR TERMINOLOGICAL REPRESENTATION SYSTEMS - OR - MAKING KRIS GET A MOVE ON, Applied intelligence, 4(2), 1994, pp. 109-132