Ulrich Furbach

147 papers A* 2A 9B 12C 1Misc 5Journal 63Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Artificial Intelligence: Steering Tomorrow. Künstliche Intell. Ulrike Barthelmeß, Ulrich Furbach
2024	—	`ch.`	Einführung. Künstliche Intelligenz für Lehrkräfte Ulrich Furbach, Ute Schmid
2024	J	`jnl`	In memoriam: Christian Freksa (1950-2020). Spatial Cogn. Comput. Thomas Barkowsky, Thora Tenbrink, Peter Haddawy, Ulrich Furbach
2024	—	`book`	Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen Künstliche Intelligenz für Lehrkräfte Ulrich Furbach, Emanuel Kitzelmann, Tilman Michaeli, Ute Schmid
2024	—	`ch.`	Schließen aus Wissen. Künstliche Intelligenz für Lehrkräfte Ulrich Furbach, Christoph Benzmüller
2024	—	`ch.`	Wechselwirkungen von KI mit anderen Schulfächern. Künstliche Intelligenz für Lehrkräfte Ulrike Barthelmeß, Ulrich Furbach, Uwe Lorenz
2023	—	`book`	A Different Look at Artificial Intelligence - On Tour with Bergson, Proust and Nabokov Ulrike Barthelmeß, Ulrich Furbach
2023	J	`jnl`	In Memory of Steffen Hölldobler: From Logic to Formal and Cognitive Reasoning. Künstliche Intell. Meghna Bhadra, Ulrich Furbach
2022	J	`jnl`	Modeling Associative Reasoning Processes. CoRR Claudia Schon, Ulrich Furbach, Marco Ragni
2021	J	`jnl`	Consciousness: Just Another Technique? Künstliche Intell. Ulrike Barthelmeß, Ulrich Furbach
2021	J	`jnl`	Künstliche Intelligenz, quo vadis? CoRR Ulrike Barthelmeß, Ulrich Furbach
2020	—	`ed.`	Computational Intelligence in Data Science - Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20-22, 2020, Revised Selected Papers ICCIDS Aravindan Chandrabose, Ulrich Furbach, Ashish Ghosh, Anand Kumar M
2020	—	`conf`	Consciousness and Automated Reasoning. FCR@KI Ulrike Barthelmeß, Claudia Schon, Ulrich Furbach
2020	J	`jnl`	Consciousness and Automated Reasoning. CoRR Ulrike Barthelmeß, Ulrich Furbach, Claudia Schon
2020	J	`jnl`	Formation of a Research Discipline Artificial Intelligence and Intellectics at the Technical University of Munich. Künstliche Intell. Wolfgang Bibel, Ulrich Furbach
2019	J	`jnl`	Cognitive Reasoning: A Personal View. Künstliche Intell. Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon, Frieder Stolzenburg
2019	J	`jnl`	Interview with Professor Hector Levesque, University of Toronto. Künstliche Intell. Ulrich Furbach
2019	—	`ed.`	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. LaCATODA/BtG@IJCAI Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Rafal Rzepka, Claudia Schon, Jordi Vallverdú, Andre Wlodarczyk
2019	A	`conf`	Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. CADE Ulrich Furbach, Teresa Krämer, Claudia Schon
2017	—	`ed.`	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. Bridging@CogSci Claudia Schon, Ulrich Furbach
2017	B	`conf`	Workshop: Bridging the Gap: Is Logic and Automated Reasoning a Foundation for Human Reasoning? CogSci Ulrich Furbach, Steffen Hölldobler, Marco Ragni, Claudia Schon
2016	—	`conf`	Commonsense Reasoning Meets Theorem Proving. Bridging@IJCAI Ulrich Furbach, Claudia Schon
2016	—	`conf`	Commonsense Reasoning Meets Theorem Proving. MATES Ulrich Furbach, Claudia Schon
2016	—	`conf`	Commonsense Reasoning meets Theorem Proving. URANIA@AI*IA Ulrich Furbach, Claudia Schon
2016	—	`ed.`	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. Bridging@IJCAI Claudia Schon, Ulrich Furbach
2016	—	`conf`	Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. Bridging@IJCAI Ulrich Furbach, Florian Furbach, Christian Freksa
2016	J	`jnl`	Relating Strong Spatial Cognition to Symbolic Problem Solving - An Example. CoRR Ulrich Furbach, Florian Furbach, Christian Freksa
2015	J	`jnl`	Automated Reasoning for Robot Ethics. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2015	A	`conf`	Automated Reasoning in the Wild. CADE Ulrich Furbach, Björn Pelzer, Claudia Schon
2015	—	`conf`	Deontic Logic for Human Reasoning. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Ulrich Furbach, Claudia Schon
2015	—	`conf`	On First-Order Model-Based Reasoning. Logic, Rewriting, and Concurrency Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
2015	J	`jnl`	On First-Order Model-Based Reasoning. CoRR Maria Paola Bonacina, Ulrich Furbach, Viorica Sofronie-Stokkermans
2015	—	`ed.`	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. Bridging@CADE Ulrich Furbach, Claudia Schon
2015	—	`conf`	Tackling Benchmark Problems of Commonsense Reasoning. Bridging@CADE Ulrich Furbach, Andrew S. Gordon, Claudia Schon
2015	J	`jnl`	The RatioLog Project - Rational Extensions of Logical Reasoning. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2015	J	`jnl`	The RatioLog Project: Rational Extensions of Logical Reasoning. Künstliche Intell. Ulrich Furbach, Claudia Schon, Frieder Stolzenburg, Karl-Heinz Weis, Claus-Peter Wirth
2014	—	`conf`	Automated Reasoning in Deontic Logic. MIWAI Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014	J	`jnl`	Automated Reasoning in Deontic Logic. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014	J	`jnl`	Cognitive Systems and Question Answering. CoRR Ulrich Furbach, Claudia Schon, Frieder Stolzenburg
2014	J	`jnl`	Deontic Logic for Human Reasoning. CoRR Ulrich Furbach, Claudia Schon
2014	J	`jnl`	Do we need Asimov's Laws? CoRR Ulrike Barthelmess, Ulrich Furbach
2014	J	`jnl`	Representation and Reasoning [Guest editor's introduction]. IEEE Intell. Syst. Ulrich Furbach
2014	J	`jnl`	Semantically Guided Evolution of SHI ABoxes. CoRR Ulrich Furbach, Claudia Schon
2013	—	`conf`	Do we need Asimov's Laws? GI-Jahrestagung Ulrike Barthelmess, Ulrich Furbach
2013	—	`conf`	NUI-Based Floor Navigation - A Case Study. HCI (11) Ulrich Furbach, Markus Maron
2013	B	`conf`	Semantically Guided Evolution of ABoxes. TABLEAUX Ulrich Furbach, Claudia Schon
2012	—	`book`	IRobot - uMan - Künstliche Intelligenz und Kultur: eine jahrtausendealte Beziehungskiste. Ulrike Barthelmeß, Ulrich Furbach
2012	J	`jnl`	Neue Medien? - Neue Uni! Künstliche Intell. Ulrich Furbach
2012	J	`jnl`	Turing und Künstliche Intelligenz. Inform. Spektrum Ulrich Furbach
2011	A*	`conf`	A Natural Language Question Answering System as a Participant in Human Q&A Portals. IJCAI Tiansi Dong, Ulrich Furbach, Ingo Glöckner, Björn Pelzer
2011	B	`conf`	First-Order Tableaux in Applications (Extended Abstract). TABLEAUX Ulrich Furbach
2011	J	`jnl`	Künstliche Intelligenz. Inform. Spektrum Ulrich Furbach
2011	—	`conf`	MAS: Qualitative and Quantitative Reasoning. ProMAS Ammar Mohammed, Ulrich Furbach
2011	J	`jnl`	Vom Schmuddelkind zum Fachbereich. Künstliche Intell. Hans-Jürgen Bürckert, Ulrich Furbach
2010	J	`jnl`	An application of automated reasoning in natural language question answering. AI Commun. Ulrich Furbach, Ingo Glöckner, Björn Pelzer
2010	—	`conf`	Extending CTL to Specify Quantitative Temporal Requirements. MSVVEIS Ammar Mohammed, Ulrich Furbach
2010	J	`jnl`	Logic-Based Question Answering. Künstliche Intell. Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
2010	J	`jnl`	The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. J. Log. Comput. Peter Baumgartner, Ulrich Furbach, Björn Pelzer
2009	Misc	`conf`	A Knowledge Compilation Technique for ALC Tboxes. FLAIRS Ulrich Furbach, Heiko Günther, Claudia Obermaier
2009	—	`conf`	From Reactive to Deliberative Multi-agent Planning. MSVVEIS Ammar Mohammed, Ulrich Furbach
2009	—	`conf`	Multi-Agent Systems: Modeling and Verification Using Hybrid Automata. PROMAS Ammar Mohammed, Ulrich Furbach
2008	J	`jnl`	Editorial. Künstliche Intell. Ulrich Furbach
2008	J	`jnl`	IJCAR Preface. J. Autom. Reason. Ulrich Furbach
2008	A	`conf`	LogAnswer - A Deduction-Based Question Answering System (System Description). IJCAR Ulrich Furbach, Ingo Glöckner, Hermann Helbig, Björn Pelzer
2008	—	`conf`	Modeling Multi-agent Logistic Process System using Hybrid Automata. MSVVEIS Ammar Mohammed, Ulrich Furbach
2007	—	`conf`	CAMPUS NEWS - an Information Network for Pervasive Universities. GI Jahrestagung (1) Ulrich Furbach, Markus Maron, Kevin Read
2007	—	`conf`	Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. PROMAS Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
2007	A	`conf`	Hyper Tableaux with Equality. CADE Peter Baumgartner, Ulrich Furbach, Björn Pelzer
2007	—	`conf`	Knowledge Compilation for Description Logics. KESE Ulrich Furbach, Claudia Obermaier
2007	J	`jnl`	Location based Informationsystems. Künstliche Intell. Ulrich Furbach, Markus Maron, Kevin Read
2007	C	`conf`	Model Checking Hybrid Multiagent Systems for the RoboCup. RoboCup Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
2007	—	`conf`	Workshop Summary: Artificial Intelligence Methods for Ambient Intelligence. AmI Workshops Ralph Bergmann, Klaus-Dieter Althoff, Ulrich Furbach, Klaus Schmid
2006	Misc	`conf`	Applications of Automated Reasoning. KI Ulrich Furbach, Claudia Obermaier
2006	A	`ed.`	Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings IJCAR Ulrich Furbach, Natarajan Shankar
2005	J	`jnl`	Automated Reasoning, Knowledge Representation and Management. Künstliche Intell. Peter Baumgartner, Ulrich Furbach, Adnan H. Yahya
2005	Misc	`ed.`	KI 2005: Advances in Artificial Intelligence, 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings KI Ulrich Furbach
2005	—	`conf`	Living Books, Automated Deduction and Other Strange Things. Mechanizing Mathematical Reasoning Peter Baumgartner, Ulrich Furbach
2004	J	`jnl`	Living Book - Deduction, Slicing, and Interaction. J. Autom. Reason. Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
2004	Misc	`conf`	Model Based Deduction for Database Schema Reasoning. KI Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
2004	—	`conf`	Optimizing the Evaluation of XPath Using Description Logics. INAP/WLP Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Thomas Kleemann
2003	A	`conf`	'Living Book': -'Deduction', 'Slicing', 'Interaction'. CADE Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt, Alex Sinner
2003	J	`jnl`	AI--A multiple book review. Artif. Intell. Ulrich Furbach
2003	J	`jnl`	Automated Deduction Techniques for the Management of Personalized Documents. Ann. Math. Artif. Intell. Peter Baumgartner, Ulrich Furbach
2003	B	`conf`	Automatic Classification for the Identification of Relationships in a Meta-Data Repository. Discovery Science Gerd Beuster, Ulrich Furbach, Margret Groß-Hardt, Bernd Thomas
2003	—	`conf`	Living Books. Wirtschaftsinformatik (1) Peter Baumgartner, Ulrich Furbach, Margret Groß-Hardt
2002	J	`jnl`	Wissenssysteme aus der Sicht der Inferenz. Künstliche Intell. Ulrich Furbach
2001	J	`jnl`	Jahresbericht 2000 des FB1 der GI. Künstliche Intell. Ulrich Furbach
2001	—	`ch.`	Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. Handbook of Automated Reasoning Jürgen Dix, Ulrich Furbach, Ilkka Niemelä
2000	—	`conf`	A Confluent Connection Calculus. Intellectics and Computational Logic Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
2000	—	`ed.`	Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings CL John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey
2000	J	`jnl`	Intelligente Agenten und KI. LOG IN Ulrich Furbach, Oliver Obst, Frieder Stolzenburg
2000	J	`jnl`	Jahresbericht 1999 des Sprechers des FB1 der GI. Künstliche Intell. Ulrich Furbach
1999	A	`conf`	A Confluent Connection Calculus. CADE Peter Baumgartner, Norbert Eisinger, Ulrich Furbach
1999	J	`jnl`	Kommentare zum Diskussionsbeitrag "Die militärische Seite der KI". Künstliche Intell. Thomas Christaller, Ulrich Furbach, Reinhard Keil-Slawik, Bernd Neumann, Franz Josef Radermacher
1998	J	`jnl`	Automated Deduction: a Technological Point of View. Künstliche Intell. Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
1998	B	`conf`	Disjunctive Logic Program = Horn Program + Control Program. JELIA Wenjin Lu, Ulrich Furbach
1998	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings JELIA Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach
1997	B	`conf`	Calculi for Disjunctive Logic Programming. ICLP Peter Baumgartner, Ulrich Furbach
1997	—	`conf`	Calculi for Disjunctive Logic Programming. ILPS Peter Baumgartner, Ulrich Furbach
1997	J	`jnl`	Computing Answers with Model Elimination. Artif. Intell. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
1997	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings LPNMR Jürgen Dix, Ulrich Furbach, Anil Nerode
1997	—	`conf`	Semantically Guided Theorem Proving for Diagnosis Applications. IJCAI (1) Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
1997	B	`conf`	Tableaux for Diagnosis Applications. TABLEAUX Peter Baumgartner, Peter Fröhlich, Ulrich Furbach, Wolfgang Nejdl
1996	J	`jnl`	Deduktion und Logisches Programmieren. Künstliche Intell. Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Dorothea Schäfer, Frieder Stolzenburg
1996	—	`conf`	Hyper Tableaux and Disjunctive Logic Programming. DDLP Peter Baumgartner, Ulrich Furbach
1996	B	`conf`	Hyper Tableaux. JELIA Peter Baumgartner, Ulrich Furbach, Ilkka Niemelä
1996	J	`jnl`	Logisches Programmieren mit Negation und Disjunktion. Künstliche Intell. Jürgen Dix, Ulrich Furbach
1996	—	`conf`	On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). JICSLP Chandrabose Aravindan, Peter Baumgartner, Jürgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemelä, Dorothea Schäfer, Frieder Stolzenburg
1995	—	`conf`	From Theorem Proving to Logic Programming. WLP Ulrich Furbach
1995	J	`jnl`	Ist die Wissensrepräsentation tot? Künstliche Intell. Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
1995	A*	`conf`	Model Elimination, Logic Programming and Computing Answers. IJCAI Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg
1994	J	`jnl`	Model Elimination Without Contrapositives and Its Application to PTTP. J. Autom. Reason. Peter Baumgartner, Ulrich Furbach
1994	A	`conf`	Model Elimination Without Contrapositives. CADE Peter Baumgartner, Ulrich Furbach
1994	A	`conf`	PROTEIN: A PROver with a Theory Extension INterface. CADE Peter Baumgartner, Ulrich Furbach
1994	—	`conf`	Theory Reasoning in First Order Calculi. IS/KI Ulrich Furbach
1993	J	`jnl`	Consolution as a Framework for Comparing Calculi. J. Symb. Comput. Peter Baumgartner, Ulrich Furbach
1993	J	`jnl`	Formal specification methods for reactive systems. J. Syst. Softw. Ulrich Furbach
1992	B	`conf`	Computing Answers for Disjunctive Logic Programs. JELIA Ulrich Furbach
1992	B	`conf`	Consolution as a Framework for Comparing Calculi. TABLEAUX Peter Baumgartner, Ulrich Furbach
1992	J	`jnl`	ILPS'91 - International Logic Programming Syposium. Künstliche Intell. Ulrich Furbach
1992	J	`jnl`	Logik, KI und Intellektik. Künstliche Intell. Wolfgang Bibel, Ulrich Furbach
1991	J	`jnl`	Answers for disjunctive logic programs Forschungsberichte, TU Munich Ulrich Furbach
1991	—	`conf`	Answers for disjunctive logic programs. GWAI Ulrich Furbach
1991	—	`book`	Logische und funktionale Programmierung - Grundlagen einer Kombination. Ulrich Furbach
1991	J	`jnl`	Splitting as a source of parallelism in disjunctive logic programs Forschungsberichte, TU Munich Ulrich Furbach
1991	J	`jnl`	Workshop on "Massively Parallel Inference Systems". Künstliche Intell. Ulrich Furbach, Walter Hower
1990	J	`jnl`	Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme". Künstliche Intell. Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke
1989	—	`conf`	ALPES: A Programming Environment for Logic Programming. Wissensbasierte Systeme Bertram Fronhöfer, Ulrich Furbach
1989	J	`jnl`	Ein Konstanzer Prolog-Workshop. Künstliche Intell. Alexander Bockmayr, Klaus Estenfeld, Ulrich Furbach, Claus Jäkel
1989	J	`jnl`	Equations, order-sortedness and inheritance in logic programming Forschungsberichte, TU Munich Ulrich Furbach, Steffen Hölldobler
1989	J	`jnl`	Horn Equational Theories and Paramodulation. J. Autom. Reason. Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
1989	—	`conf`	Linear Paramodulation modulo Equality. GWAI Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
1989	J	`jnl`	Linear paramodulation modulo equality Forschungsberichte, TU Munich Ulrich Furbach, Steffen Hölldobler, Joachim F. Schreiber
1988	J	`jnl`	FHCL - functions in Horn Clause logic Forschungsberichte, TU Munich Ulrich Furbach, Steffen Hölldobler
1988	J	`jnl`	Sorts are nothing but functions: an equational approach to sorts for logic programming Forschungsberichte, TU Munich Thierry Conrad, Ulrich Furbach
1988	J	`jnl`	Transformation systems for program synthesis: Knuth-Bendix completion and fold/unfold Forschungsberichte, TU Munich Bertram Fronhöfer, Ulrich Furbach
1988	J	`jnl`	Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen Forschungsberichte, TU Munich Ulrich Furbach, Christian Freksa, Gerhard Dirlich
1987	—	`conf`	Oldy but Goody Paramodulation Revisited. GWAI Ulrich Furbach
1986	—	`conf`	Knuth-Bendix Completion versus Fold/Unfold: a Comparative Study in Program Synthesis. GWAI Bertram Fronhöfer, Ulrich Furbach
1986	J	`jnl`	Modelling the Combination of Functional and Logic Programming Languages. J. Symb. Comput. Ulrich Furbach, Steffen Hölldobler
1986	—	`conf`	Wissensrepräsentation und Programmiersprachen. Wissensarten und ihre Darstellung Ulrich Furbach
1985	—	`conf`	Extended Unification and its Implementation. GWAI Steffen Hölldobler, Ulrich Furbach, Thomas Laußermair
1984	—	`conf`	Cognition and Representation - An Overview of Knowledge Reprensentation Issues in Cognitive Science. GWAI Christian Freksa, Ulrich Furbach, Gerhard Dirlich
1984	—	`conf`	Computerunterstützte Planung von Ferienreisen ein fiktiven Beispiel. Kognitive Aspekte der Mensch-Computer-Interaktion Gerhard Dirlich, Helmut von Benda, Christian Freksa, Ulrich Furbach, Albrecht Müller, Klaus Wimmer
1984	Misc	`conf`	Towards a Theory of Knowledge Representation Systems. AIMSA Ulrich Furbach, Gerhard Dirlich, Christian Freksa
1983	—	`—`	Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen. Ulrich Furbach
1978	—	`conf`	Strategies for the synthesis of algorithms. Fachtagung über Programmiersprachen Wolfgang Bibel, Ulrich Furbach, Joachim F. Schreiber