Paramodulation with Built-in Abelian Groups.

Guillem Godoy Robert Nieuwenhuis

Published in: LICS (2000)

Keyphrases

inference rules
cluster analysis
theorem proving
information systems
computer vision
knowledge base
web services
multiscale
probability distribution
first order logic
experimental conditions