A Resolution Calculus with Shared Literals.

Nicolas Peltier

Published in: Fundam. Informaticae (2007)

Keyphrases

high resolution
low resolution
inductive logic programming
conflict detection
consequence finding
information systems
databases
neural network
artificial intelligence
social networks
search algorithm
expressive power