ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom5796
Zeszyt
Rok wydania2009
Od strony473
Do strony488
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2009

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