Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12.

Published in: CoRR (2024)

Keyphrases

answer sets
answer set semantics
logic programs
semantics for logic programs
logic programming
normal logic programs
answer set programming
stable models
fixpoint
propositional logic
open world
databases
search space
orders of magnitude
incomplete information