Deciding the guarded fragments by resolution.

Hans de Nivelle Maarten de Rijke

Published in: J. Symb. Comput. (2003)

Keyphrases

high resolution
low resolution
fixed point
horizontal fragmentation
query answering
neural network
information systems
website
query language
sampling rate
image resolution
consequence finding