Sign in

Comparing Instance Generation Methods for Automated Reasoning.

Swen JacobsUwe Waldmann
Published in: TABLEAUX (2005)
Keyphrases
  • automated reasoning
  • neural network
  • qualitative and quantitative
  • artificial intelligence
  • knowledge representation and reasoning