Login / Signup
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