Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems

Claus-Peter Wirth

Published in: CoRR (2009)

Keyphrases

term rewriting systems
positive and negative
logic programs
positive or negative
functional programs
update operators
natural language
decision rules
evaluation criteria
positive data
artificial intelligence
data structure
positive examples
grammatical inference
positive and unlabeled examples