A procedural criterion for final derivability in inconsistency-adaptive logics.

Published in: J. Appl. Log. (2005)

Keyphrases

classical logic
information retrieval
expressive power
database
modal logic
real time
data sets
machine learning
objective function
adaptive filtering
valued semantics