Solving Planning Problems by Partial Deduction

This publication has 17 references indexed in Scilit:

• Decidability Results for the Propositional Fluent Calculus
  Published by Springer Nature ,2000
• Solving coverability problems of petri nets by partial deduction
  Published by Association for Computing Machinery (ACM) ,2000
• Conjunctive partial deduction: foundations, control, algorithms, and experiments
  The Journal of Logic Programming, 1999
• Partial evaluation of functional logic programs
  ACM Transactions on Programming Languages and Systems, 1998
• Detecting unsolvable queries for definite logic programs
  Published by Springer Nature ,1998
• Computing change and specificity with equational logic programs
  Annals of Mathematics and Artificial Intelligence, 1995
• The integration of functions into logic programming: From theory to practice
  The Journal of Logic Programming, 1994
• A new deductive approach to planning
  New Generation Computing, 1990
• Extending SLD resolution to equational horn clauses using E-unification
  The Journal of Logic Programming, 1989
• Parallel program schemata
  Journal of Computer and System Sciences, 1969