Ael Pruning.

Published in: J. Int. Comput. Games Assoc. (2000)

Keyphrases

autoepistemic logic
truth maintenance systems
pruning method
default logic
nonmonotonic reasoning
search space
modal logic
pruning methods
pruning algorithm
machine learning
logic programs
np hard
constraint propagation
default theories