Powrót do listy instytutów
Publikacje
Czasopismo: Journal of Automated Reasoning
Liczba publikacji: 32020
- Anh Linh Nguyen , ExpTime Tableaux with Global Caching for Hybrid PDL, Journal of Automated Reasoning, 64 (1) 2020, s. 21-52. Zobacz w PBN
2013
- Rajeev Goré, Anh Linh Nguyen , ExpTime Tableaux for ALC Using Sound Global Caching, Journal of Automated Reasoning, 2013. Zobacz w PBN
1997
- Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Computing Circumscription Revisited, Journal of Automated Reasoning, 1997. Zobacz w PBN