Wszystkie pola: logics of belief - 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 of belief" wg kryterium: Wszystkie pola

Wyświetlanie 1-6 z 6

Zaznacz

Skocz do pozycji: 1.

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

Tytuł:: Analysis of cryptographic protocols using logics of belief : an overview
Autorzy:: Monniaux, David
Data publikacji:: Tue Jan 01 01:01:00 CET 2002
Tematy:: Sieć komputerowa - bezpieczeństwo
Szyfry; Pokaż więcej
Dostawca treści:: Academica

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Analysis of cryptographic protocols using logics of belief: an overview
Autorzy:: Monniaux, D.
Data publikacji:: 2002
Wydawca:: Instytut Łączności - Państwowy Instytut Badawczy
Tematy:: protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Niektóre filozoficzne problemy logik zmian przekonań
Some Philosophical Problems of Logics of Belief Change
Autorzy:: Lechniak, Marek
Data publikacji:: 2005
Wydawca:: Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:: logika epistemiczna
ekspansja
rewizja
kontrakcja
AGM-koncepcja zmiany przekonań
zakorzenienie epistemiczne
epistemic logic
expansion
revision
contraction
AGM theory of belief change
epistemic entrenchment; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Analysis of cryptographic protocols using logics of belief: an overview
Autorzy:: Monniaux, D.
Data publikacji:: 2002
Słowa kluczowe:: protokół kryptograficzny
kryptografia
cryptographic protocols
logics of belief
BAN
GNY
decidability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: OUTLINE OF A SUB-STRUCTURAL MODEL OF BTA BELIEF
Autorzy:: Igor Sedlár
Tematy:: BELIEF
EPISTEMIC LOGIC
SUB-STRUCTURAL LOGICS; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Wyświetlanie 1-6 z 6

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