Author of the publication

Linear temporal logic as an executable semantics for planning languages.

, , , and . J. Log. Lang. Inf., 16 (1): 63-89 (2007)

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

Pdk: The System and Its Language., , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 307-311. Springer, (2005)Optimal Planning with ACO., , , and . AI*IA, volume 5883 of Lecture Notes in Computer Science, page 212-221. Springer, (2009)Planning with Fuzzy Resources., , and . AI*IA, volume 2829 of Lecture Notes in Computer Science, page 336-348. Springer, (2003)Goal Directed Web Services., , and . AWIC, volume 3528 of Lecture Notes in Computer Science, page 306-312. Springer, (2005)Smart caching in a Data Lake for High Energy Physics analysis., , , , , , and . CoRR, (2022)A multivalued planning model., , , and . Int. J. Artif. Intell. Soft Comput., 1 (2/3/4): 188-212 (2009)Black-Box Attacks on Image Activity Prediction and its Natural Language Explanations., , and . ICCV (Workshops), page 3688-3697. IEEE, (2023)Self regulating mechanisms for network immunization., , , and . AI Commun., 29 (2): 301-317 (2016)A Proposal for Planning with Graded Fluents and Actions., , , and . Intelligenza Artificiale, 2 (4): 66-73 (2005)Planning with Uncertain Resources., , and . IC-AI, page 592-597. CSREA Press, (2003)