Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Furbach, Ulrich
First-Order Tableaux in Applications (Extended Abstract).TABLEAUX. 2011 S. 17 - 19
Mohammed, Ammar; Furbach, Ulrich
MAS: Qualitative and Quantitative Reasoning.ProMAS. 2011 S. 114 - 132
Bürckert, Hans-Jürgen; Furbach, Ulrich
Vom Schmuddelkind zum Fachbereich.KI. Bd. 25. H. 4. 2011 S. 329 - 331
Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn
An application of automated reasoning in natural language question answering.AI Commun. Bd. 23. H. 2-3. 2010 S. 241 - 265
Mohammed, Ammar; Furbach, Ulrich
Extending CTL to Specify Quantitative Temporal Requirements.MSVVEIS. 2010 S. 70 - 79
Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
Logic-Based Question Answering.KI. Bd. 24. H. 1. 2010 S. 51 - 55
Baumgartner, Peter; Furbach, Ulrich; Pelzer, Björn
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation.J. Log. Comput. Bd. 20. H. 1. 2010 S. 77 - 109
Furbach, Ulrich; Günther, Heiko; Obermaier, Claudia
A Knowledge Compilation Technique for ALC Tboxes.FLAIRS Conference. 2009
Mohammed, Ammar; Furbach, Ulrich
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata.PROMAS. 2009 S. 49 - 66
Furbach, Ulrich
Editorial.KI. Bd. 22. H. 3. 2008 S. 1