SOLAR: A Consequence Finding System for Advanced Reasoning.

Hidetomo Nabeshima Koji Iwanuma Katsumi Inoue

Published in: TABLEAUX (2003)

Keyphrases

consequence finding
abductive reasoning
truth maintenance systems
theorem proving
knowledge base
automated reasoning
knowledge representation
reasoning tasks
artificial intelligence
search algorithm
prime implicants