Professur für Wissensrepräsentation und -verarbeitung

Incremental Anaphora Resolution in a Chart-based Semantics Construction Framework using lambda-DRT (1996) Fischer I, Geistert B, Görz G Conference contribution, Original article Corrections and higher-order unification (1996) Gardent C, Kohlhase M, van Leusen N Conference contribution, Original article Integrating computer algebra with proof planning (1996) Kerber M, Kohlhase M, Sorge V Conference contribution, Original article The proof development environment Ω-MKRP (1996) Huang X, Kerber M, Kohlhase M, Melis E, Richts J, Siekmann J Journal article, Original article Chart-based Incremental Semantics Construction with Anaphora Resolution Using lambda-DRT (1995) Fischer I, Geistert B, Görz G Conference contribution, Original article Higher-order tableaux (1995) Kohlhase M Conference contribution, Original article Ω-MKRP: A proof development environment (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article Unification in a sorted λ-calculus with term declarations and function sorts (1994) Kohlhase M Conference contribution, Original article Unification in an extensional lambda calculus with ordered function sorts and constant overloading (1994) Kohlhase M Conference contribution, Original article Keim: A toolkit for automated deduction (1994) Huang X, Kerber M, Kohlhase M, Melis E, Siekmann J Conference contribution, Original article