Eight Inference Rules for Implication.

Published in: Stud Logica (2019)

Keyphrases

inference rules
set of inference rules
horn clauses
xml keys
first order logic
logic programming language
logical framework
modal logic
functional dependencies
theorem proving
probabilistic knowledge
sequent calculus
conditional probabilities
machine learning
binary relations
databases
active learning