Przejdź do treści
Czekaj...
Wczytywanie...
Nie jesteś zalogowany |
zaloguj się
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Menu główne
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
Rada Wydziału
formularze, dokumenty
struktura i organizacja
pracownicy i doktoranci
aktualności
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
Formularz wyszukiwania
Szukaj
PL /
EN
USOSweb
SRS
APD
Moodle
Lab. komputerowe
poczta studencka
poczta pracownicza
Plany
Biblioteka
Wspomnienia
Praca
Deklaracja dostępności
Skala szarości
Wysoki kontrast
Negatyw
Podkreślenie linków
Reset
Powrót do listy instytutów
Publikacje
Czasopismo: Journal Of Applied Non-classical Logics
Liczba publikacji: 7
2011
Barbara Dunin-Kęplicz
,
Anh Linh Nguyen
i
Andrzej Szałas
,
Converse-PDL with Regular Inclusion Axioms: A Framework for MAS Logics
,
Journal Of Applied Non-classical Logics
21 (1) 2011, s. 61–81.
zobacz w PBN
Jan Małuszyński i
Andrzej Szałas
,
Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
,
Journal Of Applied Non-classical Logics
21 (2) 2011, s. 211–232.
zobacz w PBN
2009
Anh Linh Nguyen
,
Modal Logic Programming Revisited
,
Journal Of Applied Non-classical Logics
19 (2) 2009, s. 167–181.
zobacz w PBN
2008
Andrzej Szałas
,
Towards Incorporating Background Theories into Quantifier Elimination
,
Journal Of Applied Non-classical Logics
18 (2-3) 2008, s. 325–340.
zobacz w PBN
2006
Patrick Doherty, Martin Magnusson i
Andrzej Szałas
,
Approximate databases: a support tool for approximate reasoning
,
Journal Of Applied Non-classical Logics
16 (1-2) 2006, s. 87–118.
zobacz w PBN
Andrzej Szałas
,
Second-order reasoning in description logics
,
Journal Of Applied Non-classical Logics
16 (3-4) 2006, s. 517–530.
zobacz w PBN
1994
Andrzej Szałas
,
On an Automated Translation of Modal Proof Rules into Formulas of the Classical Logic
,
Journal Of Applied Non-classical Logics
4 (2) 1994, s. 119–127.
zobacz w PBN