Publication list at DBLP Maria Paola Bonacina (with Franz Baader, Alan Bundy, Ulrich Furbach, Frank Pfenning, John Slaney, and Christoph Weidenbach), "In Memoriam:...
4 KB (390 words) - 22:18, 11 July 2024
Dependent Type Systems, pp. 1149–1238. Nonclassical Logics Jürgen Dix, Ulrich Furbach, Ilkka Niemelä. Nonmonotonic Reasoning: Towards Efficient Calculi and...
4 KB (414 words) - 22:07, 2 July 2022
Terrance; Warren, David S.; Freire, Juliana (1997), Dix, Jürgen; Furbach, Ulrich; Nerode, Anil (eds.), "XSB: A system for efficiently computing well-founded...
5 KB (542 words) - 10:58, 12 August 2024
Heinz Furbach Martin Gareis Alfred Gerstenberg Hermann Geyer Werner von Gilsa Hermann Göring Heinrich Gontermann Walter Göttsch Justus Grassmann Ulrich Grauert...
30 KB (3,415 words) - 18:44, 28 June 2024
Technology-Volume 1. Association for Computational Linguistics, 2003. Furbach, Ulrich, Ingo Glöckner, and Björn Pelzer. "An application of automated reasoning...
29 KB (3,394 words) - 14:02, 25 August 2024
Heer 15-HMajor Leader of a Kampfgruppe in Berlin 28 April 1945 — — Heinz Furbach Heer 17-HOberst Commander of Infanterie-Regiment 58 4 October 1942 — —...
140 KB (3,533 words) - 18:01, 4 June 2024
default and priority logics". In Dix, Jürgen; del Cerro, Luís Fariñas; Furbach, Ulrich (eds.). Logics in Artificial Intelligence: European Workshop, JELIA...
7 KB (1,012 words) - 06:39, 2 July 2024
Research. 11: 1–94. arXiv:1105.5460. doi:10.1613/jair.575. S2CID 5297450. Furbach, Ulrich (2003). "AI - A Multiple Book Review". Artificial Intelligence. 145...
24 KB (2,264 words) - 06:28, 6 May 2024