Prof. Dr. Ulrich Furbach
Institut für Informatik, Universität Koblenz
- 0261/287 - 2728
- 0261/287 - 2731
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot Ethics.CoRR. Bd. abs/1502.05838. 2015
Paola Bonacina, Maria; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning.CoRR. Bd. abs/1502.02535. 2015
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder et al.
The RatioLog Project - Rational Extensions of Logical Reasoning.CoRR. Bd. abs/1503.06087. 2015
Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question Answering.CoRR. Bd. abs/1411.4825. 2014
Furbach, Ulrich; Schon, Claudia
Deontic Logic for Human Reasoning.Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. 2014 S. 63 - 80
Barthelmess, Ulrike; Furbach, Ulrich
Do we need Asimov's Laws?CoRR. Bd. abs/1405.0961. 2014
Furbach, Ulrich
Representation and Reasoning [Guest editor's introduction].IEEE Intelligent Systems. Bd. 29. H. 1. 2014 S. 2 - 3
Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI ABoxes.CoRR. Bd. abs/1405.1192. 2014
Furbach, Ulrich
Neue Medien? - Neue Uni!KI. Bd. 26. H. 3. 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 Portals.IJCAI. 2011 S. 2430 - 2435
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
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