UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

Fuzzy sets and systems, 2022-03, Vol.431, p.70-93

Nguyen, Linh Anh

2022

Volltextzugriff (PDF)

Optimization Models for Medical Procedures Relocation

Procedia computer science, 2021, Vol.192, p.2058-2067

2021

Volltextzugriff (PDF)

Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics

IEEE transactions on fuzzy systems, 2019-06, Vol.27 (6), p.1151-1161

Nguyen, Linh Anh

2019

Volltextzugriff (PDF)

Computing crisp simulations for fuzzy labeled transition systems

Journal of intelligent & fuzzy systems, 2022-01, Vol.42 (4), p.3067-3078

Nguyen, Linh Anh

2022

Volltextzugriff (PDF)

The Influence of the Test Operator on the Expressive Power of PDL-like Logics

Journal of logic and computation, 2019-12, Vol.29 (8), p.1289-1310

Nguyen, Linh Anh

2019

Volltextzugriff (PDF)

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

Fuzzy sets and systems, 2020-06, Vol.388, p.146-178

2020

Volltextzugriff (PDF)

On bisimulations for description logics

Information sciences, 2015-02, Vol.295, p.465-493

2015

Volltextzugriff (PDF)

Computing Bisimulation-Based Comparisons

Fundamenta informaticae, 2018-01, Vol.157 (4), p.385-401

2018

Volltextzugriff (PDF)

ExpTime tableaux with global state caching for the description logic SHIO

Neurocomputing (Amsterdam), 2014-12, Vol.146, p.249-263

Nguyen, Linh Anh

2014

Volltextzugriff (PDF)

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

International journal of approximate reasoning, 2010-02, Vol.51 (3), p.346-362

2010

Volltextzugriff (PDF)

Logical Characterizations of Fuzzy Simulations

Cybernetics and systems, 2022-04, Vol.53 (5), p.482-499

2022

Volltextzugriff (PDF)

A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic

Fundamenta informaticae, 2016-02, Vol.143 (1-2), p.113-139

2016

Volltextzugriff (PDF)

Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations

Journal of intelligent & fuzzy systems, 2019-01, Vol.37 (6), p.7669-7678

2019

Volltextzugriff (PDF)

Design of the Tableau Reasoner TGC2 for Description Logics

International journal of software engineering and knowledge engineering, 2016-10, Vol.26 (8), p.1315-1333

Nguyen, Linh Anh

2016

Volltextzugriff (PDF)

An expressive and tractable rule-based description language

Enterprise information systems, 2019-09, Vol.13 (7-8), p.1069-1093

2019

Volltextzugriff (PDF)

Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics

Information sciences, 2023-06, Vol.630, p.482-506

Nguyen, Linh Anh

2023

Volltextzugriff (PDF)

Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations

Fuzzy sets and systems, 2024-04, Vol.481, p.108896, Article 108896

Nguyen, Linh Anh

2024

Volltextzugriff (PDF)

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases

Computing and Informatics, 2019, Vol.38 (1), p.19-56

2019

Volltextzugriff (PDF)

Fuzzy simulations and bisimulations between fuzzy automata

International journal of approximate reasoning, 2023-04, Vol.155, p.113-131

Nguyen, Linh Anh

2023

Volltextzugriff (PDF)

Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics

Computational Collective Intelligence, p.16-30

Volltextzugriff (PDF)

Escaping losses of diffuse light emitted by luminescent dyes doped in micro/nanostructured solar cell systems

Solar energy materials and solar cells, 2010-03, Vol.94 (3), p.413-419

2010

Volltextzugriff (PDF)

Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

International journal of approximate reasoning, 2021-08, Vol.135, p.21-37

Nguyen, Linh Anh

2021

Volltextzugriff (PDF)

Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics

Cybernetics and systems, 2017-04, Vol.48 (3), p.249-266

2017

Volltextzugriff (PDF)

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ

Fundamenta informaticae, 2014, Vol.135 (4), p.433-449

2014

Volltextzugriff (PDF)

Towards richer rule languages with polynomial data complexity for the Semantic Web

Data & knowledge engineering, 2015-03, Vol.96-97, p.57-77

2015

Volltextzugriff (PDF)

1 – 25 von 2.139

Menü

Weitere Dienste

Einstellungen

Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices

Optimization Models for Medical Procedures Relocation

Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics

Computing crisp simulations for fuzzy labeled transition systems

The Influence of the Test Operator on the Expressive Power of PDL-like Logics

Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics

On bisimulations for description logics

Computing Bisimulation-Based Comparisons

ExpTime tableaux with global state caching for the description logic SHIO

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic

Logical Characterizations of Fuzzy Simulations

A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic

Minimizing interpretations in fuzzy description logics under the Gödel semantics by using fuzzy bisimulations

Design of the Tableau Reasoner TGC2 for Description Logics

An expressive and tractable rule-based description language

Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics

Minimizing fuzzy interpretations in fuzzy description logics by using crisp bisimulations

Incorporating Stratified Negation into Query-Subquery Nets for Evaluating Queries to Stratified Deductive Databases

Fuzzy simulations and bisimulations between fuzzy automata

Bisimulations for Fuzzy Description Logics with Involutive Negation Under the Gödel Semantics

Escaping losses of diffuse light emitted by luminescent dyes doped in micro/nanostructured solar cell systems

Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic

Extending Query-Subquery Nets for Deductive Databases under the Well-Founded Semantics

An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ

Towards richer rule languages with polynomial data complexity for the Semantic Web

Aktive Filter

Suchergebnisse filtern