1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2011★ 1 cited
Symmetry Breaking for Distributed Multi-Context Systems
Christian Drescher, Thomas Eiter, Michael Fink +2
Heterogeneous nonmonotonic multi-context systems (MCS) permit different logics to be used in different contexts, and link them via bridge rules. We investigate the role of symmetry…
cs.AI2011
Translation-based Constraint Answer Set Solving
Christian Drescher, Toby Walsh
We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves…