Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The goal of this paper is to describe and thoroughly test a decision procedure, called KSAT, checking satisfiability in the terminological logic A£C. KSAT is said to be SATbased as it is defined in terms of a decision procedure for propositional satisfiability (SAT). The tests are performed comparing KSAT with, among other procedures, KRIS, a state-of-the-art tableau-based implementation of a decision procedure for ALe. KSAT outperforms KRIS of orders of magnitude. Furthermore, the empirical results highlight an intrinsic akeness that tableau-based decision procedures have with respect to SATbased decision procedures.
['Fausto Giunchiglia', 'Roberto Sebastiani']
I am writing a research paper on a idea An SAT-based decision procedure for ALC
[{"from": "human", "value": "I am writing a research paper on a idea An SAT-based decision procedure for ALC"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: The goal of this paper is to describe and thoroughly test a decision procedure, called KSAT, checking satisfiability in the terminological logic A\u00a3C. KSAT is said to be SATbased as it is defined in terms of a decision procedure for propositional satisfiability (SAT). The tests are performed comparing KSAT with, among other procedures, KRIS, a state-of-the-art tableau-based implementation of a decision procedure for ALe. KSAT outperforms KRIS of orders of magnitude. Furthermore, the empirical results highlight an intrinsic akeness that tableau-based decision procedures have with respect to SATbased decision procedures."}]