C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Semantics for Logic Programs with Choice Constructs on the Basis of Approximation Fixpoint Theory (Preliminary Report).
Jesse Heyninck
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