Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

GEM: A Tool for Concurrency Specification and Verification., and . PODC, page 198-212. ACM, (1983)Localized Representation and Planning Methods for Parallel Domains., and . AAAI, page 240-245. Morgan Kaufmann, (1987)Scope and Abstraction: Two Criteria for Localized Planning., and . IJCAI, page 1612-1619. Morgan Kaufmann, (1995)A Procedural Logic., , and . IJCAI, page 516-523. Morgan Kaufmann, (1985)Action-based Planning.. AIPS, page 110-115. AAAI, (1994)AI-Based Planning for Data Analysis., and . IEEE Expert, 9 (1): 21-27 (1994)Specification and analysis of concurrency.. Stanford University, USA, (1984)Localized Search for Multiagent Planning.. IJCAI, page 252-258. Morgan Kaufmann, (1991)Localized event-based reasoning for multiagent domains.. Comput. Intell., (1988)Reactive Reasoning and Planning., and . AAAI, page 677-682. Morgan Kaufmann, (1987)