Output details
11 - Computer Science and Informatics
University of Manchester
Return to search
Output 0 of 0 in the submission
Output title
A General Tableau Method for Deciding Description Logics, Modal Logics and Related First-Order Fragments
Type
E - Conference contribution
Name of conference/published proceedings
4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15
Volume number
5195
Issue number
-
First page of article
194
ISSN of proceedings
0302-9743
Year of publication
2008
URL
-
Number of additional authors
1
Additional information
<11> Tableau-based reasoning is used in subfields of Artificial Intelligence such as the semantic web and multi-agent systems. The paper is significant because: (i) it provides a general methodology for turning sound and complete tableau calculi into terminating calculi, and (ii) it describes a methodology for solving problems in expressive modal and description logics, for which so far it has not been known how to use tableau methods as decision procedures. Combined with our tableau synthesis framework the results provide the foundation for research on automatic prover generation.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
6
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
