C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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