Login / Signup
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.
Sylvie Coste-Marquis
Pierre Marquis
Published in:
ECAI (2004)
Keyphrases
</>
computational complexity
low resolution
knowledge base
high resolution
np hard
real world
neural network
e learning
special case
probabilistic model
np complete