Machine semantics.

Published in: Theor. Comput. Sci. (2008)

Keyphrases

formal semantics
semantic information
high level
logic programming
parallel machines
nonmonotonic logics
batch processing
information systems
multi agent
xml documents