A Contractionless Semilattice Semantics.

Steve Giambrone Robert K. Meyer Alasdair Urquhart

Published in: J. Symb. Log. (1987)

Keyphrases

semantic information
logic programming
real time
database
decision making
metadata
high level
artificial neural networks
graphical representation
transformation rules