Rewriting Modulo in Deduction Modulo.

Frédéric Blanqui

Published in: RTA (2003)

Keyphrases

real world
machine learning
information retrieval
artificial intelligence
web services
case study
higher order
inference rules