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
2013ANU Authors
Field of Research
- Computational Logic And Formal Languages