The Undecidability of Entailment and Relevant Implication.

Alasdair Urquhart

Published in: J. Symb. Log. (1984)

Keyphrases

logic programming
np complete
probabilistic logic
data sets
description logics
neural network
real time
real world
case study
closely related
probabilistic planning