From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis., , и . HSCC, том 2289 из Lecture Notes in Computer Science, стр. 225-238. Springer, (2002)An Architecture for Hybrid Planning and Execution., , , , и . AAAI Workshop: Planning for Hybrid Systems, том WS-16-12 из AAAI Technical Report, AAAI Press, (2016)978-1-57735-759-9.Plan Libraries for Plan Recognition: Do We Really Know What They Model?, , и . Plan, Activity, and Intent Recognition, том WS-10-05 из AAAI Technical Report, AAAI, (2010)Applications of Model Checking at Honeywell Laboratories., , , , и . SPIN, том 2057 из Lecture Notes in Computer Science, стр. 296-303. Springer, (2001)Conditional Linear Planning., и . AIPS, стр. 80-85. AAAI, (1994)A Logic for Semantic Interpretation., и . ACL, стр. 87-94. ACL, (1988)Dynamic construction of belief networks., и . UAI, стр. 171-184. Elsevier, (1990)Collaborative Filtering for Community Threats., , , и . AAAI Spring Symposium: AI Technologies for Homeland Security, стр. 130-132. AAAI, (2005)A Constraint-Based Scheduler for Batch Manufacturing., и . IEEE Expert, 12 (1): 49-56 (1997)A Probabilistic Model of Plan Recognition., и . AAAI, стр. 160-165. AAAI Press / The MIT Press, (1991)