Rewriting logic as a logical and semantic framework.

Narciso Martí-Oliet José Meseguer

Published in: WRLA (1996)

Keyphrases

logical framework
logical representation
main contribution
natural language
neural network
database systems
semantic web
modal logic
semantic network
context dependent
probabilistic logic