Items where Subject is "08 INFORMATION AND COMPUTING SCIENCES > 0802 Computation Theory and Mathematics > 080203 Computational Logic and Formal Languages"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type
Jump to: D | S
Number of items at this level: 5.

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), 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 .

This list was generated on Fri May 22 22:54:24 2015 EST.