Global Caching for Coalgebraic Description Logics
-
Altmetric Citations
Gore, Rajeev; Kupke, Clemens; Pattinson, Dirk; Schroder, Lutz
Description
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncertainty, non-monotonic conditionals, or coalitional power. Specifically, we
Collections | ANU Research Publications |
---|---|
Date published: | 2010 |
Type: | Conference paper |
URI: | http://hdl.handle.net/1885/34203 |
Source: | Proceedings of International Joint Conference on Automated Reasoning (IJCAR 2010) |
DOI: | 10.1007/978-3-642-14203-1_5 |
Download
File | Description | Size | Format | Image |
---|---|---|---|---|
01_Gore_Global_Caching_for_Coalgebraic_2010.pdf | 262.74 kB | Adobe PDF | Request a copy |
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator