Susanne Schacht

According to our database, Susanne Schacht authored at least 8 papers between 1994 and 2001.

Collaborative distances:

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

2001

Formal Reasoning about Actor Programs Using Temporal Logic.

Susanne Schacht

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

1999

WAL: eine aktorenbasierte Spezifikationssprache für lexikalisch verteilte Grammatiken und Parser.

Susanne Schacht

PhD thesis, 1999

1997

A Denotational Semantics for Joining Description Logics and Object-Oriented Programming.

Susanne Schacht, Udo Hahn

Proceedings of the Sixth Scandinavian Conference on Artificial Intelligence, 1997

Making Objects More Knowledgeable.

Susanne Schacht, Udo Hahn

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Temporal Reasoning about Actor Systems.

Susanne Schacht, Udo Hahn

Proceedings of the Progress in Artificial Intelligence, 1997

1994

Concurrent, object-oriented natural language parsing: the ParseTalk model.

Udo Hahn, Susanne Schacht, Norbert Bröker

Int. J. Hum. Comput. Stud., 1994

Concurrent Lexicalized Dependency Parsing: A Behavioral View On ParseTalk Events.

Susanne Schacht, Udo Hahn, Norbert Bröker

Proceedings of the 15th International Conference on Computational Linguistics, 1994

Concurrent Lexicalized Dependency Parsing: The ParseTalk Model.

Norbert Bröker, Udo Hahn, Susanne Schacht

Proceedings of the 15th International Conference on Computational Linguistics, 1994