Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Furbach, Ulrich; Schon, Claudia
Deontic Logic for Human ReasoningThomas Eiter; Hannes Strass; Miroslaw Truszczynski; Stefan Woltran (Hrsg). Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation: Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Gorgan: Gorgan University of Agricultural Sciences and Natural Resources 2015 S. 63 - 80
Furbach, Ulrich
Representation and Reasoning [Guest editor's introduction]IEEE Intelligent Systems. Bd. 29. H. 1. New York, NY: IEEE Computer Society 2014 S. 2 - 3
Mohammed, Ammar; Furbach, Ulrich
MAS: Qualitative and Quantitative ReasoningLouise Dennis; Olivier Boissier; Rafael H. Bordini (Hrsg). Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers. Berlin: Springer 2012 S. 114 - 132
Furbach, Ulrich
Neue Medien? - Neue Uni!Künstliche Intelligenz. Bd. 26. H. 3. Berlin: Springer 2012 S. 297 - 298
Dong, Tiansi; Furbach, Ulrich; Glöckner, Ingo et al.
A Natural Language Question Answering System as a Participant in Human Q&A PortalsToby Walsh (Hrsg). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence IJCAI-11: Barcelona, Catalonia, Spain; 16-22 July 2011; Volume Three. Menlo Park, CA: AAAI Press 2011 S. 2430 - 2435
Furbach, Ulrich
First-Order Tableaux in Applications (Extended Abstract)Kai Brünnler; George Metclfe (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Berlin: Springer 2011 S. 17 - 19
Bürckert, Hans-Jürgen; Furbach, Ulrich
Vom Schmuddelkind zum FachbereichKünstliche Intelligenz. Bd. 25. H. 4. Berlin: Springer 2011 S. 329 - 331
Furbach, Ulrich; Glöckner, Ingo; Pelzer, Björn
An application of automated reasoning in natural language question answeringAI Communications. Bd. 23. H. 2-3. Amsterdam: IOS Press 2010 S. 241 - 265
Mohammed, Ammar; Furbach, Ulrich
Extending CTL to Specify Quantitative Temporal RequirementsManuel Isidoro Capel-Tuñón; Juan Garbajosa (Hrsg). Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems MSVVEIS 2010 in conjunction with ICEIS 2010; Funchal, Madeira, Portugal; 8 - 12 June, 2010. Setúbal: INSTICC Press 2010 S. 70 - 79
Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
Logic-Based Question AnsweringKünstliche Intelligenz. Bd. 24. H. 1. Berlin: Springer 2010 S. 51 - 55