Mapping Modular SOS to Rewriting Logic.

Christiano de O. Braga Edward Hermann Haeusler José Meseguer Peter D. Mosses

Published in: LOPSTR (2002)

Keyphrases

multi valued
classical logic
logic programming
modal logic
derivation rules
neural network
case study
database systems
computational properties
proof theory
sound and complete axiomatization
database
modular neural networks
modular structure
asynchronous circuits
query rewriting
artificial intelligence