


default search action
Ulrich Furbach
Person information
- affiliation: University of Koblenz and Landau, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j42]Thomas Barkowsky, Thora Tenbrink, Peter Haddawy, Ulrich Furbach:
In memoriam: Christian Freksa (1950-2020). Spatial Cogn. Comput. 24(1): 1-5 (2024) - [p4]Ulrich Furbach, Ute Schmid:
Einführung. Künstliche Intelligenz für Lehrkräfte 2024: 1-5 - [p3]Ulrich Furbach, Christoph Benzmüller:
Schließen aus Wissen. Künstliche Intelligenz für Lehrkräfte 2024: 39-50 - [p2]Ulrike Barthelmeß, Ulrich Furbach, Uwe Lorenz:
Wechselwirkungen von KI mit anderen Schulfächern. Künstliche Intelligenz für Lehrkräfte 2024: 205-217 - [e11]Ulrich Furbach, Emanuel Kitzelmann, Tilman Michaeli, Ute Schmid:
Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen. ars digitalis, Springer Fachmedien Wiesbaden 2024, ISBN 978-3-658-44248-4 [contents] - 2023
- [b4]Ulrike Barthelmeß, Ulrich Furbach
:
A Different Look at Artificial Intelligence - On Tour with Bergson, Proust and Nabokov. Springer 2023, ISBN 978-3-658-38473-9, pp. 1-173 - [j41]Meghna Bhadra, Ulrich Furbach:
In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning. Künstliche Intell. 37(2): 249-254 (2023) - 2022
- [i20]Claudia Schon, Ulrich Furbach, Marco Ragni:
Modeling Associative Reasoning Processes. CoRR abs/2201.00716 (2022) - 2021
- [j40]Ulrike Barthelmeß, Ulrich Furbach
:
Consciousness: Just Another Technique? Künstliche Intell. 35(3): 441-444 (2021) - [i19]Ulrike Barthelmeß, Ulrich Furbach:
Künstliche Intelligenz, quo vadis? CoRR abs/2104.11067 (2021) - 2020
- [j39]Wolfgang Bibel, Ulrich Furbach:
Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. Künstliche Intell. 34(1): 109-116 (2020) - [c65]Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach:
Consciousness and Automated Reasoning. FCR@KI 2020: 12-26 - [e10]Aravindan Chandrabose
, Ulrich Furbach
, Ashish Ghosh
, Anand Kumar M
:
Computational Intelligence in Data Science - Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20-22, 2020, Revised Selected Papers. IFIP Advances in Information and Communication Technology 578, Springer 2020, ISBN 978-3-030-63466-7 [contents] - [i18]Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon:
Consciousness and Automated Reasoning. CoRR abs/2001.09442 (2020)
2010 – 2019
- 2019
- [j38]Ulrich Furbach, Steffen Hölldobler, Marco Ragni
, Claudia Schon, Frieder Stolzenburg
:
Cognitive Reasoning: A Personal View. Künstliche Intell. 33(3): 209-217 (2019) - [j37]Ulrich Furbach:
Interview with Professor Hector Levesque, University of Toronto. Künstliche Intell. 33(3): 307-308 (2019) - [c64]Ulrich Furbach, Teresa Krämer, Claudia Schon:
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. CADE 2019: 250-268 - [e9]Ulrich Furbach, Steffen Hölldobler, Marco Ragni
, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk:
Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), Macao, China, August 12, 2019. CEUR Workshop Proceedings 2452, CEUR-WS.org 2019 [contents] - 2017
- [c63]Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon:
Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci 2017 - [e8]Claudia Schon, Ulrich Furbach:
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - Is Logic and Automated Reasoning a Foundation for Human Reasoning? co-located with 39th Annual Meeting of the Cognitive Science Society (CogSci 2017), London, UK, July 26, 2017. CEUR Workshop Proceedings 1994, CEUR-WS.org 2017 [contents] - 2016
- [c62]Ulrich Furbach, Claudia Schon:
Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA 2016: 1-12 - [c61]Ulrich Furbach, Florian Furbach, Christian Freksa:
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Bridging@IJCAI 2016: 20-27 - [c60]Ulrich Furbach, Claudia Schon:
Commonsense Reasoning Meets Theorem Proving. Bridging@IJCAI 2016: 74-85 - [c59]Ulrich Furbach, Claudia Schon:
Commonsense Reasoning Meets Theorem Proving. MATES 2016: 3-17 - [e7]Claudia Schon, Ulrich Furbach:
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016. CEUR Workshop Proceedings 1651, CEUR-WS.org 2016 [contents] - [i17]Ulrich Furbach, Florian Furbach, Christian Freksa:
Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. CoRR abs/1606.04397 (2016) - 2015
- [j36]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. 29(3): 271-277 (2015) - [c58]Ulrich Furbach, Claudia Schon:
Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 63-80 - [c57]Maria Paola Bonacina
, Ulrich Furbach, Viorica Sofronie-Stokkermans:
On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency 2015: 181-204 - [c56]Ulrich Furbach, Andrew S. Gordon, Claudia Schon:
Tackling Benchmark Problems of Commonsense Reasoning. Bridging@CADE 2015: 47-59 - [c55]Ulrich Furbach, Björn Pelzer, Claudia Schon:
Automated Reasoning in the Wild. CADE 2015: 55-72 - [e6]Ulrich Furbach, Claudia Schon:
Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning - A workshop of the 25th International Conference on Automated Deduction (CADE-25), Berlin, Germany, August 1, 2015. CEUR Workshop Proceedings 1412, CEUR-WS.org 2015 [contents] - [i16]Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans:
On First-Order Model-Based Reasoning. CoRR abs/1502.02535 (2015) - [i15]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning for Robot Ethics. CoRR abs/1502.05838 (2015) - [i14]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth:
The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR abs/1503.06087 (2015) - 2014
- [j35]Ulrich Furbach:
Representation and Reasoning [Guest editor's introduction]. IEEE Intell. Syst. 29(1): 2-3 (2014) - [c54]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. MIWAI 2014: 57-68 - [i13]Ulrich Furbach, Claudia Schon:
Deontic Logic for Human Reasoning. CoRR abs/1404.6974 (2014) - [i12]Ulrike Barthelmess, Ulrich Furbach:
Do we need Asimov's Laws? CoRR abs/1405.0961 (2014) - [i11]Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of SHI ABoxes. CoRR abs/1405.1192 (2014) - [i10]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Automated Reasoning in Deontic Logic. CoRR abs/1411.4823 (2014) - [i9]Ulrich Furbach, Claudia Schon, Frieder Stolzenburg:
Cognitive Systems and Question Answering. CoRR abs/1411.4825 (2014) - 2013
- [c53]Ulrike Barthelmess, Ulrich Furbach:
Do we need Asimov's Laws? GI-Jahrestagung 2013: 1077-1084 - [c52]Ulrich Furbach, Markus Maron:
NUI-Based Floor Navigation - A Case Study. HCI (11) 2013: 270-279 - [c51]Ulrich Furbach, Claudia Schon:
Semantically Guided Evolution of ABoxes. TABLEAUX 2013: 134-148 - 2012
- [b3]Ulrike Barthelmeß, Ulrich Furbach:
IRobot - uMan - Künstliche Intelligenz und Kultur: eine jahrtausendealte Beziehungskiste. Springer 2012, ISBN 978-3-642-22927-5, pp. I-VIII, 1-126 - [j34]Ulrich Furbach:
Turing und Künstliche Intelligenz. Inform. Spektrum 35(4): 280-286 (2012) - [j33]Ulrich Furbach:
Neue Medien? - Neue Uni! Künstliche Intell. 26(3): 297-298 (2012) - 2011
- [j32]Ulrich Furbach:
Künstliche Intelligenz. Inform. Spektrum 34(5): 431-432 (2011) - [j31]Hans-Jürgen Bürckert, Ulrich Furbach:
Vom Schmuddelkind zum Fachbereich. Künstliche Intell. 25(4): 329-331 (2011) - [c50]Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
A Natural Language Question Answering System as a Participant in Human Q&A Portals. IJCAI 2011: 2430-2435 - [c49]Ammar Mohammed
, Ulrich Furbach:
MAS: Qualitative and Quantitative Reasoning. ProMAS 2011: 114-132 - [c48]Ulrich Furbach:
First-Order Tableaux in Applications (Extended Abstract). TABLEAUX 2011: 17-19 - 2010
- [j30]Ulrich Furbach, Ingo Glöckner, Björn Pelzer:
An application of automated reasoning in natural language question answering. AI Commun. 23(2-3): 241-265 (2010) - [j29]Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer:
Logic-Based Question Answering. Künstliche Intell. 24(1): 51-55 (2010) - [j28]Peter Baumgartner, Ulrich Furbach, Björn Pelzer:
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. 20(1): 77-109 (2010) - [c47]Ammar Mohammed, Ulrich Furbach:
Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS 2010: 70-79
2000 – 2009
- 2009
- [c46]Ulrich Furbach, Heiko Günther, Claudia Obermaier:
A Knowledge Compilation Technique for ALC Tboxes. FLAIRS 2009 - [c45]Ammar Mohammed
, Ulrich Furbach:
Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. PROMAS 2009: 49-66 - [c44]Ammar Mohammed, Ulrich Furbach:
From Reactive to Deliberative Multi-agent Planning. MSVVEIS 2009: 67-75 - 2008
- [j27]Ulrich Furbach:
IJCAR Preface. J. Autom. Reason. 40(2-3): 87-88 (2008) - [j26]Ulrich Furbach:
Editorial. Künstliche Intell. 22(3): 1 (2008) - [c43]Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer:
LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR 2008: 139-146 - [c42]Ammar Mohammed, Ulrich Furbach:
Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS 2008: 141-149 - 2007
- [j25]Ulrich Furbach, Markus Maron, Kevin Read:
Location based Informationsystems. Künstliche Intell. 21(3): 64-67 (2007) - [c41]Ralph Bergmann, Klaus-Dieter Althoff, Ulrich Furbach, Klaus Schmid
:
Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence. AmI Workshops 2007: 1-3 - [c40]Peter Baumgartner, Ulrich Furbach, Björn Pelzer:
Hyper Tableaux with Equality. CADE 2007: 492-507 - [c39]Ulrich Furbach, Markus Maron, Kevin Read:
CAMPUS NEWS - an Information Network for Pervasive Universities. GI Jahrestagung (1) 2007: 508-512 - [c38]Ulrich Furbach, Claudia Obermaier:
Knowledge Compilation for Description Logics. KESE 2007 - [c37]Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg:
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS 2007: 205-220 - [c36]Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg:
Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup 2007: 262-269 - 2006
- [c35]Ulrich Furbach, Claudia Obermaier:
Applications of Automated Reasoning. KI 2006: 174-187 - [e5]Ulrich Furbach, Natarajan Shankar:
Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Lecture Notes in Computer Science 4130, Springer 2006, ISBN 3-540-37187-7 [contents] - 2005
- [j24]Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya:
Automated Reasoning, Knowledge Representation and Management. Künstliche Intell. 19(1): 5- (2005) - [c34]Peter Baumgartner, Ulrich Furbach:
Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning 2005: 249-267 - [e4]Ulrich Furbach:
KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings. Lecture Notes in Computer Science 3698, Springer 2005, ISBN 3-540-28761-2 [contents] - 2004
- [j23]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner:
Living Book - Deduction, Slicing, and Interaction. J. Autom. Reason. 32(3): 259-286 (2004) - [c33]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann:
Model Based Deduction for Database Schema Reasoning. KI 2004: 168-182 - [c32]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann:
Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP 2004: 1-15 - 2003
- [j22]Ulrich Furbach:
AI--A multiple book review. Artif. Intell. 145(1-2): 245-252 (2003) - [j21]Peter Baumgartner, Ulrich Furbach:
Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. 38(1-3): 211-228 (2003) - [c31]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner:
'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE 2003: 284-288 - [c30]Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas:
Automatic Classification for the Identification of Relationships in a Meta-Data Repository. Discovery Science 2003: 283-290 - [c29]Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt:
Living Books. Wirtschaftsinformatik (1) 2003: 693-706 - 2002
- [j20]Ulrich Furbach:
Wissenssysteme aus der Sicht der Inferenz. Künstliche Intell. 16(1): 61-63 (2002) - 2001
- [j19]Ulrich Furbach:
Jahresbericht 2000 des FB1 der GI. Künstliche Intell. 15(2): 65 (2001) - [p1]Jürgen Dix, Ulrich Furbach, Ilkka Niemelä:
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning 2001: 1241-1354 - 2000
- [j18]Ulrich Furbach:
Jahresbericht 1999 des Sprechers des FB1 der GI. Künstliche Intell. 14(2): 58 (2000) - [j17]Ulrich Furbach, Oliver Obst, Frieder Stolzenburg:
Intelligente Agenten und KI. LOG IN 20(3/4): 17- (2000) - [c28]Peter Baumgartner, Norbert Eisinger, Ulrich Furbach:
A Confluent Connection Calculus. Intellectics and Computational Logic 2000: 3-26 - [e3]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6 [contents]
1990 – 1999
- 1999
- [j16]Thomas Christaller, Ulrich Furbach, Reinhard Keil-Slawik, Bernd Neumann, Franz Josef Radermacher:
Kommentare zum Diskussionsbeitrag "Die militärische Seite der KI". Künstliche Intell. 13(1): 60-63 (1999) - [c27]Peter Baumgartner, Norbert Eisinger, Ulrich Furbach:
A Confluent Connection Calculus. CADE 1999: 329-343 - 1998
- [j15]Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas:
Automated Deduction: a Technological Point of View. Künstliche Intell. 12(4): 7-14 (1998) - [c26]Wenjin Lu, Ulrich Furbach:
Disjunctive Logic Program = Horn Program + Control Program. JELIA 1998: 33-46 - [e2]Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach:
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489, Springer 1998, ISBN 3-540-65141-1 [contents] - 1997
- [j14]Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Computing Answers with Model Elimination. Artif. Intell. 90(1-2): 135-176 (1997) - [c25]Peter Baumgartner, Ulrich Furbach:
Calculi for Disjunctive Logic Programming. ICLP 1997: 409 - [c24]Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl:
Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) 1997: 460-465 - [c23]Peter Baumgartner, Ulrich Furbach:
Calculi for Disjunctive Logic Programming. ILPS 1997: 229-243 - [c22]Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
:
Tableaux for Diagnosis Applications. TABLEAUX 1997: 76-90 - [e1]Jürgen Dix, Ulrich Furbach, Anil Nerode:
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings. Lecture Notes in Computer Science 1265, Springer 1997, ISBN 3-540-63255-7 [contents] - 1996
- [j13]Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg:
Deduktion und Logisches Programmieren. Künstliche Intell. 10(2): 34-39 (1996) - [j12]Jürgen Dix, Ulrich Furbach:
Logisches Programmieren mit Negation und Disjunktion. Künstliche Intell. 10(3): 24-31 (1996) - [c21]Peter Baumgartner, Ulrich Furbach:
Hyper Tableaux and Disjunctive Logic Programming. DDLP 1996: 29-43 - [c20]Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg:
On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP 1996: 546 - [c19]Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä:
Hyper Tableaux. JELIA 1996: 1-17 - 1995
- [j11]Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe:
Ist die Wissensrepräsentation tot? Künstliche Intell. 9(5): 18-26 (1995) - [c18]Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341 - [c17]Ulrich Furbach:
From Theorem Proving to Logic Programming. WLP 1995: 59-62 - 1994
- [j10]Peter Baumgartner, Ulrich Furbach:
Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reason. 13(3): 339-359 (1994) - [c16]Peter Baumgartner, Ulrich Furbach:
Model Elimination Without Contrapositives. CADE 1994: 87-101 - [c15]Peter Baumgartner, Ulrich Furbach:
PROTEIN: A PROver with a Theory Extension INterface. CADE 1994: 769-773 - [c14]Ulrich Furbach:
Theory Reasoning in First Order Calculi. IS/KI 1994: 139-156 - 1993
- [j9]Peter Baumgartner, Ulrich Furbach:
Consolution as a Framework for Comparing Calculi. J. Symb. Comput. 16(5): 445-477 (1993) - [j8]Ulrich Furbach:
Formal specification methods for reactive systems. J. Syst. Softw. 21(2): 129-139 (1993) - 1992
- [j7]Ulrich Furbach:
ILPS'91 - International Logic Programming Syposium. Künstliche Intell. 6(1): 50 (1992) - [j6]Wolfgang Bibel, Ulrich Furbach:
Logik, KI und Intellektik. Künstliche Intell. 6(3): 91-94 (1992) - [c13]Ulrich Furbach:
Computing Answers for Disjunctive Logic Programs. JELIA 1992: 357-372 - [c12]Peter Baumgartner, Ulrich Furbach:
Consolution as a Framework for Comparing Calculi. TABLEAUX 1992: 11-14 - 1991
- [b2]Ulrich Furbach:
Logische und funktionale Programmierung - Grundlagen einer Kombination. Artificial intelligence = Künstliche Intelligenz, Vieweg 1991, ISBN 978-3-528-05127-3, pp. 1-159 - [j5]Ulrich Furbach, Walter Hower:
Workshop on "Massively Parallel Inference Systems". Künstliche Intell. 5(2): 48-49 (1991) - [c11]Ulrich Furbach:
Answers for disjunctive logic programs. GWAI 1991: 23-32 - [i8]Ulrich Furbach:
Answers for disjunctive logic programs. Forschungsberichte, TU Munich TUM I 9125: 1-10 (1991) - [i7]