Canonical Propositional Gentzen-Type Systems.

Arnon Avron Iddo Lev

Published in: IJCAR (2001)

Keyphrases

distributed systems
knowledge based systems
propositional logic
horn clauses
learning algorithm
management system
building blocks
retrieval systems