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

dc.contributor.authorGore, Rajeev
dc.contributor.authorPostniece (previously Buisman), Linda
dc.coverage.spatialSydney Australia
dc.date.accessioned2015-12-10T22:22:21Z
dc.date.createdAugust 12-15 2008
dc.identifier.isbn9783540710691
dc.identifier.urihttp://hdl.handle.net/1885/52641
dc.description.abstractGoré 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
dc.publisherSpringer
dc.relation.ispartofseriesInternational Joint Conference on Automated Reasoning (IJCAR 2008)
dc.sourceProceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008)
dc.subjectKeywords: Automated reasoning; Depth-first search; Experimental evaluations; Joint conference; Search strategies; System description; Automata theory
dc.titleAn experimental evaluation of global caching for ALC (system description)
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2008
local.identifier.absfor010107 - Mathematical Logic, Set Theory, Lattices and Universal Algebra
local.identifier.absfor080203 - Computational Logic and Formal Languages
local.identifier.absfor080299 - Computation Theory and Mathematics not elsewhere classified
local.identifier.ariespublicationu8803936xPUB251
local.type.statusPublished Version
local.contributor.affiliationGore, Rajeev, College of Engineering and Computer Science, ANU
local.contributor.affiliationPostniece (previously Buisman), Linda, College of Engineering and Computer Science, ANU
local.description.embargo2037-12-31
local.bibliographicCitation.startpage299
local.bibliographicCitation.lastpage305
local.identifier.doi10.1007/978-3-540-71070-7_25
dc.date.updated2015-12-09T09:03:00Z
local.identifier.scopusID2-s2.0-53049093573
CollectionsANU Research Publications

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:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator