Items where Subject is "08 INFORMATION AND COMPUTING SCIENCES > 0802 Computation Theory and Mathematics > 080203 Computational Logic and Formal Languages"
 | Up a level |
- Fields of Research
- 08 INFORMATION AND COMPUTING SCIENCES
- 0802 Computation Theory and Mathematics
- 080203 Computational Logic and Formal Languages
- 0802 Computation Theory and Mathematics
- 08 INFORMATION AND COMPUTING SCIENCES
Group by: Creators | Item Type
Jump to: Conference Item
Number of items at this level: 2.
Conference Item
Song, Insu, Governatori, Guido, and Diederich, Joachim (2010) Automatic synthesis of reactive agents. Proceedings of the 11th International Conference on Control Automation Robotics and Vision 11th International Conference on Control Automation Robotics and Vision (ICARCV 2010). , 7-10 December 2010, Singapore.
Song, Insu, Governatori, Guido, and Diederich, Joachim (2010) Layered argumentation for fuzzy automation controllers. Proceedings of the 2010 IEEE Conference on Cybernetics and Intelligent Systems 2010 IEEE Conference on Cybernetics and Intelligent Systems (CIS 2010). , 20-30 June 2010, Grand Copthorne Waterfront Hotel, Singapore.