The semantics of CAT.

Ronald E. Prather

Published in: ACM SIGPLAN Notices (1992)

Keyphrases

formal semantics
semantic information
logic programming
conceptual model
nonmonotonic logics
logical language
neural network
high level
search algorithm
conceptual graphs
speech acts
argumentation semantics