• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

José M. MéndezGemma RoblesFrancisco 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