On Semantics of TMS.

Xianchang Wang Huowang Chen

Published in: IJCAI (1991)

Keyphrases

formal semantics
logic programming
truth maintenance systems
semantic information
multiscale
neural network
search engine
metadata
website
database systems
conceptual model
deductive databases
conceptual graphs
specification language