Login / Signup
Erratum to splitting an operator: Algebraic modularity results for logics with fixpoint semantics.
Joost Vennekens
David Gilis
Marc Denecker
Published in:
ACM Trans. Comput. Log. (2007)
Keyphrases
</>
fixpoint semantics
logic programs
deductive databases
fixpoint
modal logic
datalog programs
data complexity
closed world assumption
model theoretic
expressive power
inference rules
declarative semantics
decision procedures
hidden markov models
stable models
logic programming
artificial intelligence
databases