A symmetry-based formalism for array subtyping.

Alexander V. Shafarenko

Published in: ACM SIGAPL APL Quote Quad (2001)

Keyphrases

programmable logic
situation calculus
formal model
trade off
databases
antenna array
conceptual model
knowledge representation
information systems
artificial intelligence
information retrieval
multi agent
description logics
conceptual graphs
logical framework
formal theory
machine learning
data sets