Login / Signup
Splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
Joost Vennekens
David Gilis
Marc Denecker
Published in:
ACM Trans. Comput. Log. (2006)
Keyphrases
</>
fixpoint semantics
logic programs
expressive power
deductive databases
modal logic
fixpoint
datalog programs
data complexity
model theoretic
closed world assumption
logic programming
answer sets
classical logic
answer set programming
nonmonotonic logics
decision procedures
databases
xml documents
machine learning