| L. P. Kaelbling and N. J. Wilson. Rex programmer's manual. Technical Report 381R, Artificial Intelligence Center, SRI International, Menlo Park, California, 1988. |
....in some cases with a determinization operator applied as the last step, after the output relation has been composed by applying operations like union, intersection, and restriction to primitive relations. The base level relations can be represented either enumeratively or in more compact form. Rex [4, 8] is a language for specifying action mappings (as well as machines with internal state) as abstract circuit descriptions. Rex served as a substrate for Gapps [5, 7] which takes a symbolic specification of an action mapping and compiles it into fixed runtime circuitry. A Gapps program consists of ....
L. P. Kaelbling and N. J. Wilson. Rex programmer's manual. Technical Report 381R, Artificial Intelligence Center, SRI International, Menlo Park, California, 1988.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC