Wolfgang Schönfeld

Publication Activity (10 Years)

Years Active: 1979-2005
Publications (10 Years): 0

Publications

Andreas Meissner, Wolfgang Schönfeld
Data Communication Between the German NBC Reconnaissance Vehicle and Its Control Center Unit. From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments (2005)
Andreas Meissner, Lars C. Wolf, Wolfgang Schönfeld, Ralf Steinmetz
A Framework for Group Integrity Management in Multimedia Multicasting. EUROMICRO (2001)
Wolfgang Schönfeld, Jörg Pommnitz
A Testbed for Mobile Multimedia Applications. Multim. Tools Appl. 9 (1) (1999)
Wolfgang Schönfeld
Interacting Abstract State Machines. Workshop on Abstract State Machines (1998)
Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld
ILFA Interface Concept IWBS Report 193 (1991)
Wolfgang Schönfeld
Properties and Actions. Natural Language and Logic (1989)
Wolfgang Schönfeld, Werner Stephan
Integration of Descriptive and Procedural Language Constructs. CSL (1988)
Wolfgang Schönfeld
Interfacing a Logic Machine. CSL (1987)
Wolfgang Schönfeld
Anforderung der Logik-Programmierung an die Wissensrepräsentation. Wissensrepräsentation in Expertensystemen (1987)
Franz Guenthner, Hubert Lehmann, Wolfgang Schönfeld
A Theory for the Representation of Knowledge. IBM J. Res. Dev. 30 (1) (1986)
Albrecht Blaser, Brigitte Alschwee, Hein Lehmann, Hubert Lehmann, Wolfgang Schönfeld
Ein juristisches Expertensystem mit natürlichsprachlichem Dialog - Ein Projektbericht. Wissensbasierte Systeme (1985)
Wolfgang Schönfeld
Prolog Extensions Based on Tableau Calculus. IJCAI (1985)
Wolfgang Schönfeld
Proof Search for Unprovable Formulas. GWAI (1983)
Wolfgang Schönfeld
Upper Bounds for Proof-Search in a Sequent Calculus for Relational Equations. Math. Log. Q. 28 (14-18) (1982)
Wolfgang Schönfeld
An Undecidability Result for Relation Algebras. J. Symb. Log. 44 (1) (1979)