On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus.

Christoph Sprenger Mads Dam

Published in: FoSSaCS (2003)

Keyphrases

tree shaped
inductive reasoning
expert systems
data sets
real world
decision trees
case study
multi agent
structural information
graph structure