S. J. Rosenschein and L. P. Kaelbling. 1986. The synthesis of digital Bratman, Israel, and Pollack 29 machines with provable epistemic properties. In Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, California. Pages 83-98.  Home/Search   Document Not in Database   Summary   Related Articles

....interest in the AI community in the problem of real time behavior, which has, in turn, led to a concern with the challenge of resource boundedness. One strategy has involved the use of knowledge compilation techniques to do away with explicit symbol manipulation at execution time (Brooks 1986; Rosenschein and Kaelbling 1986). A second line of research has studied the application of decision analytic techniques to meta level reasoning (Horvitz et al. 1988; Russell and Wefeld 1989) Finally, there have been a number of complete systems actually implemented, systems that are capable of performing real time behavior in ....

S. J. Rosenschein and L. P. Kaelbling. 1986. The synthesis of digital Bratman, Israel, and Pollack 29 machines with provable epistemic properties. In Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, California. Pages 83-98.

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