Login / Signup
Lower Bound for Evaluation of mu-nu Fixpoint.
Pawel Parys
Published in:
FICS (2009)
Keyphrases
</>
fixpoint
lower bound
upper bound
logic programs
deductive databases
finite state machines
objective function
high level
database systems
stable models
proof theoretic
optimal solution
expert systems
hidden markov models
nonmonotonic reasoning
fixpoint semantics