Watching and Acting Together: Concurrent Plan Recognition and Adaptation for Human-Robot Teams
暂无分享,去创建一个
[1] Johan de Kleer,et al. Extending the ATMS , 1986, Artif. Intell..
[2] David Wang,et al. tBurton: A Divide and Conquer Temporal Planner , 2015, AAAI.
[3] Christopher W. Geib,et al. Building Helpful Virtual Agents Using Plan Recognition and Planning , 2021, AIIDE.
[4] Stefanos Nikolaidis,et al. Human-robot cross-training: Computational formulation, modeling and evaluation of a human team training strategy , 2013, 2013 8th ACM/IEEE International Conference on Human-Robot Interaction (HRI).
[5] Brian Charles Williams,et al. Drake: An Efficient Executive for Temporal Plans with Choice , 2011, J. Artif. Intell. Res..
[6] Christian J. Muise,et al. Fast d-DNNF Compilation with sharpSAT , 2010, Abstraction, Reformulation, and Approximation.
[7] Luke Hunsberger,et al. The Dynamic Controllability of Conditional STNs with Uncertainty , 2012, ArXiv.
[8] R. Goldman,et al. HOTRiDE: Hierarchical Ordered Task Replanning in Dynamic Environments , 2007 .
[9] Erez Karpas,et al. Goal Recognition Design , 2014, ICAPS.
[10] Julie A. Shah,et al. Flexible Execution of Plans with Choice , 2009, ICAPS.
[11] Sylvie Thiébaux,et al. RAO*: An Algorithm for Chance-Constrained POMDP's , 2016, AAAI.
[12] Nicola Muscettola,et al. Reformulating Temporal Plans for Efficient Execution , 1998, KR.
[13] David A. McAllester,et al. Systematic Nonlinear Planning , 1991, AAAI.
[14] Meir Kalech,et al. Sequential Plan Recognition: (Extended Abstract) , 2016, AAMAS.
[15] Hung Hai Bui,et al. A General Model for Online Probabilistic Plan Recognition , 2003, IJCAI.
[16] Pierre Marquis,et al. A Knowledge Compilation Map , 2002, J. Artif. Intell. Res..
[17] Lavindra de Silva,et al. Planning in BDI agents: a survey of the integration of planning algorithms and agent reasoning , 2013, The Knowledge Engineering Review.
[18] Robert P. Goldman,et al. A New Model of Plan Recognition , 1999, UAI.
[19] Brian C. Williams,et al. Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..
[20] J. A. Robinson,et al. Automatic Deduction with Hyper-Resolution , 1983 .
[21] Daniel S. Weld,et al. UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.
[22] Derek Long,et al. Domain Independent Goal Recognition , 2010, STAIRS.
[23] Brian Charles Williams,et al. Chance-Constrained Consistency for Probabilistic Temporal Plan Networks , 2014, ICAPS.
[24] Steven James Levine,et al. Monitoring the execution of temporal plans for robotic systems , 2012 .
[25] Christian J. Muise,et al. Flexible Execution of Partial Order Plans With Temporal Constraints , 2013, IJCAI.
[26] Thierry Vidal. A Unified Dynamic Approach for Dealing with Temporal Uncertainty and Conditional Planning , 2000, AIPS.
[27] Rob Sherwood,et al. Using Iterative Repair to Improve the Responsiveness of Planning and Scheduling , 2000, AIPS.
[28] Andrew Coles,et al. Temporal Planning with Preferences and Time-Dependent Continuous Costs , 2012, ICAPS.
[29] Henry A. Kautz,et al. Generalized Plan Recognition , 1986, AAAI.
[30] Félix Ingrand,et al. Interleaving Temporal Planning and Execution in Robotics Domains , 2004, AAAI.
[31] Alex Kean,et al. An Incremental Method for Generating Prime Implicants/Impicates , 1990, J. Symb. Comput..
[32] Brian C. Williams,et al. Flexible execution of plans with choice and uncertainty , 2011 .
[33] Thierry Vidal,et al. Handling contingency in temporal constraint networks: from consistency to controllabilities , 1999, J. Exp. Theor. Artif. Intell..
[34] Paul Harrison Elliott,et al. An efficient projected minimal conflict generator for projected prime implicate and implicant generation , 2004 .
[35] Shlomo Zilberstein,et al. Integration of Planning with Recognition for Responsive Interaction Using Classical Planners , 2017, AAAI.
[36] Mark Abramson,et al. Executing Reactive, Model-based Programs through Graph-based Temporal Planning , 2001, IJCAI.
[37] Alessandro Saffiotti,et al. A constraint-based approach for proactive, context-aware human support , 2012, J. Ambient Intell. Smart Environ..
[38] Brian C. Williams,et al. Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.
[39] Rachid Alami,et al. Planning and Plan-execution for Human-Robot Cooperative Task achievement , 2009, ICAPS 2009.
[40] Spencer Dale Lane. Propositional and activity monitoring using qualitative spatial reasoning , 2016 .
[41] Rina Dechter,et al. Temporal Constraint Networks , 1989, Artif. Intell..
[42] Karen Zita Haigh,et al. Interleaving Planning and Robot Execution for Asynchronous User Requests , 1998, Auton. Robots.
[43] Cheng Fang,et al. Resolving Uncontrollable Conditional Temporal Problems Using Continuous Relaxations , 2014, ICAPS.
[44] Julie A. Shah,et al. Fast Distributed Multi-agent Plan Execution with Dynamic Task Assignment and Scheduling , 2009, ICAPS.
[45] Erez Karpas,et al. Robust Execution of Plans for Human-Robot Teams , 2015, ICAPS.
[46] Nicola Muscettola,et al. Model-based executive control through reactive planning for autonomous rovers , 2004, 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566).
[47] Robert T. Effinger,et al. Dynamic Controllability of Temporally-flexible Reactive Programs , 2009, ICAPS.
[48] W. Quine. On Cores and Prime Implicants of Truth Functions , 1959 .
[49] Sandra Carberry,et al. Techniques for Plan Recognition , 2001, User Modeling and User-Adapted Interaction.
[50] Christian J. Muise,et al. Improved Non-Deterministic Planning by Exploiting State Relevance , 2012, ICAPS.
[51] Maria Fox,et al. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..
[52] Nicola Muscettola,et al. Fast Transformation of Temporal Plans for Efficient Execution , 1998, AAAI/IAAI.
[53] Manuela M. Veloso,et al. Rationale-Based Monitoring for Planning in Dynamic Environments , 1998, AIPS.
[54] Peter Norvig,et al. Artificial Intelligence: A Modern Approach , 1995 .
[55] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[56] Malik Ghallab,et al. Deliberation for autonomous robots: A survey , 2017, Artif. Intell..
[57] Christian J. Muise,et al. Optimal Partial-Order Plan Relaxation via MaxSAT , 2016, J. Artif. Intell. Res..
[58] Hila Zarosim,et al. Fast and Complete Symbolic Plan Recognition: Allowing for Duration, Interleaved Execution, and Lossy Observations , 2005 .
[59] Brian Charles Williams,et al. Concurrent Plan Recognition and Execution for Human-Robot Teams , 2014, ICAPS.
[60] G. S. Tseitin. On the Complexity of Derivation in Propositional Calculus , 1983 .
[61] Rachid Alami,et al. SHARY: A Supervision System Adapted to Human-Robot Interaction , 2008, ISER.
[62] Sam Steel,et al. Integrating Planning, Execution and Monitoring , 1988, AAAI.
[63] Hector Geffner,et al. Probabilistic Plan Recognition Using Off-the-Shelf Classical Planners , 2010, AAAI.
[64] Johan de Kleer,et al. An Assumption-Based TMS , 1987, Artif. Intell..
[65] Subbarao Kambhampati,et al. Handling Model Uncertainty and Multiplicity in Explanations via Model Reconciliation , 2018, ICAPS.
[66] Tom Bylander,et al. The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..