Cognitive Assistants

Page 12 of 12.

1. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

   Deep Inference for Automated Proof Tutoring?

   In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

2. Ulrich Furbach; Hans-Jürgen Bürckert; Joachim Hertzberg; Bernhard Nebel; Gerd Brewka; Gerd Lakemeyer; Torsten Schaub; Frank Puppe

   Ist die Wissensrepräsentation tot?

   In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

• previous
• 1
• …
• 10
• 11
• 12