Ticket Entailment plus the mingle axiom has the variable-sharing property.

José M. Méndez Gemma Robles Francisco Salto

Published in: Log. J. IGPL (2012)

Keyphrases

logic programming
real time
machine learning
np complete
data sharing
database
desirable properties
information retrieval
genetic algorithm
e learning
probabilistic model
information sharing
knowledge sharing