A General Framework for Stable Roommates Problems using Answer Set Programming.

Esra Erdem Muge Fidan David F. Manlove Patrick Prosser

Published in: CoRR (2020)

Keyphrases

answer set programming
logic programs
logic programming
reasoning tasks
answer sets
answer set programs
high level
general purpose
machine learning
constraint satisfaction problems
solving problems
constraint logic programming
stable model semantics