Furbach, Ulrich.
Overview
Works: | 2 works in 1 publications in 1 languages |
---|
Titles
Logics in artificial intelligenceEuropean Workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 : proceedings /
by:
(1998 :); Dix, Jurgen.; Farinas del Cerro, Luis.; Furbach, Ulrich.; SpringerLink (Online service)
(Electronic resources)
KI 2005: Advances in Artificial Intelligence :28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005, Proceedings
by:
(1998 :); Furbach, Ulrich.; SpringerLink (Online service)
(Electronic resources)
A different look at artificial intelligenceon tour with bergson, proust and nabokov /
by:
Barthelmess, Ulrike.; Furbach, Ulrich.; SpringerLink (Online service)
(Electronic resources)
Automated ReasoningThird International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /
by:
(1998 :); Furbach, Ulrich.; Shankar, Natarajan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Digital Humanities.
Logics and Meanings of Programs.
Humanities and Social Sciences.
Automatic theorem proving
Artificial Intelligence (incl. Robotics)
Computer logic
Artificial Intelligence.
Computer Science.
Logic, Symbolic and mathematical
Computers and Society.