Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.

Bern Martens John P. Gallagher

Published in: ICLP (1995)

Keyphrases

partial deduction
logic programs
real time
wide range
expert systems
mobile robot
lightweight
global information
multidatabase systems
active rules