A Brief History of Updates of Answer-Set Programs.

João Leite Martin Slota

Published in: CoRR (2021)

Keyphrases

answer set programs
answer set programming
answer sets
update semantics
logic programs
update operators
stable models
logic programming
event calculus
knowledge base
integrity constraints