Marvin R. G. Schiller

30 papers A* 3A 2B 2Misc 4Journal 4Unranked 12

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