Skip navigation
Skip navigation

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

Gore, Rajeev; Postniece (previously Buisman), Linda


Goré and Nguyen have recently given the first optimal and sound method for global caching for the description (modal) logic ALC, and various extensions. We report on an experimental evaluation for ALC plus its reflexive and reflexive-transitive extension

CollectionsANU Research Publications
Date published: 2008
Type: Conference paper
Source: Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008)
DOI: 10.1007/978-3-540-71070-7_25


File Description SizeFormat Image
01_Gore_An_experimental_evaluation_of_2008.pdf113.09 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator