Thomas Polacsek

Learn More
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables us to represent incomplete knowledge, nondeterministic actions, observations, sensing actions and conditional plans; it also enables a logical expression of several frequently(More)
The problem of the management of the systems' complexity is followed today by the problem of the increasing complexity of models. Despite recent significant advances in the design of models, it is clear that current solutions remain inoperative in the case of complex models, both heterogeneous and with multi business dimensions. After a state of the art of(More)
RÉSUMÉ. Aujourd'hui, face à la massification des échanges, il devient crucial de disposer au sein des Systèmes d'Information de règles qui régissent la diffusion de l'information entre les différents partenaires, c'est-à-dire d'une politique d'échange d'informations. Le but de cette approche est de fournir, dès les phases de conception, un outil qui aide(More)