Skip navigation
The Australian National University

An experimental evaluation of global caching for ALC (system description)

Citation

Gore, R & Postniece, L 2008, 'An experimental evaluation of global caching for ALC (system description)', International Joint Conference on Automated Reasoning (IJCAR 2008), ed. Alessandro Armando, Peter Baumgartner and Giles Dowek, Springer, Berlin, Germany, pp. 299-305.

Year

2008

ANU Authors

Fields of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra
  • Computational Logic And Formal Languages
  • Computation Theory And Mathematics Not Elsewhere Classified

Updated:  25 September 2017 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers