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