Login / Signup
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