Marvin R. G. Schiller

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 15

Top Topics

Mathematical Proofs

Cognitive Systems

Top Venues

Description Logics

Publications

Johanna Weber, Margarita Esau-Held, Marvin R. G. Schiller, Eike Martin Thaden, Dietrich Manstetten, Gunnar Stevens
Designing an Interaction Concept for Assisted Cooking in Smart Kitchens: Focus on Human Agency, Proactivity, and Multimodality. Conference on Designing Interactive Systems (2023)
Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35 (3) (2021)
Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS (2020)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI (2020)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32 (1) (2019)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS (2018)
Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
Evaluating Knowledge-Based Assistance for DIY. Mensch & Computer Workshopband (2018)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI (2018)
Tanja Perleth, Marvin R. G. Schiller, Birte Glimm
Applying a Model of Text Comprehension to Automated Verbalizations of EL Derivations. Description Logics (2018)
Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT (2017)
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
Sloth - The interactive workout planner. ICCT (2017)
Marvin R. G. Schiller, Florian Schiller, Birte Glimm
Testing the Adequacy of Automated Explanations of EL Subsumptions. Description Logics (2017)
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
Integrating Ontologies and Planning for Cognitive Systems. Description Logics (2015)
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT (2015)
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI (2015)
Marvin R. G. Schiller, Birte Glimm
Towards Explicative Inference for OWL. Description Logics (2013)
Marvin R. G. Schiller
Granularity Analysis for Mathematical Proofs. Top. Cogn. Sci. 5 (2) (2013)
Marvin R. G. Schiller, Fernand R. Gobet
A Comparison between Cognitive and AI Models of Blackjack Strategy Learning. KI (2012)
Serge Autexier, Dominik Dietrich, Marvin R. G. Schiller
Towards an Intelligent Tutor for Mathematical Proofs ThEdu (2011)
Christoph Benzmüller, Marvin R. G. Schiller
Adaptive Assertion-Level Proofs. EMSQMS@IJCAR (2010)
Marvin R. G. Schiller, Christoph Benzmüller
Granularity-Adaptive Proof Presentation. AIED (2009)
Marvin R. G. Schiller, Christoph Benzmüller
Proof Granularity as an Empirical Problem? CSEDU (1) (2009)
Marvin R. G. Schiller, Christoph Benzmüller
Presenting Proofs with Adapted Granularity. KI (2009)
Marvin R. G. Schiller, Christoph Benzmüller
Granularity-Adaptive Proof Presentation CoRR (2009)
Christoph Benzmüller, Dominik Dietrich, Marvin R. G. Schiller, Serge Autexier
Deep Inference for Automated Proof Tutoring? KI (2007)
Christoph Benzmüller, Helmut Horacek, Henri Lesourd, Ivana Kruijff-Korbayová, Marvin R. G. Schiller, Magdalena Wolska
A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. LREC (2006)
Christoph Benzmüller, Helmut Horacek, Ivana Kruijff-Korbayová, Henri Lesourd, Marvin R. G. Schiller, Magdalena Wolska
DiaWOz-II - A Tool for Wizard-of-Oz Experiments in Mathematics. KI (2006)