Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Checking Consistency of an ABox w.r.t. Global Assumptions in PDL
Adres internetowy
Tytuł czasopisma
FUNDAMENTA INFORMATICAE
Medium
publikacja drukowana
Tom
102
Zeszyt
1
Rok wydania
2010
Od strony
97
Do strony
113
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
Lista autorów
1.
Andrzej Szałas
,
Instytut Informatyki
[
Współautor
]
2.
Anh Linh Nguyen
,
Zakład Logiki Stosowanej
[
Współautor
]