On Reduction-Based Semantics.

Kohei Honda Nobuko Yoshida

Published in: FSTTCS (1993)

Keyphrases

formal semantics
databases
default reasoning
logical framework
machine learning
feature selection
case study
data model
logic programming
data reduction
graphical representation
semantic representation