Hypothesis Finding with Proof Theoretical Appropriateness Criteria

Bertram FronhöferBertram Fronhöfer, Akihiro YamamotoAkihiro Yamamoto

Bertram Fronhöfer, Akihiro Yamamoto
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Theoretical Computer Science, 350:140-162, 2006

Details
Bibtex

Bemerkung: Note: 2006 Elsevier
Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{FY2006,
  author  = {Bertram Fronh{\"{o}}fer and Akihiro Yamamoto},
  title   = {Hypothesis Finding with Proof Theoretical Appropriateness Criteria},
  journal = {Theoretical Computer Science},
  volume  = {350},
  year    = {2006},
  pages   = {140-162}
}