Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report).

Published in: NMR (2023)

Keyphrases

fixpoint
semantics for logic programs
logic programs
semantics of logic programs
stable models
deductive databases
model theoretic
answer sets
minimal models
finite state machines
horn clauses
logic programming
nonmonotonic reasoning
datalog programs
natural language
decision procedures
open world