Modal Semirings Revisited.

Jules Desharnais Georg Struth

Published in: MPC (2008)

Keyphrases

constraint satisfaction problems
modal logic
containment of conjunctive queries
nonmonotonic logics
website
data model
decision procedures