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

A Constraint-Based Scheduler for Batch Manufacturing., and . IEEE Expert, 12 (1): 49-56 (1997)Intentions in Communication: A Review.. AI Magazine, 12 (4): 92-96 (1991)From knowledge bases to decision models., , and . Knowledge Eng. Review, 7 (1): 35-53 (1992)Collaborative Filtering for Community Threats., , , and . AAAI Spring Symposium: AI Technologies for Homeland Security, page 130-132. AAAI, (2005)A New Model of Plan Recognition, , and . CoRR, (2013)Textual data mining of service center call records., , , and . KDD, page 417-423. ACM, (2000)Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis., , and . HSCC, volume 2289 of Lecture Notes in Computer Science, page 225-238. Springer, (2002)Applications of Model Checking at Honeywell Laboratories., , , , and . SPIN, volume 2057 of Lecture Notes in Computer Science, page 296-303. Springer, (2001)A Logic for Semantic Interpretation., and . ACL, page 87-94. ACL, (1988)Conditional Linear Planning., and . AIPS, page 80-85. AAAI, (1994)