Rewriting Logic as a Metalogical Framework.

David A. Basin Manuel Clavel José Meseguer

Published in: FSTTCS (2000)

Keyphrases

main contribution
database
machine learning
metadata
theoretical framework
logical framework
real time
artificial intelligence
website
special case
probabilistic model
logic programming