Search results for: MODULAR REASONING

• Thinking & Reasoning

  Journals

  ISSN: 1354-6783 , eISSN: 1464-0708

• Reasoning about trust in IT infrastructures

  Publication

  • J. Górski
  • M. Zagórski

  - Year 2005

  W artykule zaprezentowano metodę pozwalającą na ilościowe określenie poziomu zaufania do systemu TI.

• Contextual approach to reasoning with rules

  Publication

  • A. Waloszek
  • W. Waloszek

  - Year 2015

  In the paper we present a method of reasoning with Horn rules within a contextual framework. We show that by proper use of a structure of contexts we can obtain partial OWA compliance with no necessity of extending the syntax of underlying Description Logics.

  Full text to download in external service

• Automated Reasoning Based User Interface

  Publication

  • P. Kapłański
  • A. Seganti
  • K. Cieśliński
  • A. Chrabrowa
  • I. Ługowska

  - 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

• Concrete-domain reasoning techniques in knowledge cartography

  Publication

  • K. Goczyła
  • A. Waloszek
  • W. Waloszek

  - Year 2006

  Wiele zjawisk w świecie rzeczywistym opisujemy korzystając z liczb i symboli. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne przetwarzanie baz wiedzy zwierających dużą liczbę osobników. Niniejszy artykuł przedstawia rozszerzenie podejścia kartograficznego pozwalające na wnioskowanie z wartości symbolicznych,...

• Cognitum Ontorion: Knowledge Representation and Reasoning System

  Publication

  • P. Kapłański
  • P. Weichbroth

  - Year 2017

  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

• Cognitum Ontorion: Knowledge Representation and Reasoning System

  Publication

  • P. Kapłański
  • P. Weichbroth

  - Year 2015

  “If knowledge can create problems, it is not through ignorance that we can solve them.” (Isaac Asimov). Nevertheless, at any point of human activity, knowledge (besides practice) is a key factor in understanding and solving any given problem. Nowadays, computer systems have the ability to support their users in an efficient and reliable way. In this paper we present and describe the functionality of the Cognitum Ontorion system....

  Full text to download in external service

• Journal of Formalized Reasoning

  Journals

  ISSN: 1972-5787

• Logic, Argumentation and Reasoning

  Journals

  ISSN: 2214-9120 , eISSN: 2214-9139

• JOURNAL OF AUTOMATED REASONING

  Journals

  ISSN: 0168-7433 , eISSN: 1573-0670