SOLAR: An automated deduction system for consequence finding.

Hidetomo Nabeshima Koji Iwanuma Katsumi Inoue Oliver Ray

Published in: AI Commun. (2010)

Keyphrases

automated deduction
consequence finding
theorem proving
theorem prover
first order logic
inference rules
automated reasoning
knowledge base
expert systems
xml documents