20 citations · 52 across the 8 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2015★ 1 cited
Solving stable matching problems using answer set programming
Sofie De Clercq, Steven Schockaert, Martine De Cock +1
Since the introduction of the stable marriage problem (SMP) by Gale and Shapley (1962), several variants and extensions have been investigated. While this variety is useful to wide…
cs.AI2013★ 13 cited
Characterizing and Extending Answer Set Semantics using Possibility Theory
Kim Bauters, Steven Schockaert, Martine De Cock +1
Answer Set Programming (ASP) is a popular framework for modeling combinatorial problems. However, ASP cannot easily be used for reasoning about uncertain information. Possibilistic…