Login / Signup

Halting Problem of One Binary Horn Clause is Undecidable.

Philippe DeviennePatrick LebègueJean-Christophe Routier
Published in: STACS (1993)
Keyphrases
  • horn clauses
  • first order logic
  • logic programs
  • inference rules
  • sufficient conditions
  • inductive logic programming
  • database queries
  • prior knowledge
  • xml documents
  • domain knowledge
  • non binary
  • datalog programs