Languages
Thielscher, Michael.
Overview
| Works: | 3 works in 2 publications in 1 languages | |
|---|---|---|
Titles
KI 2014: Advances in Artificial Intelligence = 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings /
by:
Lutz, Carsten.; Thielscher, Michael.; SpringerLink (Online service)
(Electronic resources)
Challenges for action theories
by:
SpringerLink (Online service); Thielscher, Michael.
(Language materials, printed)
AI 2012 = advances in artificial intelligence : 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012 : proceedings /
by:
Thielscher, Michael.; SpringerLink (Online service); Zhang, Dongmo.
(Electronic resources)
Reasoning Robots = The Art and Science of Programming Robotic Agents /
by:
SpringerLink (Online service); Thielscher, Michael.
(Language materials, printed)
Subjects
Calculus- Computer programs.
Philosophy.
Philosophy of Technology.
Computer logic.
Artificial intelligence
Image Processing and Computer Vision.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computation by Abstract Devices.
Robots- Programming.
Programming languages (Electronic computers)
Formal methods (Computer science)
Information Storage and Retrieval.
User Interfaces and Human Computer Interaction.
Autonomous robots.
Computer Science.
Simulation and Modeling.
Intelligent agents (Computer software)
System design.