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 92

Zaznacz

Skocz do pozycji: 1.

Tytuł:: A Constructor-Based Reachability Logic for Rewrite Theories
Autorzy:: Skeirik, Stephen
Stefanescu, Andrei
Meseguer, José
Data publikacji:: 2020
Słowa kluczowe:: deductive verification
reachability logics
rewriting logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Many-valued modal non-monotonic reasoning: sequential stable sets and logics with linear truth spaces
Autorzy:: Koutras, C.D.
Koletsos, G.
Zachos, S.
Data publikacji:: 1999
Słowa kluczowe:: non-monotonic reasoning
modal non-monotonic logics
many-valued logics
knowledge representation
epistemic logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

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

Tytuł:: Separability, Expressiveness, and Decidability in the Ambient Logic
Autorzy:: Hirschkoff, D.
Data publikacji:: 2003
Słowa kluczowe:: Mobile Ambients
spatial logics
modal logics
intensionality
characteristic formulas; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
Autorzy:: Diaconescu, Denisa
Data publikacji:: 2020
Słowa kluczowe:: bisimulation
Hennessy-Milner property
many-valued logics
modal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: The quasi-relevant 3-valued logic RM3 and some of its sublogics lacking the variable-sharing property
Autorzy:: Robles, G.
Data publikacji:: 2016
Słowa kluczowe:: RM3
R-Mingle
relevant logics
quasi-relevant logics
Routley-Meyer semantics
relational semantics
substructural logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Clausal Tableaux for Multimodal Logics of Belief
Autorzy:: Goré, R.
Nguyen L.A.
Data publikacji:: 2009
Słowa kluczowe:: modal logics for agent-based systems
theorem proving for modal logics
complexity and decidability of modal logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Categorical abstract algebraic logic weakly referential π-institutions
Autorzy:: Voutsadakis, G.
Data publikacji:: 2016
Słowa kluczowe:: referential logics
selfextensional logics
referential semantics
referential π-institutions
selfextensional π-institutions; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: First-order non-monotonic modal logics
Autorzy:: Kaminski, M.
Rey, G.
Data publikacji:: 2000
Słowa kluczowe:: modal non-monotonic logics; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

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

Wyświetlanie 1-10 z 92

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