Login / Signup
Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.
Volker Haarslev
Ralf Möller
Published in:
Description Logics (2002)
Keyphrases
</>
practical reasoning
domain specific
domain independent
transition systems
domain experts