Undecidability of the Horn-Clause Implication Problem

Jerzy Marcinkowski Leszek Pacholski

Published in: FOCS (1992)

Keyphrases

horn clauses
first order logic
description logics
logic programs
inference rules
inductive logic programming
probabilistic planning
answering queries
database queries
training data
logic programming
partially observable