Gerd Große

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Darmstadt University of Technology (PHD)

Education History

Darmstadt University of Technology

PHD

Publications

Gerd Große, Steffen Hölldobler, Josef Schneeberger
Linear Deductive Planning. J. Log. Comput. 6 (2) (1996)
Gerd Große, Christoph S. Herrmann, Enno Sandner
SEdit - Graphically Validating Technical Systems. FAPR (1996)
Gerd Große, Hesham Khalil
State Event Logic. Log. J. IGPL 4 (1) (1996)
Gerd Große
Propositional State Event Logic. JELIA (1994)
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)
Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
Equational Logic Programming Actions, and Change. JICSLP (1992)
Gerd Große, Richard J. Waldinger
Towards a Theory of Simultaneous Actions. EWSP (1991)