Login / Signup
Every Formula-Based Logic Program Has a Least Infinite-Valued Model.
Rainer Lüdecke
Published in:
INAP/WLP (2011)
Keyphrases
</>
logic programs
high level
logic programming
probabilistic model
programming language
fixpoint