An experimental evaluation of global caching for ALC (system 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
|Collections||ANU Research Publications|
|Source:||Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008)|
|01_Gore_An_experimental_evaluation_of_2008.pdf||113.09 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.