Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Furbach, Ulrich
IJCAR Preface.J. Autom. Reasoning. Bd. 40. H. 2-3. 2008 S. 87 - 88
Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
LogAnswer - A Deduction-Based Question Answering System (System Description).IJCAR. 2008 S. 139 - 146
Mohammed, Ammar; Furbach, Ulrich
Modeling Multi-agent Logistic Process System using Hybrid Automata.MSVVEIS. 2008 S. 141 - 149
Baumgartner, P.; Furbach, U.; Gross-Hardt, M. et al.
Living Book - Deduction, Slicing, and InteractionJournal of automated reasoning. Bd. 32. H. 3. Dordrecht [u.a.]: Springer 2004
Baumgartner, Peter; Furbach, Ulrich
Automated Deduction Techniques for the Management of Personalized DocumentsAnnals of mathematics and artificial intelligence. AMAI. Bd. 38. H. 1. Amsterdam: Baltzer 2003 S. 211 - 228
Baumgartner, P.; Furbach, U.; Frank, M. S. S. et al.
Model based deduction for knowledge representation (position paper)Frank, M. S. S.; Noy, N. (Hrsg). International Workshop on the Semantic Web, Workshop at WWW2002. 2002
Dahn, I.; Armbruster, M.; Furbach, U. et al.
Slicing Books - the Author´s PerspectiveBromme, R., Stahl, E. (Hrsg). Writing Hypertext and Learning - Conceptual and Empirical Approaches. Pergamon Press 2002 S. 125-152
Furbach, U.; Obst, O.; Stolzenburg, F.
Intelligente Agenten und KILOG IN - Informatische Bildung und Computer in der Schule. Bd. LOG IN - Informatische Bildung und Computer in der Schule. 2000 S. 17-21
Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich
10. A Confluent Connection CalculusLecture notes in computer science. Bd. 1632. Berlin: Springer 1999 S. 329 - 343
Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.
Automated Deduction : a technological Point of ViewKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 12. H. 4. Bremen: Böttcher IT-Verl. 1998 S. 7 - 14