Login / Signup

Reasoning with coincidence grids - A sequent-based logic and an analysis of complexity.

Dave Barker-PlummerNik Swoboda
Published in: J. Vis. Lang. Comput. (2011)
Keyphrases
  • neural network
  • modal logic
  • knowledge base
  • logical framework
  • reasoning systems
  • data sets
  • multi agent systems
  • statistical analysis
  • automated reasoning
  • natural deduction