| 1996 |
|---|
| 7 | | Gerd Große,
Christoph S. Herrmann,
Enno Sandner:
SEdit - Graphically Validating Technical Systems.
FAPR 1996: 345-348 |
| 6 | | Gerd Große,
Steffen Hölldobler,
Josef Schneeberger:
Linear Deductive Planning.
J. Log. Comput. 6(2): 233-262 (1996) |
| 5 | EE | Gerd Große,
Hesham Khalil:
State Event Logic.
Logic Journal of the IGPL 4(1): 47-74 (1996) |
| 1994 |
|---|
| 4 | | Gerd Große:
Propositional State Event Logic.
JELIA 1994: 316-331 |
| 1993 |
|---|
| 3 | | Stefan Brüning,
Gerd Große,
Steffen Hölldobler,
Josef Schneeberger,
Ute Cornelia Sigmund,
Michael Thielscher:
Disjunction in Plan Generation by Equational Logic Programming.
PuK 1993: 18-26 |
| 1992 |
|---|
| 2 | | Gerd Große,
Steffen Hölldobler,
Josef Schneeberger,
Ute Cornelia Sigmund,
Michael Thielscher:
Equational Logic Programming Actions, and Change.
JICSLP 1992: 177-191 |
| 1991 |
|---|
| 1 | | Gerd Große,
Richard J. Waldinger:
Towards a Theory of Simultaneous Actions.
EWSP 1991: 78-87 |
