Sound Global State Caching for ALC with Inverse roles
Citation
Gore, R & Widmann, F 2009, 'Sound Global State Caching for ALC with Inverse roles', International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2009), ed. Conference Program Committee, Springer, Oslo, Norway, pp. 205-219.Year
2009ANU Authors
Fields of Research
- Mathematical Logic, Set Theory, Lattices And Universal Algebra
- Computational Logic And Formal Languages