An Enhanced Sequent Calculus for Reasoning in a Given Domain.

Sabina Bonamico Gianna Cioni Attilio Colagrossi

Published in: DISCO (1993)

Keyphrases

sequent calculus
knowledge base
linear logic
domain independent
inference rules
cut elimination
artificial intelligence
knowledge representation
general purpose
automated reasoning