Author of the publication

A Logic for Planning under Partial Observability.

, , , and . AAAI/IAAI, page 768-773. AAAI Press / The MIT Press, (2000)

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

Models for Visualisation of Complex Information Systems., and . IV, page 130-135. IEEE Computer Society, (2012)A process to support and to report collaborative decision.. CSCWD, page 188-193. IEEE, (2015)Validation, accreditation or certification: A new kind of diagram to provide confidence.. RCIS, page 1-8. IEEE, (2016)A framework to report and to analyse a debate., and . CSCWD, page 84-90. IEEE, (2011)Critical Information Diffusion Systems., and . ADBIS (Short Papers and Workshops), volume 539 of Communications in Computer and Information Science, page 557-566. Springer, (2015)Modéliser l'avion et son moyen de production : vers un modèle global pour de la conception simultanée., , , , and . INFORSID, page 77-92. (2017)Formal Software Verification at Model and at Source Code Levels., , and . MEDI, volume 7602 of Lecture Notes in Computer Science, page 162-169. Springer, (2012)Stroke management: defining and assigning goals to stakeholders (short paper)., and . ER (Companion), volume 3618 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)A Collaborative Model for Connecting Product Design and Assembly Line Design: An Aeronautical Case., , , , and . PoEM, volume 432 of Lecture Notes in Business Information Processing, page 267-280. Springer, (2021)Supporting Model Based Design., , , and . MEDI, volume 6918 of Lecture Notes in Computer Science, page 237-248. Springer, (2011)