TALplanner: A temporal logic based forward chaining planner
暂无分享,去创建一个
[1] Fahiem Bacchus,et al. Planning for temporally extended goals , 1996, Annals of Mathematics and Artificial Intelligence.
[2] Bernhard Nebel,et al. The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..
[3] E. Sandewall. Features and fluents (vol. 1): the representation of knowledge about dynamical systems , 1995 .
[4] Vladimir Lifschitz,et al. Computing Circumscription , 1985, IJCAI.
[5] Patrick Doherty,et al. Reasoning about Action and Change Using Occlusion , 1994, ECAI.
[6] Hector Muñoz-Avila,et al. SHOP: Simple Hierarchical Ordered Planner , 1999, IJCAI.
[7] Patrick Doherty,et al. Tackling the Qualification Problem using Fluent Dependency Constraints , 2000, Comput. Intell..
[8] Henry A. Kautz,et al. BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving , 1998 .
[9] T. Henzinger. The Beneets of Relaxing Punctuality , 1996 .
[10] Patrick Doherty,et al. TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..
[11] Craig A. Knoblock,et al. Planning by Rewriting , 2001, J. Artif. Intell. Res..
[12] Muhammad Afzal Upal. Learning Plan Rewriting Rules , 2001, FLAIRS.
[13] Patrick Doherty,et al. Circumscribing Features and Fluents: A Fluent Logic for Reasoning about Action and Change , 1994, ISMIS.
[14] Lars Karlsson,et al. Reasoning about Concurrent Interaction , 1999, J. Log. Comput..
[15] Fahiem Bacchus,et al. AIPS 2000 Planning Competition: The Fifth International Conference on Artificial Intelligence Planning and Scheduling Systems , 2001 .
[16] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[17] Edwin P. D. Pednault,et al. ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.
[18] Paul Morris,et al. Don't Be Stupid , 1981, IJCAI.
[19] Patrick Doherty,et al. Embracing Occlusion in Specifying the Indirect Effects of Actions , 1996, KR.
[20] Patrik Haslum,et al. Extending TALplanner with Concurrency and Resources , 2000, ECAI.
[21] Thomas A. Henzinger,et al. Back to the future: towards a theory of timed regular languages , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[22] Michel Barbeau,et al. Planning Control Rules for Reactive Agents , 1997, Artif. Intell..
[23] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[24] Fahiem Bacchus,et al. Using temporal logic to control search in a forward chaining planner , 1996 .
[25] Thomas A. Henzinger,et al. The benefits of relaxing punctuality , 1991, PODC '91.
[26] Patrick Doherty,et al. TALplanner: an empirical investigation of a temporal logic-based forward chaining planner , 1999, Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99.
[27] Fangzhen Lin. A Planner Called R , 2001, AI Mag..
[28] Maria Fox,et al. The Detection and Exploitation of Symmetry in Planning Problems , 1999, IJCAI.
[29] Patrick Doherty,et al. Delayed Effects of Actions , 1998, European Conference on Artificial Intelligence.
[30] Fahiem Bacchus,et al. Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..
[31] Bernhard Nebel,et al. Extending Planning Graphs to an ADL Subset , 1997, ECP.