A Sheaf Semantics for FOOPS Expressions.

David A. Wolfram Joseph A. Goguen

Published in: Object-Based Concurrent Computing (1991)

Keyphrases

formal semantics
logic programming
semantic information
artificial intelligence
language constructs
neural network
information retrieval
computer vision
bayesian networks
facial expressions
conceptual model
semantic representation
logical framework
mathematical expressions
logical language
linguistic expressions