default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDUlrich 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]Ulrich Furbach:
Splitting as a source of parallelism in disjunctive logic programs. Forschungsberichte, TU Munich TUM I 9126: 1-7 (1991) - 1990
- [j4]Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke:
Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme". Künstliche Intell. 4(2): 21-23 (1990)
1980 – 1989
- 1989
- [j3]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber:
Horn Equational Theories and Paramodulation. J. Autom. Reason. 5(3): 309-337 (1989) - [j2]Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel:
Ein Konstanzer Prolog-Workshop. Künstliche Intell. 3(4): 15 (1989) - [c10]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber:
Linear Paramodulation modulo Equality. GWAI 1989: 107-116 - [c9]Bertram Fronhöfer, Ulrich Furbach:
ALPES: A Programming Environment for Logic Programming. Wissensbasierte Systeme 1989: 496-506 - [i6]Ulrich Furbach, Steffen Hölldobler:
Equations, order-sortedness and inheritance in logic programming. Forschungsberichte, TU Munich FKI 110 89: 1-58 (1989) - [i5]Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber:
Linear paramodulation modulo equality. Forschungsberichte, TU Munich FKI 111 89: 1-11 (1989) - 1988
- [i4]Ulrich Furbach, Steffen Hölldobler:
FHCL - functions in Horn Clause logic. Forschungsberichte, TU Munich FKI 86 88: 1-14 (1988) - [i3]Bertram Fronhöfer, Ulrich Furbach:
Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold. Forschungsberichte, TU Munich FKI 87 88: 1-17 (1988) - [i2]Thierry Conrad, Ulrich Furbach:
Sorts are nothing but functions: an equational approach to sorts for logic programming. Forschungsberichte, TU Munich FKI 89 88: 1-9 (1988) - [i1]Ulrich Furbach, Christian Freksa, Gerhard Dirlich:
Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen. Forschungsberichte, TU Munich FKI 91 88: 1-36 (1988) - 1987
- [c8]Ulrich Furbach:
Oldy but Goody Paramodulation Revisited. GWAI 1987: 195-201 - 1986
- [j1]Ulrich Furbach, Steffen Hölldobler:
Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comput. 2(2): 123-138 (1986) - [c7]Bertram Fronhöfer, Ulrich Furbach:
Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI 1986: 289-300 - [c6]Ulrich Furbach:
Wissensrepräsentation und Programmiersprachen. Wissensarten und ihre Darstellung 1986: 262-271 - 1985
- [c5]Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair:
Extended Unification and its Implementation. GWAI 1985: 176-185 - 1984
- [c4]Ulrich Furbach, Gerhard Dirlich, Christian Freksa:
Towards a Theory of Knowledge Representation Systems. AIMSA 1984: 77-84 - [c3]Christian Freksa, Ulrich Furbach, Gerhard Dirlich:
Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. GWAI 1984: 119-144 - [c2]Gerhard Dirlich, Helmut von Benda, Christian Freksa, Ulrich Furbach, Albrecht Müller, Klaus Wimmer:
Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel. Kognitive Aspekte der Mensch-Computer-Interaktion 1984: 22-36 - 1983
- [b1]Ulrich Furbach:
Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen. Bundeswehr University Munich, Neubiberg, Germany, 1983, pp. 1-201
1970 – 1979
- 1978
- [c1]Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber:
Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen 1978: 97-109
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-23 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
