Login / Signup
LNL-FPC: The Linear/Non-linear Fixpoint Calculus.
Bert Lindenhovius
Michael W. Mislove
Vladimir Zamdzhiev
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
fixpoint
logic programs
deductive databases
proof theoretic
horn clauses
fixpoint semantics
finite state machines
recursive queries
answer sets
model theoretic
prior knowledge
sql queries
datalog programs
nonmonotonic reasoning
stable models
natural language
search space