| 2006 |
|---|
| 7 | | Manfred Widera,
Barbara Messing,
Gabriele Kern-Isberner,
Malte Isberner,
Christoph Beierle:
Computer Science Exercises in a Virtual University.
CSREA EEE 2006: 23-29 |
| 6 | EE | Manfred Widera,
Barbara Messing,
Gabriele Kern-Isberner,
Malte Isberner,
Christoph Beierle:
An Extendable System for the Specification and Generation of Interactive Self-tests.
Edutainment 2006: 316-321 |
| 2005 |
|---|
| 5 | | Christoph Beierle,
Malte Isberner,
Gabriele Kern-Isberner,
Barbara Messing,
Manfred Widera:
Generierung interaktiver Selbsttestaufgaben im Bereich der formalen Grundlagen der Informatik aus XML-Spezifikationen.
DeLFI 2005: 523-524 |
| 2003 |
|---|
| 4 | EE | Barbara Messing:
An Introduction to MultiAgent Systems.
KI 17(4): 58- (2003) |
| 1997 |
|---|
| 3 | | Barbara Messing:
Defining Decision Rules in Signed Horn Clauses.
KI 1997: 183-194 |
| 2 | EE | Barbara Messing:
Combining Knowledge with Many-Valued Logics.
Data Knowl. Eng. 23(3): 297-315 (1997) |
| 1995 |
|---|
| 1 | | Barbara Messing,
Peter v. Stackelberg:
Regular Signed Resolution Applied to Annotated Logic Programs.
ILPS 1995: 638 |
