A comparison between two logical formalisms for rewriting.

Miguel Palomino

Published in: Theory Pract. Log. Program. (2007)

Keyphrases

logical representation
machine learning
artificial intelligence
decision trees
statistical analysis
query rewriting
representing knowledge
knowledge representation formalisms