Temat: logics - Prolib Integro

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "logics" wg kryterium: Temat

Wyświetlanie 1-10 z 18

Zaznacz

Skocz do pozycji: 1.

Tytuł:: Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity
Autorzy:: Nguyen L.A.
Data publikacji:: 2010
Słowa kluczowe:: Horn knowledge bases
description logics
regular grammar logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Towards a Rational Closure for Expressive Description Logics : the Case of SHIQ
Autorzy:: Giordano, L.
Gliozzi, V.
Olivetti, N.
Data publikacji:: 2018
Słowa kluczowe:: description logics
nonmonotonic reasoning; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Reasoning about Exceptions in Ontologies : from the Lexicographic Closure to the Skeptical Closure
Autorzy:: Giordano, Laura
Gliozzi, Valentina
Data publikacji:: 2020
Słowa kluczowe:: description logics
skeptical closure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: From Tableaux to Automata for Description Logics
Autorzy:: Baader, F.
Hladik, J.
Lutz, C.
Wolter, F.
Data publikacji:: 2003
Słowa kluczowe:: description logics
tableau algorithms
ExpTime-admissible; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: ALC + T: a Preferential Extension of Description Logics
Autorzy:: Giordano, L.
Gliozzi, V.
Olivetti, N.
Pozzato, G.L.
Data publikacji:: 2009
Słowa kluczowe:: description logics
Prototypical Reasoning
Tableaux Calculi; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: A Set-theoretic Approach to Reasoning Services for the Description Logic DL4,xD
Autorzy:: Cantone, Domenico
Nicolosi-Asmundo, Marianna
Santamaria, Daniele Francesco
Data publikacji:: 2020
Słowa kluczowe:: description logics
algorithms
scalability
self-expression
C++; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: A Semantic Model for Matchmaking of Web Services Based on Description Logics
Autorzy:: Shen, G.
Huang, Z.
Zhang, Y.
Zhu, X.
Yang, J.
Data publikacji:: 2009
Słowa kluczowe:: web services
matchmaking
description logics
semantic web
ontology; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Revision of Ontologies to Accommodate Exceptions : a Typicality-based Approach
Autorzy:: Micalizio, R.
Pozzato, G. L.
Data publikacji:: 2018
Słowa kluczowe:: description logics
revision
nonmonotonic reasoning
ontologies
typicality
exceptions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: A Tractable Rule Language in the Modal and Description Logic that Combines CPDL with Regular Grammar Logic
Autorzy:: Nguyen, L. A.
Data publikacji:: 2016
Słowa kluczowe:: description logics
modality
axioms
data analysis
epistemic logic; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: An Efficient Tableau Prover using Global Caching for the Description Logic ALC
Autorzy:: Nguyen L.A.
Data publikacji:: 2009
Słowa kluczowe:: automated reasoning
tableaux
description logics
global caching
optimization; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Wyświetlanie 1-10 z 18

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Wyszukujesz frazę "logics" wg kryterium: Temat