Skip navigation
Skip navigation

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

Gore, Rajeev; Postniece (previously Buisman), Linda

Description

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
URI: http://hdl.handle.net/1885/52641
Source: Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008)
DOI: 10.1007/978-3-540-71070-7_25

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator