#### Filter Results:

- Full text PDF available (6)

#### Publication Year

1989

2009

- This year (0)
- Last 5 years (0)
- Last 10 years (3)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Liangzhao Zeng, Christoph Lingenfelder, Hui Lei, Henry Chang
- ICSOC
- 2008

- Christoph Lingenfelder
- IJCAI
- 1989

One of the main disadvantages of computer generated proofs of mathematical theorems is their complexity and incomprehensibility. Proof transformation proce- dures have been designed in order to state these proofs in a formalism that is more familiar to a human ma- thematician. But usually the essential idea of a proof is still not easily visible. We… (More)

- Stefan Decker, Christoph Lingenfelder
- GWAI
- 1992

- Christoph Lingenfelder, Astrid Schmücker-Schend
- IWBS Report
- 1992

- Michael Zeller, Robert Grossman, +6 authors Rich Holada
- KDD
- 2009

At KDD-2009 in Paris, a panel on open standards and cloud computing addressed emerging trends for data mining applications in science and industry. This report summarizes the answers from a distinguished group of thought leaders representing key software vendors in the data mining industry.
Supporting open standards and the Predictive Model Markup Language… (More)

- Sarabjot S. Anand, Marko Grobelnik, +4 authors Dietrich Wettschereck
- Artificial Intelligence Review
- 2007

As knowledge discovery (KD) matures and enters the mainstream, there is an onus on the technology developers to provide the technology in a deployable, embeddable form. This transition from a stand-alone technology, in the control of the knowledgeable few, to a widely accessible and usable technology will require the development of standards. These… (More)

- Christoph Lingenfelder, Axel Präcklein
- IJCAI
- 1991

One of the main reasons why computer generated proofs are not widely accepted is often their complexity and incomprehensibility. Especially proofs of mathematical theorems with equations are normally presented in an inadequate and not intuitive way. This is even more of a problem for the presentation of inferences drawn by automated reasoning components in… (More)

- Erika F. de Lima, Christoph Lingenfelder
- J. Log. Comput.
- 2000

We introduce a calculus for transforming first-order proofs of theorems originally formulated in modal logic, into modal natural deduction proofs. With a transformation procedure based on this calculus, we are able to present a proof in the language in which the problem was originally formulated, and in a formalism giving better insight into the contents of… (More)

- Stefan Decker, Christoph Lingenfelder
- WLP
- 1994