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.

 

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

A Heuristic Search Approach to Planning with Temporally Extended Preferences., , и . IJCAI, стр. 1808-1815. (2007)Numeric Planning via Abstraction and Policy Guided Search., и . IJCAI, стр. 4338-4345. ijcai.org, (2017)Practical Partition-Based Theorem Proving for Large Knowledge Bases., , , и . IJCAI, стр. 89-98. Morgan Kaufmann, (2003)Monitoring and diagnosing software requirements., , , и . Autom. Softw. Eng., 16 (1): 3-35 (2009)Improving the Efficiency of Reasoning Through Structure-Based Reformulation., и . SARA, том 1864 из Lecture Notes in Computer Science, стр. 247-259. Springer, (2000)A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base., , , , и . FOIS, том 209 из Frontiers in Artificial Intelligence and Applications, стр. 158-171. IOS Press, (2010)An automated approach to monitoring and diagnosing requirements., , , и . ASE, стр. 293-302. ACM, (2007)Planning the transformation of overlays., , , , и . SAC, стр. 500-507. ACM, (2016)Simulation, verification and automated composition of web services., и . WWW, стр. 77-88. ACM, (2002)Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net, , , , и . CoRR, (2013)