Generic Resolution in Propositional Modal Systems.

Hans de Nivelle

Published in: LPAR (1993)

Keyphrases

neural network
multiresolution
distributed systems
artificial intelligence
retrieval systems
social networks
high resolution
domain specific
knowledge based systems
complex systems
horn clauses