Tableaux Modulo Theories Using Superdeduction.

Mélanie Jacquel Karim Berkani David Delahaye Catherine Dubois

Published in: CoRR (2015)

Keyphrases

modulo theories
answer set programming
modal logic
satisfiability modulo theories
functional dependencies
decision procedures
stable model semantics
special case
database systems
xml documents
logic programs