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: S
Number of items at this level: 4.

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 Apr 18 04:56:12 2014 EST.