Semantics of EqL.

Bharat Jayaraman

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

formal semantics
semantic information
machine learning
decision trees
bayesian networks
co occurrence
logic programming
specification language
logical framework
nonmonotonic logics