Login / Signup

The Advent of Formal Diagrammatic Reasoning Systems.

Frithjof Dau
Published in: ICFCA (2009)
Keyphrases
  • reasoning systems
  • automated reasoning
  • knowledge representation and reasoning
  • description logics
  • diagnostic reasoning
  • formal model
  • data model
  • probabilistic model
  • semi supervised
  • reasoning under uncertainty