Mechanized semantics

Published in: CoRR (2010)

Keyphrases

formal semantics
databases
artificial intelligence
case study
real time
conceptual model
database
neural network
genetic algorithm
social networks
information systems
logic programming
semantic information
integrity constraints