A Natural Implementation of Plural Semantics in Maude.

Adrián Riesco Juan Rodríguez-Hortalá

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

semantic information
logic programming
formal semantics
real time
real world
genetic algorithm
efficient implementation
social networks
image sequences
programming language
implementation details