Connexive Gentzen.

Published in: Log. J. IGPL (2014)

Keyphrases

sequent calculus
horn clauses
linear time temporal logic
domain knowledge
learning algorithm
search algorithm
prior knowledge
domain independent
modal logic
inference rules
cut elimination