Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures.

Bern Martens Danny De Schreye Tamás Horváth

Published in: Theor. Comput. Sci. (1994)

Keyphrases

partial deduction
logic programs
petri net
multiscale
database
neural network
search algorithm
real time
machine learning
genetic algorithm
artificial intelligence
information systems
three dimensional
feature extraction
reinforcement learning