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)
Modular approaches (objects, components and service-based) offer efficient solutions to face the complexity of Information Systems. However, today they involve major problems in dealing with data/information and decisionmaking (from the standpoint of the end-user). In this article, we aim to initiate a dialogue between digital/interaction design and(More)
The paper introduces a framework whereby arguments put forward in a discussion concerning a specific decision can be graphically represented as a directed graph and analysed according to different decision procedures. The intended benefits of the proposed framework are to support a decision manager in the light of the experts' arguments and to record the(More)
Today, with the intensification of information exchange, it becomes crucial to provide, in information systems, rules for the dissemination of information between partners, ie an information exchange policy. The aim of this approach is to have, from the design phase, a tool that helps the user to define the policy. We therefore propose to use constraint(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)