-tableaux and delta-resolution.

Ángel Nepomuceno-Fernández Fernando Soler-Toscano Atocha Aliseda-Llera

Published in: J. Appl. Non Class. Logics (2009)

Keyphrases

high resolution
consequence finding
modal logic
functional dependencies
real time
data sets
feature selection
knowledge base
similarity measure
multi agent
computational complexity
hidden markov models