Login / Signup
A Weak Allowedness Condition that Ensures Completeness of SLDNF-Resolution.
Lawrence Cavedon
Hendrik Decker
Published in:
DAISD (1990)
Keyphrases
</>
sufficient conditions
high resolution
low resolution
decision making
cooperative
consequence finding
artificial intelligence
case study
computational complexity
probabilistic model
higher resolution
formal proofs
weak signal