Login / Signup
Modeling Stable Matching Problems with Answer Set Programming.
Sofie De Clercq
Steven Schockaert
Martine De Cock
Ann Nowé
Published in:
RuleML (2013)
Keyphrases
</>
answer set programming
reasoning tasks
logic programming
logic programs
causal theories
answer sets
solving problems
constraint satisfaction problems
disjunctive logic programming