Modeling Stable Matching Problems with Answer Set Programming

Sofie De Clercq Steven Schockaert Martine De Cock Ann Nowé

Published in: CoRR (2013)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
high level
search space
np complete
default logic
solving problems
constraint logic programming
stable model semantics