Thielscher, Michael.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Reasoning Robots :The Art and Science of Programming Robotic Agents /
by:
Thielscher, Michael.
(Electronic resources)
KI 2014: Advances in Artificial Intelligence37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
by:
(1998 :); Lutz, Carsten.; SpringerLink (Online service); Thielscher, Michael.
(Language materials, printed)
Challenges for action theories
by:
SpringerLink (Online service); Thielscher, Michael.
(Electronic resources)
Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers /
by:
(1998 :); Fisher, Michael.; Sadri, Fariba.; SpringerLink (Online service); Thielscher, Michael.
(Electronic resources)
AI 2012advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
(1998 :); SpringerLink (Online service); Thielscher, Michael.; Zhang, Dongmo.
(Electronic resources)
Subjects
Artificial intelligence
Mathematical Logic and Formal Languages.
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Computer logic.
Image Processing and Computer Vision.
Mathematics of Computing.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Philosophy of Technology
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Formal methods (Computer science)
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Models and Principles.
Computer science
Computational intelligence
Programming Techniques
Philosophy
Computer Science.
Simulation and Modeling.
Intelligent agents (Computer software)
System design.