Strong and Weak Operational Termination of Order-Sorted Rewrite Theories.

Salvador Lucas José Meseguer

Published in: WRLA (2014)

Keyphrases

order sorted
decision making
theoretical framework
predicate logic
data mining
high level
computational models
neural network
knowledge base
low level
description logics
higher level
rewrite rules