2 search results - page 1 / 1 » Uniform Derivation of Decision Procedures by Superposition |
CSL
2001
Springer
13 years 9 months ago
2001
Springer
We show how a well-known superposition-based inference system for first-order equational logic can be used almost directly as a decision procedure for various theories including l...
IANDC
2008
13 years 5 months ago
2008
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...