Rewriting logic as a logic of special relations.

W. Marco Schorlemmer

Published in: WRLA (1998)

Keyphrases

classical logic
logic programming
modal logic
predicate logic
sound and complete axiomatization
neural network
database
learning algorithm
logic programs
attribute values
multi valued
logical framework
rewrite rules