Login / Signup
Abductive Completion of Plan Sketches.
Karen L. Myers
Published in:
AAAI/IAAI (1997)
Keyphrases
</>
plan recognition
plan generation
logic programming
plan execution
abductive reasoning
databases
decision theoretic
neural network
data mining
background knowledge
model checking
constraint logic programming