Login / Signup
Admissibility of Fixpoint Induction over Partial Types.
Karl Crary
Published in:
CADE (1998)
Keyphrases
</>
fixpoint
logic programs
deductive databases
difference equations
stable models
finite state machines
model theoretic
proof theoretic
inductive logic programming
horn clauses
machine learning
knowledge base
datalog programs
database
logic programming
domain knowledge
recursive queries
fixpoint semantics