Regular Derivations in Basic Superposition-Based Calculi.

Vladimir Aleksic Anatoli Degtyarev

Published in: LPAR (2005)

Keyphrases

inference rules
theorem proving
information retrieval
artificial intelligence
sequent calculi
neural network
machine learning
information systems
case study