Login / Signup
Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.
Damien Rouhling
Mahfuza Farooque
Stéphane Graham-Lengrand
Assia Mahboubi
Jean-Marc Notin
Published in:
CoRR (2014)
Keyphrases
</>
modal logic
expert systems
functional dependencies
metaheuristic