Representative Answer Sets: Collecting Something of Everything.

Elisa Böhl Sarah Alice Gaggl Dominik Rusovac

Published in: ECAI (2023)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
extended logic programs
answer set programs
normal logic programs
fixpoint
artificial intelligence
logic program updates
programming language
stable model semantics
loop formulas
counter examples
semantics of logic programs