Converting ALC Connection Proofs into ALC Sequents.

Eunice Palmeira da Silva Fred Freitas Jens Otten

Published in: PxTP (2019)

Keyphrases

description logics
sequent calculus
modal logic
description logic alc
fuzzy description logics
linear logic
upper bound
inference rules
database
general purpose
natural deduction
theorem prover
genetic algorithm
website
high level
knowledge representation