Login / Signup
Removing Redundancy from Answer Set Programs.
Tomi Janhunen
Published in:
ICLP (2008)
Keyphrases
</>
answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
knowledge representation
relational databases
update semantics