The BLM semantics may be inconsistent.

Published in: ACM Southeast Regional Conference (1992)

Keyphrases

formal semantics
case study
logic programming
real time
real world
logical language
database
neural network
semantic representation
active rules