Login / Signup
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
Claus-Peter Wirth
Published in:
CoRR (2009)
Keyphrases
</>
sequent calculi
higher order
description logics
background knowledge
artificial intelligence
association rules
logic programs
first order logic
rule sets
modal logic
solution quality
rule learning