Issues in Machine-Checking the Decidability of Implicational Ticket Entailment.

Jeremy E. Dawson Rajeev Goré

Published in: TABLEAUX (2017)

Keyphrases

key issues
description logics
neural network
logic programming
query answering
type checking
data sets
databases
learning algorithm
computational complexity
special case
monotonicity constraints