New Developments for Robert - Assisting Novice Users Even Better in DIY Projects
暂无分享,去创建一个
Wolfgang Minker | Birte Glimm | Susanne Biundo-Stephan | Gregor Behnke | Pascal Bercher | Michael Dorna | Dietrich Manstetten | Matthias Kraus | Michael Dambier | Marvin R. G. Schiller | Kristof Mickeleit | Timo Häge | W. Minker | Michael Dorna | Matthias Kraus | P. Bercher | G. Behnke | M. Dambier | Birte Glimm | Susanne Biundo-Stephan | D. Manstetten | Kristof Mickeleit | Timo Häge
[1] Susanne Biundo-Stephan,et al. totSAT - Totally-Ordered Hierarchical Planning Through SAT , 2018, AAAI.
[2] Susanne Biundo-Stephan,et al. Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning , 2019, AAAI.
[3] Susanne Biundo-Stephan,et al. Companion-Technology: An Overview , 2016, KI - Künstliche Intelligenz.
[4] Fred Kröger,et al. Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.
[5] Susanne Biundo-Stephan,et al. Language Classification of Hierarchical Planning Problems , 2014, ECAI.
[6] Wolfgang Minker,et al. User Involvement in Collaborative Decision-Making Dialog Systems , 2016, IWSDS.
[7] Allen P. Nikora,et al. Automated Identification of LTL Patterns in Natural Language Requirements , 2009, 2009 20th International Symposium on Software Reliability Engineering.
[8] Jussi Rintanen,et al. Planning for Temporally Extended Goals as Propositional Satisfiability , 2007, IJCAI.
[9] James A. Hendler,et al. Complexity results for HTN planning , 1994, Annals of Mathematics and Artificial Intelligence.
[10] R Core Team,et al. R: A language and environment for statistical computing. , 2014 .
[11] Derek Long,et al. Plan Constraints and Preferences in PDDL3 , 2006 .
[12] Susanne Biundo-Stephan,et al. A Generic Method to Guide HTN Progression Search with Classical Heuristics , 2018, ICAPS.
[13] Susanne Biundo-Stephan,et al. Change the Plan - How Hard Can That Be? , 2016, ICAPS.
[14] Wolfgang Minker,et al. The Interplay of User-Centered Dialog Systems and AI Planning , 2015, SIGDIAL Conference.
[15] Susanne Biundo-Stephan,et al. Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages , 2016, ICAPS.
[16] Wolfgang Minker,et al. A Multimodal Dialogue Framework for Cloud-Based Companion Systems , 2018, IWSDS.
[17] Susanne Biundo-Stephan,et al. Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems , 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).
[18] Wolfgang Minker,et al. Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects , 2019, AI Commun..
[19] Susanne Biundo-Stephan,et al. An Admissible HTN Planning Heuristic , 2017, IJCAI.
[20] Wolfgang Minker,et al. Instructing Novice Users on How to Use Tools in DIY Projects , 2018, IJCAI.
[21] Ron Alford,et al. A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations , 2019, IJCAI.
[22] Wolfgang Minker,et al. Evaluating Knowledge-Based Assistance for DIY , 2018, MuC Workshopband.
[23] Susanne Biundo-Stephan,et al. X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism , 2018, Inteligencia Artif..
[24] Susanne Biundo-Stephan,et al. Finding Optimal Solutions in HTN Planning - A SAT-based Approach , 2019, IJCAI.