ExpTime Tableaux for ALC Using Sound Global Caching

Citation

Gore, R & Nguyen, L 2013, 'ExpTime Tableaux for ALC Using Sound Global Caching', Journal of Automated Reasoning, vol. 50, no. 4, pp. 355-381.

Year

2013

Field of Research

  • Computational Logic And Formal Languages

Updated:  29 March 2024 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers