Prof. Dr. Ulrich Furbach - Publikationen

Furbach, Ulrich; Schon, Claudia
Deontic Logic for Human Reasoning
Thomas 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 Reasoning
Louise 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 Portals
Toby 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 Fachbereich
Kü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 answering
AI Communications. Bd. 23. H. 2-3. Amsterdam: IOS Press 2010 S. 241 - 265

Mohammed, Ammar; Furbach, Ulrich
Extending CTL to Specify Quantitative Temporal Requirements
Manuel 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 Answering
Künstliche Intelligenz. Bd. 24. H. 1. Berlin: Springer 2010 S. 51 - 55

Mohammed, Ammar; Furbach, Ulrich
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata
Lars Braubach; Jean-Pierre Briot; John Thangarajah (Hrsg). Programming Multi-Agent Systems: 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers. Berlin: Springer 2010 S. 49 - 66

Baumgartner, Peter; Furbach, Ulrich; Pelzer, Björn
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation
Journal of Logic and Computation. Bd. 20. H. 1. Oxford: Oxford University Press 2010 S. 77 - 109

Furbach, Ulrich; Günther, Heiko; Schon, Claudia
A Knowledge Compilation Technique for ALC TBoxes
H. Chad Lane; Hans W. Guesgen (Hrsg). Proceedings of the Twenty-Second International Florida Artificial Intelligence Research Society Conference: FLAIRS; 19 - 21 May 2009, Sanibel Island, Florida, USA. Menlo Park, CA: AAAI Press 2009 S. 39 - 44

Furbach, Ulrich
Editorial in Schwerpunktheft Räumliche Mobilität
Künstliche Intelligenz. Bd. 22. H. 3. Bremen: Böttcher IT 2008 S. 1

Furbach, Ulrich
IJCAR Preface
Journal of Automated Reasoning. Bd. 40. H. 2-3. Dordrecht: Springer 2008 S. IJCAR

Furbach, Ulrich; Glöckner, Ingo; Helbig, Hermann et al.
LogAnswer - A Deduction-Based Question Answering System (System Description)
Alessandro Armando; Peter Baumgartner; Gilles Dowek (Hrsg). Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceeding. Berlin: Springer 2008 S. 139 - 146

Mohammed, Ammar; Furbach, Ulrich
Modeling Multi-agent Logistic Process System using Hybrid Automata
Ulrich Ultes-Nitsche; Daniel Moldt; Juan C. Augusto (Hrsg). Modelling, simulation, Verification and Validation of Enterprise Information Systems: Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008; in conjunction with 10th International Conference on Enterprise Information Systems ICEIS 2008: Barcelona, Spain; 12 - 13 June, 2008. Setúbal: INSTICC Press 2008 S. 141 - 149

Baumgartner, Peter; Furbach, Ulrich; Gross-Hardt, Margret et al.
Living Book - Deduction, Slicing, and Interaction
Journal of Automated Reasoning. Bd. 32. H. 3. Dordrecht: Springer 2004 S. 259 - 286

Baumgartner, Peter; Furbach, Ulrich
Automated Deduction Techniques for the Management of Personalized Documents
Annals of Mathematics and Artificial Intelligence. Bd. 38. H. 1-3. Dordrecht: Kluwer 2003 S. 211 - 228

Baumgartner, Peter; Furbach, Ulrich; Thomas, Bernd
Model Based Deduction for Knowledge Representation
Bertram Fronhöfer; Steffen Hölldobler (Hrsg). 17. Workshop Logische Programmierung: Technische Universität Dresden, 11. - 13. Dezember 2002. Dresden: Technische Universität Dresden Fakultät Informatik 2003 S. 156 - 166

Baumgartner, Peter; Furbach, Ulrich
Model based deduction for knowledge representation [position paper]
Natasha Noy; Martin Frank; Steffen Staab (Hrsg). WWW 2002: International Workshop on the Semantic Web; Hawaii, May 7, 2002. Karlsruhe: Universität Karlsruhe 2002 S. 1 - 2

Dahn, Ingo; Furbach, Ulrich; Armbruster, Michael et al.
Slicing Books: The authors' perspective
Rainer Bromme; Elmar Stahl (Hrsg). Writing Hypertext and Learning: Conceptual and Empirical Approaches. Amsterdam: Pergamon 2002 S. 125 - 152

Furbach, Ulrich; Obst, O.; Stolzenburg, Frieder
Intelligente Agenten und KI
Log IN. Bonn: Gesellschaft für Informatik 2000 S. 17 - 21

Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich
A Confluent Connection Calculus
Harald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Bd. 1632. Berlin: Springer 1999 S. 329 - 343

Baumgartner, Peter; Dahn, Ingo; Dix, Jürgen et al.
Automated Deduction: A technological Point of View
Künstliche Intelligenz. Bd. 12. H. 4. Boppard: ScienTec Publishing 1998 S. 7 - 14

Baumgartner, Peter; Furbach, Ulrich
Variants of Clausal Tableaux
Wolfgang Bibel; Peter H. Schmitt (Hrsg). Automated Deduction-A Basis for Applications: Volume 1; Foundations - Calculi and Methods. Dordrecht: Kluwer Academic Publishers 1998 S. 73 - 102

Galmiche, Didier
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings
Berlin: Springer 1997

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Computing answers with model elimination
Artificial Intelligence. Bd. 90. H. 1-2. Amsterdam: Elsevier 1997 S. 135 - 176

Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
Semantically Guided Theorem Proving for Diagnosis Applications
Martha E. Pollack (Hrsg). Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence IJCAI 1997: Nagoya, Japan; August 23-29, 1997; Volume 1. San Francisco, CA: Morgan Kaufmann Publishers 1997 S. 460 - 465

Baumgartner, Peter; Fröhlich, Peter; Furbach, Ulrich et al.
Tableaux for diagnosis applications
Didier Galmiche (Hrsg). Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97 Pont-à-Mousson, France, May 13–16, 1997 Proceedings. Berlin: Springer 1997 S. 76 - 90

Baumgartner, Peter; Furbach, Ulrich
Calculi for Disjunctive Logic Programming
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996

Baumgartner, P.; Furbach, U.; Niemelä, Ilkka
Hyper Tableaux
Proceedings Joint European workshop on Logics in AI '96. Springer 1996

Furbach, U.; Baumgartner, Peter
Hyper Tableaux and Disjunctive Logic Programming
ICLP Workshop on Deductive Databases and Logic Programming. GMD 1996

Baumgartner, Peter; Furbach, Ullrich
Hyper Tableaux. Part I: Proof Procedure and Model Generation
Dagstuhl-Seminar Reports Disjunctive logic programming and databases: Non-monotonic aspects. 1996

Baumgartner, Peter
Linear and Unit-Resulting Refutations for Horn Theories
Journal 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 Paradigms
Maher, 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, Peter; Furbach, Ulrich
Refinements for Restart Model Elimination
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1996

Furbach, Ulrich
From Theorem Proving to Logic Programming
Andreas Krall; Ulrich Geske (Hrsg). 11. Workshop Logische Programmierung WLP 1995: Technische Universität Wien, 27.-29. September 1995, Proceedings. Sankt Augustin: GMD-Forschungszentrum Informationstechnik 1995 S. 59 - 62

Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und Disjunktion
Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)

Dix, Jürgen; Furbach, Ulrich; Furbach, Ulrich
Logisches Programmieren mit Negation und Disjunktion
Koblenz-Landau: Univ., Inst. f. Informatik 1995 15 S. ([Fachberichte Informatik ; 21/95)

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Model Elimination, Logic Programming and Computing Answers
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1995 S. 1 - 31 (Fachberichte Informatik ; 1/95)

Baumgartner, Peter; Furbach, Ulrich; Stolzenburg, Frieder
Applications of Theory Reasoning in Model Elimination
Peter Baumgartner; H.-J. Bürckert; Hubert Comon; Alan M. Frisch; Ulrich Furbach; Nil Murray; Uwe Petermann; Mark Stickel (Hrsg). Theory Reasoning in Automated Deduction, CADE-12 Workshop Proceedings. Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1994 S. 7 - 14

Baumgartner, Peter; Furbach, Ullrich
Lineare Vervollständigung für die Behandlung von Horntheorien: Research Report AIDA-94-02
DFG-Colloquium ``Deduction´´. 1994

Baumgartner, Peter; Furbach, Ulrich
PROTEIN: A PROver with a Theory Extension Interface
Alan Bundy (Hrsg). Automated Deduction - CADE-12: 12th International Conference on Automated Deduction; Nancy, France, June 26 – July 1, 1994 Proceedings. Bd. 814. Berlin: Springer 1994 S. 769 - 773

Baumgartner, Peter; Furbach, Ullrich
The Spectrum of Model Elimination Based Theorem Proving
Proc. 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 PTTP
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1993 S. 1 - 23 (Fachberichte Informatik ; 12/93)

Baumgartner, Peter; Furbach, Ulrich; Petermann, Uwe
A unified approach to theory reasoning
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 59 (Fachberichte Informatik ; 1992,15)

Baumgartner, Peter; Furbach, Ulrich
Consolution as a framework for comparing calculi
Koblenz: Universität Koblenz-Landau, Fachbereich Informatik 1992 S. 26 (Fachberichte Informatik ; 1992,11)

Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Automated Reasoning for Robot Ethics
CoRR.  S. 1 - 5

Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder
Cognitive Systems and Question Answering
CoRR.  S. 1 - 7

Barthelmess, Ulrike; Furbach, Ulrich
Do we need Asimov's Laws?
CoRR.  S. 1 - 12

Baumgartner, P.; Furbach, U.; Gross - Hardt, M.
Living Books

Bonacina, Maria Paola; Furbach, Ulrich; Sofronie-Stokkermans, Viorica
On First-Order Model-Based Reasoning
CoRR.  S. 1 - 24

Furbach, Ulrich; Schon, Claudia
Semantically Guided Evolution of SHI Aboxes
CoRR.  S. 1 - 15

Furbach, Ulrich; Schon, Claudia; Stolzenburg, Frieder et al.
The RatioLog Project: Rational Extensions of Logical Reasoning
CoRR.  S. 1 - 7