Wolfgang Schönfeld

According to our database, Wolfgang Schönfeld authored at least 16 papers between 1979 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Data Communication Between the German NBC Reconnaissance Vehicle and Its Control Center Unit.

Andreas Meissner, Wolfgang Schönfeld

Proceedings of the From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments, 2005

2001

A Framework for Group Integrity Management in Multimedia Multicasting.

Andreas Meissner, Lars C. Wolf, Wolfgang Schönfeld, Ralf Steinmetz

Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

1999

A Testbed for Mobile Multimedia Applications.

Wolfgang Schönfeld, Jörg Pommnitz

Multim. Tools Appl., 1999

1998

Interacting Abstract State Machines.

Wolfgang Schönfeld

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1991

ILFA Interface Concept

Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld

IWBS Report, 1991

1989

Properties and Actions.

Wolfgang Schönfeld

Proceedings of the Natural Language and Logic, 1989

1988

Integration of Descriptive and Procedural Language Constructs.

Wolfgang Schönfeld, Werner Stephan

Proceedings of the CSL '88, 1988

1987

Anforderung der Logik-Programmierung an die Wissensrepräsentation.

Wolfgang Schönfeld

Proceedings of the Wissensrepräsentation in Expertensystemen, 1987

Interfacing a Logic Machine.

Wolfgang Schönfeld

Proceedings of the CSL '87, 1987

1986

A Theory for the Representation of Knowledge.

Franz Guenthner, Hubert Lehmann, Wolfgang Schönfeld

IBM J. Res. Dev., 1986

1985

Ein juristisches Expertensystem mit natürlichsprachlichem Dialog - Ein Projektbericht.

Albrecht Blaser, Brigitte Alschwee, Hein Lehmann, Hubert Lehmann, Wolfgang Schönfeld

Proceedings of the Wissensbasierte Systeme, 1985

Prolog Extensions Based on Tableau Calculus.

Wolfgang Schönfeld

Proceedings of the 9th International Joint Conference on Artificial Intelligence. Los Angeles, 1985

1983

Proof Search for Unprovable Formulas.

Wolfgang Schönfeld

Proceedings of the GWAI-83, 1983

1982

Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations.

Wolfgang Schönfeld

Math. Log. Q., 1982

1981

Gleichungen in der Algebra der binären Relationen.

Wolfgang Schönfeld

Minerva-Fachserie Naturwissenschaften, Minerva-Publikation, ISBN: 978-3-597-10350-7, 1981

1979

An Undecidability Result for Relation Algebras.

Wolfgang Schönfeld

J. Symb. Log., 1979