dblp.uni-trier.dewww.uni-trier.de

Wolfgang Schönfeld

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
15EEAndreas 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: 87-95
2001
14EEAndreas Meissner, Lars C. Wolf, Wolfgang Schönfeld, Ralf Steinmetz: A Framework for Group Integrity Management in Multimedia Multicasting. EUROMICRO 2001: 346-353
1999
13 Wolfgang Schönfeld, Jörg Pommnitz: A Testbed for Mobile Multimedia Applications. Multimedia Tools Appl. 9(1): 29-42 (1999)
1998
12 Wolfgang Schönfeld: Interacting Abstract State Machines. Workshop on Abstract State Machines 1998: 22-36
1991
11 Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld: Computer Science Logic, 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990, Proceedings Springer 1991
10 Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld: ILFA Interface Concept IWBS Report 193: (1991)
1989
9 Wolfgang Schönfeld: Properties and Actions. Natural Language and Logic 1989: 221-232
1988
8 Wolfgang Schönfeld, Werner Stephan: Integration of Descriptive and Procedural Language Constructs. CSL 1988: 344-356
1987
7 Wolfgang Schönfeld: Interfacing a Logic Machine. CSL 1987: 263-272
6 Wolfgang Schönfeld: Anforderung der Logik-Programmierung an die Wissensrepräsentation. Wissensrepräsentation in Expertensystemen 1987: 41-55
1986
5 Franz Guenthner, Hubert Lehmann, Wolfgang Schönfeld: A Theory for the Representation of Knowledge. IBM Journal of Research and Development 30(1): 39-56 (1986)
1985
4 Wolfgang Schönfeld: Prolog Extensions Based on Tableau Calculus. IJCAI 1985: 730-732
3 Albrecht Blaser, Brigitte Alschwee, Hein Lehmann, Hubert Lehmann, Wolfgang Schönfeld: Ein juristisches Expertensystem mit natürlichsprachlichem Dialog - Ein Projektbericht. Wissensbasierte Systeme 1985: 42-57
1983
2 Wolfgang Schönfeld: Proof Search for Unprovable Formulas. GWAI 1983: 207-215
1979
1 Wolfgang Schönfeld: An Undecidability Result for Relation Algebras. J. Symb. Log. 44(1): 111-115 (1979)

Coauthor Index

1Brigitte Alschwee [3]
2Albrecht Blaser [3]
3Egon Börger [11]
4Hans Kleine Büning [11]
5Ingo Dahn (Bernd I. Dahn) [10]
6Franz Guenthner [5]
7Hein Lehmann [3]
8Hubert Lehmann [3] [5]
9Theodor Lettmann [10]
10Andreas Meissner [14] [15]
11Jörg Pommnitz [13]
12Michael M. Richter [11]
13Ralf Steinmetz [14]
14Werner Stephan [8]
15Lars C. Wolf [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)