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 (57443)
- 08 INFORMATION AND COMPUTING SCIENCES (811)
- 0802 Computation Theory and Mathematics (44)
- 080203 Computational Logic and Formal Languages (5)
- 0802 Computation Theory and Mathematics (44)
- 08 INFORMATION AND COMPUTING SCIENCES (811)
D
Dillon, Roberto (2014) Towards the definition of a framework and grammar for game analysis and design. International Journal of Computer and Information Technology, 3 (2). pp. 188-193.
S
Song, Insu, Governatori, Guido, and Diederich, Joachim (2010) Automatic synthesis of reactive agents. In: Proceedings of the 11th International Conference on Control Automation Robotics and Vision (1) 5707867. pp. 970-975. From: 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. In: Proceedings of the 2010 IEEE Conference on Cybernetics and Intelligent Systems. pp. 189-194. From: 2010 IEEE Conference on Cybernetics and Intelligent Systems (CIS 2010), 20-30 June 2010, Grand Copthorne Waterfront Hotel, Singapore.
Song, Insu, and Governatori, Guido (2005) Nested rules in defeasible logic. Lecture Notes in Computer Science, 3791. 204-208 .
Song, Insu, and Piggott, Pushkar (2003) Modelling message handling system. Lecture Notes in Computer Science, 2903. 53-64 .