Login / Signup
A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs.
Audrey Ferry
Published in:
Structural Complexity and Recursion-theoretic methods in Logic-Programming (1992)
Keyphrases
</>
probabilistic logic
first order logic
data sets
predicate calculus
default logic
probabilistic reasoning
euler number
description logics
computer programs
programming environment
logical operations
logical theories