Browsing by Index of Persons Hinkelmann, Knut

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 13 of 13
Year of PublicationTitleAuthor(s)Open Access
1991ARC-TEC : acquisition, representation and compilation of technical knowledgeBernardi, Ansgar; Boley, Harold; Hanschke, Philipp, et al
1991Bidirectional reasoning of horn clause programs : transformation and compilationHinkelmann, Knut
1993COLAB : a hybrid knowledge representation and compilation laboratoryBoley, Harold; Hanschke, Philipp; Hinkelmann, Knut, et al
1992Combining terminological and rule-based reasoning for abstraction processesHanschke, Philipp; Hinkelmann, Knut
1994Computing cost estimates for proof strategiesHinkelmann, Knut; Hintze, Helge
1994A consequence-finding approach for feature recognition in CAPPHinkelmann, Knut
1995An environment for exploring and validating declarative knowledgeAbecker, Andreas; Boley, Harold; Hinkelmann, Knut, et al
1991Forward logic evaluation : developing a compiler from a partially evaluated meta interpreterHinkelmann, Knut
2001Geschäftsprozessorientiertes Wissensmanagement : Workshop im Rahmen der 1. Konferenz Professionelles Wissensmanagement - Erfahrungen und Visionen ; Kongresshaus Baden-Baden 14.-16. März 2001Müller, Heinz-Jürgen; Abecker, Andreas; Hinkelmann, Knut, et al
1992Integrating bottom-up and top-down reasoning in COLABHarm, Martin; Hinkelmann, Knut; Labisch, Thomas
1997Knowledge-based systems for knowledge management in enterprises : Workshop held at the 21st Annual German Conference on AI (KI-97)Abecker, Andreas; Decker, Stefan; Hinkelmann, Knut, et al
1998Techniques for organizational memory information systemsAbecker, Andreas; Bernardi, Ansgar; Hinkelmann, Knut, et al
1991μCAD2NC : a declarative lathe-workplanning model transforming CAD-like geometries into abstract NC programsBoley, Harold; Hanschke, Philipp; Harm, Martin, et al