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

2009

ANU Authors

Fields of Research

  • Computational Logic And Formal Languages
  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

Updated:  22 January 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers