Approximation Fixpoint Theory for Non-Deterministic Operators and Its Application in Disjunctive Logic Programming.

Jesse Heyninck Ofer Arieli

Published in: KR (2021)

Keyphrases

fixpoint
disjunctive logic programming
logic programs
deductive databases
answer sets
fixpoint semantics
logic programming
model theoretic
answer set programming
finite state machines
horn clauses
stable models
nonmonotonic reasoning
minimal models
polynomial hierarchy
database