Furbach, Ulrich, 1948-....
Furbach, Ulrich.
Ulrich Furbach
VIAF ID: 61781667 ( Personal )
Permalink: http://viaf.org/viaf/61781667
Preferred Forms
- 200 _ | ‡a Furbach ‡b Ulrich ‡f 1948-....
-
-
- 100 1 _ ‡a Furbach, Ulrich
-
-
- 100 1 0 ‡a Furbach, Ulrich
-
- 100 1 _ ‡a Furbach, Ulrich ‡d 1948-
- 100 1 _ ‡a Furbach, Ulrich ‡d 1948-
-
- 100 1 _ ‡a Furbach, Ulrich, ‡d 1948-....
-
- 100 0 _ ‡a Ulrich Furbach
4xx's: Alternate Name Forms (7)
5xx's: Related Names (1)
- 551 _ _ ‡a Koblenz ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Abstracts of the Workshop "Massively Parallel Inference Systems" December 17 - 18, 1990 | |
Applications of automated reasoning | |
Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings | |
Campus news - an intelligent bluetooth based mobile information network | |
The combination of functional and logic programming languages | |
Computational Logic — CL 2000 : First International Conference London, UK, July 24–28, 2000 Proceedings | |
Deduction 28.02.1999 - 05.03.1999 | |
A different look at artificial intelligence on tour with Bergson, Proust and Nabokov | |
Equations, order-sortedness and inheritance in logic programming | |
ESPRIT project 973 ALPES a programming environment for logic programming | |
Extended unification and its implementation | |
Formierung eines Forschungsgebiets - Künstliche Intelligenz und Intellektik an der Technischen Universität München | |
Horn clause logic in a functional environment | |
Hyper tableaux with equality | |
IRobot-uMan : künstliche Intelligenz und Kultur : eine jahrtausendealte Beziehungskiste | |
KI 2005 | |
KI 2005 : advances in artificial intelligence : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005 : proceedings | |
Knowledge compilation for description logics | |
Künstliche Intelligenz aus ungewohnten Perspektiven ein Rundgang mit Bergson, Proust und Nabokov | |
Linear paramodulation modulo equality | |
Location based informationsystems | |
Logic programming and nonmonotonic reasoning, 1997: | |
Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings | |
Logische und funktionale Programmierung Grundlagen einer Kombination | |
Multi-agent systems modeling and verification using hybrid automata | |
Rigorous derivation of a sophisticated algorithm: smoothsort | |
Semantically guided evolution of SHI ABoxes | |
Splitting as a source of parallelism in disjunctive logic programs | |
Transformation systems for program synthesis Knuth-Bendix completion and fold/unfold | |
Über Transformationsregeln für nichtdeterministische rekursive Funktionsdefinitionen | |
Wissen - Wissensrepräsentation Workshop München, März 1986 | |
Wissensrepräsentation in künstlichen symbolverarbeitenden Systemen | |
Workshop Verification, Construction, and Synthesis of Programs April 6 and 7, 1989 in Karlsruhe |