Login / Signup
Formalizing Two Fixed Point Semantics for HH(C).
Miguel García-Díaz
Susana Nieva
Published in:
J. Funct. Log. Program. (2004)
Keyphrases
</>
fixed point semantics
logic programs
machine learning
general purpose
programming language
logic programming
database design
answer sets
semantics for logic programs