Login / Signup

Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi.

Gernot StenzWolfgang AhrendtBernhard Beckert
Published in: J. Univers. Comput. Sci. (1999)
Keyphrases
  • search algorithm
  • search space
  • information seeking
  • proof search
  • natural language
  • evolutionary algorithm
  • fuzzy logic
  • human computer interaction
  • search strategies
  • solution space