Intelligent Execution Monitoring in Dynamic Environments
暂无分享,去创建一个
Michael Thielscher | Axel Großmann | Matthias Fichtner | M. Thielscher | Axel Grossmann | Matthias Fichtner
[1] Murray Shanahan,et al. Robotics and the Common Sense Informatic Situation , 1996, ECAI.
[2] Michael Thielscher. Programming of Reasoning and Planning Agents with FLUX , 2002, KR 2002.
[3] Michael Thielscher,et al. Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .
[4] Gerhard Brewka,et al. Adding Priorities and Specificity to Default Logic , 1994, JELIA.
[5] Karen Zita Haigh,et al. High-level planning and low-level execution: towards a complete robotic agent , 1997, AGENTS '97.
[6] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[7] Wolfram Burgard,et al. Robust Monte Carlo localization for mobile robots , 2001, Artif. Intell..
[8] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[9] W. Burgard,et al. Markov Localization for Mobile Robots in Dynamic Environments , 1999, J. Artif. Intell. Res..
[10] Qiang Yang,et al. Intelligent planning - a decomposition and abstraction based approach , 1997, Artificial intelligence.
[11] Reid G. Simmons,et al. Robust execution monitoring for navigation plans , 1998, Proceedings. 1998 IEEE/RSJ International Conference on Intelligent Robots and Systems. Innovations in Theory, Practice and Applications (Cat. No.98CH36190).
[12] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[13] Erik Sandewall,et al. Combining Logic and Differential Equations for Describing Real-World Systems , 1989, KR.
[14] Giuseppe De Giacomo,et al. Execution Monitoring of High-Level Robot Programs , 1998, KR.
[15] Alessandro Saffiotti. Some Notes on the Integration of Planning and Reactivity in Autonomous Mobile Robots , 1993 .
[16] Michael Thielscher,et al. The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..
[17] Murray Shanahan,et al. Representing Continuous Change in the Event Calculus , 1990, ECAI.
[18] Michael Thielscher,et al. Addressing the Qualification Problem in FLUX , 2001, KI/ÖGAI.
[19] Erann Gat,et al. Integrating Planning and Reacting in a Heterogeneous Asynchronous Architecture for Controlling Real-World Mobile Robots , 1992, AAAI.
[20] Michael Thielscher,et al. Representing the Knowledge of a Robot , 2000, KR.
[21] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[22] Raymond Reiter,et al. Natural Actions, Concurrency and Continuous Time in the Situation Calculus , 1996, KR.
[23] Michael Thielscher,et al. The Concurrent, Continuous Fluent Calculus , 2001, Stud Logica.
[24] Hector J. Levesque,et al. The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.
[25] Jan Jaspars,et al. Logic in action , 1991 .
[26] Anthony Stentz,et al. The Focussed D* Algorithm for Real-Time Replanning , 1995, IJCAI.
[27] Wolfram Burgard,et al. Monte Carlo Localization: Efficient Position Estimation for Mobile Robots , 1999, AAAI/IAAI.
[28] John McCarthy,et al. Epistemological Problems of Artificial Intelligence , 1987, IJCAI.
[29] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[30] Wolfram Burgard,et al. GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot , 1998, KI.
[31] Yves Martin,et al. The concurrent, continuous FLUX , 2003, IJCAI 2003.
[32] David E. Smith,et al. Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..