#### Filter Results:

#### Publication Year

1999

2013

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

In this paper we present an approach to automated learning within mathematical reasoning systems. In particular, the approach enables proof planning systems to automatically learn new proof methods from well-chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our approach consists of an abstract representation for… (More)

We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our code provides both answers and a set of certificates enabling a user, or an intelligent software system, to provide a full proof of correctness of the answer. To guarantee… (More)

In this paper we present a framework for automated learning within mathematical reasoning systems. In particular, this framework enables proof planning systems to automatically learn new proof methods from well chosen examples of proofs which use a similar reasoning pattern to prove related theorems. Our framework consists of a representation formalism for… (More)

- Sebastian J Goerg, Sebastian Kube, Regina Gold-Schmitt, Sonja Hendriks, Inge Ljungström, Charlotte Mainzer +9 others
- 2013

In a randomized field experiment, we investigate the interplay between work goals, monetary incentives, and work performance. Employees are observed in a natural work environment where they have to do a simple, effort-intense task. Output is perfectly observable and workers are paid for performance. While a regular piece-rate contract serves as a benchmark,… (More)