Deutsches Forschungszentrum für Künstliche Intelligenz
Werke:
- A heuristic driven chart parser for attributed node labeled graph grammars and its application to feature recognition in CIM
- CTL, a description logic with expressive concrete domains
- Typed feature formalisms as a common basis for linguistic specification
- Theoretical consideration of goal recognition aspects for understanding information in business letters