Checking Consistency of an ABox w.r.t. Global Assumptions in PDL

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiChecking Consistency of an ABox w.r.t. Global Assumptions in PDL
Adres internetowy
Tytuł czasopismaFUNDAMENTA INFORMATICAE
Mediumpublikacja drukowana
Tom102
Zeszyt1
Rok wydania2010
Od strony97
Do strony113
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Andrzej Szałas, Instytut Informatyki [Współautor]
 2. Anh Linh Nguyen, Zakład Logiki Stosowanej [Współautor]