Tim Geisler

Learn More
Satchmo is an automated theorem prover for rst-order predicate logic. Its reasoning paradigm, model generation, is more powerful than the traditional refutation paradigm. Satchmo can be seen as an inference engine for expert systems capable of handling not only constructive and deenite speciications, but also normative and indeenite ones. The implementation(More)
Reason maintenance systems and temporal reasoning systems are among the most prominent application-independent support systems used for complex AI applications and there are many applications that need both support for logical and temporal reasoning. Apparently it is not enough to just provide two isolated support modules. The logical and temporal(More)
  • 1