SLT-Resolution for the Well-Founded Semantics

Yi-Dong Shen Li-Yan Yuan Jia-Huai You

Published in: CoRR (2000)

Keyphrases

high resolution
high density
low resolution
genetic algorithm
social networks
real time
learning algorithm
multimedia
control system
higher resolution
consequence finding