From Standard to Non-Standard Semantics by Semantics Modifiers.

Sergei M. Abramov Robert Glück

Published in: Int. J. Found. Comput. Sci. (2001)

Keyphrases

formal semantics
neural network
high level
database
real time
information retrieval
database systems
model checking
semantic interpretation
logical language