-Logics.

Viorica Sofronie-Stokkermans

Published in: FTP (LNCS Selection) (1998)

Keyphrases

modal logic
expressive power
inference rules
propositional calculus
classical logic
knowledge base
decision trees
temporal logic
data sets
proof theory