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
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
Baumgartner, P.; Furbach, U.; Bibel, W. et al.
Chapter I.3: Variants of Clausal TableauxBibel, W.; Schmitt, P. H. (Hrsg). Automated Deduction. A basis for applications. Kluwer Academic Publishers 1998 S. 73-102
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing answers with model eliminationArtificial intelligence. an international journal. Bd. 90. H. 1. Amsterdam: Elsevier 1997 S. 135 - 176
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Semantically Guided Theorem Proving for Diagnosis ApplicationsM. E. Pollack (Hrsg). 15th International Joint Conference on Artificial Intelligence (IJCAI 97). Morgan Kaufmann 1997 S. 460-465
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis ApplicationsD. Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods. Springer 1997 S. 76-90
Baumgartner, P.; Furbach, U.
Calculi for Disjunctive Logic Programming1996
Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
Hyper TableauxProceedings Joint European workshop on Logics in AI '96. Springer 1996
Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic ProgrammingICLP Workshop on Deductive Databases and Logic Programming. GMD 1996
Baumgartner, P.; Furbach, U.
Hyper Tableaux. Part I: Proof Procedure and Model GenerationDagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996
Baumgartner, Peter
Linear and Unit-Resulting Refutations for Horn TheoriesJournal of automated reasoning. Bd. 16. H. 3. Dordrecht [u.a.]: Springer 1996 S. 241 - 320
Chandrabose, Aravindan; Baumgartner, Peter; Dix, Jürgen et al.
On Merging Theorem Proving and Logic Programming ParadigmsMaher, M. (Hrsg). Proceedings of the Joint International Conference and Symposiums on Logic Programming, Bad Honnef. Cambridge, MA, London, England: MIT Press 1996 S. 546
Baumgartner, P.; Furbach, U.; Stolzenburg, F.
Computing Answers and Logic Programming by Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1995
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und DisjunktionKoblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)
Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model elimination, logic programming and computing answersKoblenz-Landau: Univ., Inst. f. Informatik 1995 31 S. (Fachberichte Informatik ; 1/95)
Baumgartner, P.; Furbach, U.; Stolzenburg, F. et al.
Applications of Theory Reasoning in Model EliminationBaumgartner, P. et al. (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. 1994
Baumgartner, P.; Furbach, U.
Lineare Vervollständigung für die Behandlung von HorntheorienDFG-Colloquium ``Deduction´´. 1994
Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension INterfaceLecture notes in computer science. Bd. 814. Berlin: Springer 1994 S. 769 - 773
Baumgartner, P.; Furbach, U.
The Spectrum of Model Elimination Based Theorem ProvingProc. of the Workshop ``Automated Reasoning: Bridging the Gap between Theory and Practice´´. 1994
Baumgartner, Peter; Furbach, Ulrich
Model elimination without contrapositives and its application to PTTPKoblenz: Inst. für Informatik, Univ. 1993 23 S. (Fachberichte Informatik ; 12/93)
Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoningKoblenz: Inst. für Informatik, Univ. 1992 59 S. (Fachberichte Informatik ; 1992,15)
Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculiKoblenz: Inst. für Informatik, Univ. 1992 26 S. (Fachberichte Informatik ; 1992,11)
Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books
Baumgartner, P.; Furbach, U.; Thomas, B.
Model based deduction for knowledge representation17. WLP - Workshop Logische Programmierung.
Baumgartner, P.; Furbach, U.
Refinements for Restart Model Elimination
Baumgartner, P.; Fröhlich, P.; Furbach, U. et al.
Tableaux for Diagnosis Applications