Steuber Volker

Suggest Changes
Learn More
In this paper we present a novel constraint based structural learning algorithm for causal networks. A set of conditional independence and dependence statements (CIDS) is derived from the data which(More)
  • Christoph Benzm uller, Andreas Meier, +4 authors SorgeUniversit
  • 2001
Proof Planning is a technique for automated (and interactive) theorem proving that searches for proof plans at the level of abstract methods. Proof methods consist of a chunk of mathematically(More)