Franz Kurfess

High-performance theorem provers: efficient implementation and parallelisation (tutorial)

Johann Schumann, Reinhold Letz, Franz Kurfess, 1990 .

Semantically-enhanced information extraction

John Seng, Hisham Assal, Emily Schwarz, 2011, 2011 Aerospace Conference.

Partnering enhanced-NLP with semantic analysis in support of information extraction

John Seng, Hisham Assal, Emily Schwarz, 2010, ODiSE'10.

Connectionist Symbol Processing

Franz J. Kurfess, Franz Kurfess, F. Kurfess, 1994 .

From Synapses to Rules: Discovering Symbolic Rules from Neural Processed Data

Bruno Apolloni, Franz Kurfess, 2002 .

Massively Parallel, Optical, and Neural Computing in the United States/Massively Parallel, Optical, and Neural Computing in Japan

Franz Kurfess, 1994 .

Chcl -a Connectionist Inference System

Franz Kurfess, F. Kurfess, FG Intellektik, 1991 .