( en | de | ru )

 

Disambiguation of "Traverso, Paolo"

Author of the publication

copydeleteadd this publication to your clipboard
Automated Planning: Theory and Practice

, , and . Elsevier, (2004)

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.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

Other publications of authors with the same name

Automating Meta-Theory Creation and System Extension., , and . AI*IA, volume 549 of Lecture Notes in Computer Science, page 48-57. Springer, (1991)Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World., , and . ATAL, volume 1037 of Lecture Notes in Computer Science, page 65-78. Springer, (1995)A dynamic logic for acting, sensing, and planning., and . J. Log. Comput., 10 (6): 787-821 (2000)Computational reflection via mechanized logical deduction., and . Int. J. Intell. Syst., 11 (5): 279-293 (1996)Change Alone is Unchanging - Continuous Context-aware Adaptation of Service-based Systems for Smart Cities and Communities.. SMARTGREENS, page IS-7. SciTePress, (2015)A Provably Correct Embedded Verifier for the Certification of Safety Critical Software., , , , , , , and . CAV, volume 1254 of Lecture Notes in Computer Science, page 202-213. Springer, (1997)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , and . SAFECOMP, volume 1516 of Lecture Notes in Computer Science, page 221-230. Springer, (1998)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , and . IJCAI, page 473-478. Morgan Kaufmann, (2001)Learning Abstract Planning Domains and Mappings to Real World Perceptions., and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 461-476. Springer, (2019)Automated composition of Web services via planning in asynchronous domains., , and . Artif. Intell., 174 (3-4): 316-361 (2010)