Search results for: METAPHORICAL REASONING - Bridge of Knowledge

Search

Search results for: METAPHORICAL REASONING

Best results in : Research Potential Pokaż wszystkie wyniki (26)

Search results for: METAPHORICAL REASONING

  • Zespół Katedry Architektury Mieszkaniowej i Użyteczności Publicznej

    Przedmiotem aktywności Katedry jest działalność w zakresie kształtowania współczesnych obiektów mieszkaniowych, użyteczności publicznej oraz tematów pokrewnych. Badania prowadzone przez pracowników katedry obejmują nowe metody kształtowania obiektów architektonicznych, nowe formy zamieszkiwania, badania roli nowych technologii w kształtowaniu architektury i przestrzeni interaktywnych oraz badania roli sztuki w kształtowaniu przestrzeni...

  • Katedra Przedsiębiorczości i Prawa Gospodarczego

    Zatrudnieni w niej pracownicy wywodzą się z różnych katedr i reprezentują kilka dyscyplin naukowych, które wiążą się z przedsiębiorczością. Zajmujemy się ekonomią, zarządzaniem, prawem, psychologią, czyli naukami, w których przedsiębiorczość jest jednym z istotnych analizowanych zjawisk. Dzięki zróżnicowaniu dyscyplin, które reprezentujemy, realizujemy wielostronne badania dotyczące - poza przedsiębiorczością - także samego przedsiębiorcy...

  • Grupa zarządzania wiedzą

    Grupa Zarządzania Wiedzą na Politechnice Gdańskiej jest grupą badawczo-rozwojową skupiającą się na obszarach związanych z zarządzaniem wiedzą i informacją. Naszym priorytetem jest opracowanie zestawu narzędzi i metod umożliwiających przetwarzanie i analizowanie dużych ilości informacji przechowywanych w zasobach WWW. Grupa specjalizuje się w ontologicznych metodach reprezentacji i analizy wiedzy, która zapisana jest w sposób ustrukturalizowany...

Best results in : Business Offer Pokaż wszystkie wyniki (6)

Search results for: METAPHORICAL REASONING

Other results Pokaż wszystkie wyniki (121)

Search results for: METAPHORICAL REASONING

  • Thinking & Reasoning

    Journals

    ISSN: 1354-6783 , eISSN: 1464-0708

  • Reasoning about trust in IT infrastructures

    Publication

    - 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

    - 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

    - 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

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