Gerd Große

According to our database, Gerd Große authored at least 8 papers between 1991 and 1997.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1997

State event logic.

Gerd Große

PhD thesis, 1997

1996

Linear Deductive Planning.

Gerd Große, Steffen Hölldobler, Josef Schneeberger

J. Log. Comput., 1996

State Event Logic.

Gerd Große, Hesham Khalil

Log. J. IGPL, 1996

SEdit - Graphically Validating Technical Systems.

Gerd Große, Christoph S. Herrmann, Enno Sandner

Proceedings of the Practical Reasoning, 1996

1994

Propositional State Event Logic.

Gerd Große

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

1993

Disjunction in Plan Generation by Equational Logic Programming.

Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher

Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

1992

Equational Logic Programming Actions, and Change.

Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher

Proceedings of the Logic Programming, 1992

1991

Towards a Theory of Simultaneous Actions.

Gerd Große, Richard J. Waldinger

Proceedings of the European Workshop on Planning, 1991