Paweł Kapłański - Publications - Bridge of Knowledge

Search

Filters

total: 38

  • Category
  • Year
  • Options

clear Chosen catalog filters disabled

Catalog Publications

Year 2017
  • Automated Reasoning Based User Interface
    Publication

    - EXPERT SYSTEMS WITH APPLICATIONS - Year 2017

    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...

    Full text to download in external service

  • Cognitum Ontorion: Knowledge Representation and Reasoning System
    Publication

    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...

    Full text to download in external service

Year 2016
Year 2015

seen 585 times