Paweł Kapłański - Profil naukowy - MOST Wiedzy



Wybrane publikacje

  • Automated Reasoning Based User Interface


    Motivation: The ability to directly trace how requirements are implemented in a software system is crucial in domains that require a high level of trust (e.g. medicine, law, crisis management). This paper describes an approach that allows a high level of traceability to be achieved with model-driven engineering supported by automated reasoning. The paper gives an introduction to the novel, automated user interface synthesis in...

    Pełny tekst w serwisie zewnętrznym

  • High-Level Model for the Design of KPIs for Smart Cities Systems

    The main goal of the paper is to build a high-level model for the design of KPIs. Currently, the development and processes of cities have been checked by KPI indicators. The authors realized that there is a limited usability of KPIs for both the users and IT specialists who are preparing them. Another observation was that the process of the implementation of Smart Cities systems is very complicated. Due to this the concept of a...

    Pełny tekst w serwisie zewnętrznym

  • Cognitum Ontorion: Knowledge Representation and Reasoning System

    At any point of human activity, knowledge and expertise are a key factors in understanding and solving any given problem. In present days, computer systems have the ability to support their users in an efficient and reliable way in gathering and processing knowledge. In this chapter we show how to use Cognitum Ontorion system in this areas. In first section, we identify emerging issues focused on how to represent and inference...

    Pełny tekst w serwisie zewnętrznym

wyświetlono 128 razy