Solving the Stable Roommates Problem using Incoherent Answer Set Programs.

Giovanni Amendola

Published in: RiCeRcA@AI*IA (2018)

Keyphrases

answer set programs
answer set programming
answer sets
database
search algorithm
general purpose
logic programming
stable models
update semantics