Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

Joost Vennekens David Gilis Marc Denecker

Published in: CoRR (2004)

Keyphrases

fixpoint semantics
logic programs
deductive databases
fixpoint
model theoretic
expressive power
decision procedures
closed world assumption
modal logic
data complexity
declarative semantics
datalog programs
inference rules
stable models
artificial intelligence
databases
nonmonotonic logics