You are not logged in |
Back to the list of the institutes
Publications
Journal: JOURNAL OF AUTOMATED REASONING
Number of publications: 32020
- 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
- Anh Linh Nguyen , Rajeev Goré, ExpTime Tableaux for ALC Using Sound Global Caching, JOURNAL OF AUTOMATED REASONING, 50 (4) 2013, p. 355-381. See in PBN
1997
- Patrick Doherty, Andrzej Szałas , Witold Łukaszewicz, Computing Circumscription Revisited, JOURNAL OF AUTOMATED REASONING, 1997. See in PBN
