Login / Signup
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.
Alessandro Avellone
Camillo Fiorentini
Guido Fiorino
Ugo Moscato
Published in:
CSL (2004)
Keyphrases
</>
efficient implementation
tableau calculus
logic programming
predicate logic
hardware implementation
classical logic
efficient processing
modal logic
search space
active set
highly parallel
logic programs
description logics
knowledge base
rough sets
query processing
derivation rules