Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems

Authors:
Volker Haarslev;Ralf Möller
Affiliations:
-;-
Venue:
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Year:
1999

Citing 3
Cited 0

Improvements to propositional satisfiability search algorithms

Improvements to propositional satisfiability search algorithms
FaCT and DLP

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Decidable reasoning in terminological knowledge representation systems

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.