Publikacje

Czasopismo: JOURNAL OF AUTOMATED REASONING

2020

• 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

• Anh Linh Nguyen , Rajeev Goré, ExpTime Tableaux for ALC Using Sound Global Caching, JOURNAL OF AUTOMATED REASONING, 50 (4) 2013, s. 355-381. Zobacz w PBN

1997

• Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Computing Circumscription Revisited, JOURNAL OF AUTOMATED REASONING, 1997. Zobacz w PBN