A comparison between two logical formalisms for rewriting

Miguel Palomino

Published in: CoRR (2006)

Keyphrases

logical representation
real time
databases
social networks
information systems
knowledge representation
representing knowledge
rewrite rules