You are not logged in | Log in

PL /
EN

Journal: Journal of Automated Reasoning

Number of publications: 3

2020

Anh Linh Nguyen , ExpTime Tableaux with Global Caching for Hybrid PDL, Journal of Automated Reasoning, 64 (1) 2020, p. 21-52. See in PBN

2013

Rajeev Goré, Anh Linh Nguyen , ExpTime Tableaux for ALC Using Sound Global Caching, Journal of Automated Reasoning, 2013. See in PBN

1997

Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Computing Circumscription Revisited, Journal of Automated Reasoning, 1997. See in PBN

Initiative of Excellence – Research University