On local modularity and interpolation in entailment systems.

Paulo A. S. Veloso José Luiz Fiadeiro Sheila R. M. Veloso

Published in: Inf. Process. Lett. (2002)

Keyphrases

logic programming
learning systems
retrieval systems
computing systems
interpolation methods
real world
genetic algorithm
information systems
knowledge base