the Belief-Desire-Intention Model of Agency

[1]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[2]  Hector Muñoz-Avila,et al.  Applications of SHOP and SHOP2 , 2005, IEEE Intelligent Systems.

[3]  Lin Padgham,et al.  A Comparison of BDI Based Real-Time Reasoning and HTN Based Planning , 2004, Australian Conference on Artificial Intelligence.

[4]  Winfried Lamersdorf,et al.  Deployment of Distributed Multi-agent Systems , 2004, ESAW.

[5]  Daniel Moldt,et al.  Goal Representation for BDI Agent Systems , 2004, PROMAS.

[6]  Avelino Francisco Zorzo,et al.  Propositional planning in BDI agents , 2004, SAC '04.

[7]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[8]  Keith S. Decker,et al.  DECAF - A Flexible Multi Agent System Architecture , 2003, Autonomous Agents and Multi-Agent Systems.

[9]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[10]  Dana S. Nau,et al.  SHOP2: An HTN Planning System , 2003, J. Artif. Intell. Res..

[11]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[12]  Yixin Chen,et al.  Partitioning of temporal planning problems in mixed space using the theory of extended saddle points , 2003, Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence.

[13]  Dana Nau,et al.  A General Approach to Synthesize Problem-Specific Planners , 2003 .

[14]  Philip R. Cohen,et al.  Persistence, Intention, and Commitment , 2003 .

[15]  Ivan Serina,et al.  LPG: A Planner Based on Local Search for Planning Graphs with Action Costs , 2002, AIPS.

[16]  Subbarao Kambhampati,et al.  Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search , 2002, Artif. Intell..

[17]  Bernhard Nebel,et al.  The FF Planning System: Fast Plan Generation Through Heuristic Search , 2011, J. Artif. Intell. Res..

[18]  Fangzhen Lin.  A Planner Called R , 2001, AI Mag..

[19]  Blai Bonet,et al.  Heuristic Search Planner 2.0 , 2001, AI Mag..

[20]  Patrick Doherty,et al.  TALplanner: A Temporal Logic-Based Planner , 2001, AI Mag..

[21]  Michael Wooldridge,et al.  The control of reasoning in resource-bounded agents , 2001, The Knowledge Engineering Review.

[22]  Subbarao Kambhampati,et al.  Reviving Partial Order Planning , 2001, IJCAI.

[23]  Ioannis P. Vlahavas,et al.  The GRT Planner: New Results , 2000, Local Search for Planning and Scheduling.

[24]  Malte Helmert,et al.  On the Implementation of MIPS , 2000 .

[25]  Fahiem Bacchus,et al.  Using temporal logics to express search control knowledge for planning , 2000, Artif. Intell..

[26]  Félix Ingrand,et al.  Propice-Plan: Toward a Unified Framework for Planning and Execution , 1999, ECP.

[27]  Hector Muñoz-Avila,et al.  SHOP: Simple Hierarchical Ordered Planner , 1999, IJCAI.

[28]  Nicholas R. Jennings,et al.  Agent-Based Computing: Promise and Perils , 1999, IJCAI.

[29]  Bart Selman,et al.  Unifying SAT-based and Graph-based Planning , 1999, IJCAI.

[30]  Paolo Busetta,et al.  Structuring BDI Agents in Functional Clusters , 1999, ATAL.

[31]  Keith S. Decker,et al.  Towards a Distributed, Environment-Centered Agent Framework , 1999, ATAL.

[32]  Onn Shehory,et al.  A Planning Component for RETSINA Agents , 1999, ATAL.

[33]  Marcus J. Huber.  JAM: a BDI-theoretic mobile agent architecture , 1999, AGENTS '99.

[34]  Helder Coelho,et al.  BDI models and systems : Reducing the gap , 1999 .

[35]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[36]  Michael Wooldridge,et al.  The Belief-Desire-Intention Model of Agency , 1998, ATAL.

[37]  David E. Smith,et al.  Extending Graphplan to handle uncertainty and sensing actions , 1998, AAAI 1998.

[38]  Patrick Doherty,et al.  TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..

[39]  Bernhard Nebel,et al.  Extending Planning Graphs to an ADL Subset , 1997, ECP.

[40]  Blai Bonet,et al.  A Robust and Fast Action Selection Mechanism for Planning , 1997, AAAI/IAAI.

[41]  Michael Wooldridge,et al.  A Formal Specification of dMARS , 1997, ATAL.

[42]  Michael Wooldridge,et al.  Agent-based software engineering , 1997, IEE Proc. Softw. Eng..

[43]  Austin Tate,et al.  O-Plan: a Knowledge-Based Planner and its Application to Logistics , 1996 .

[44]  Jörg P. Müller,et al.  Unifying Control in a Layered Agent Architecture , 2011, ICMAS.

[45]  Avrim Blum,et al.  Fast Planning Through Planning Graph Analysis , 1995, IJCAI.

[46]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[47]  Tom Bylander,et al.  The Computational Complexity of Propositional STRIPS Planning , 1994, Artif. Intell..

[48]  James A. Hendler,et al.  UMCP: A Sound and Complete Procedure for Hierarchical Task-network Planning , 1994, AIPS.

[49]  Daniel S. Weld,et al.  UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.

[50]  Bart Selman,et al.  Planning as Satisfiability , 1992, ECAI.

[51]  Tom Bylander,et al.  Complexity Results for Serial Decomposability , 1992, AAAI.

[52]  Jean-Jacques Fuchs,et al.  OPTIMUM-AIV: A planning and scheduling system for spacecraft AIV , 1992, Future Gener. Comput. Syst..

[53]  Oren Etzioni,et al.  PRODIGY: an integrated architecture for planning and learning , 1991, SGAR.

[54]  James F. Allen.  Planning as Temporal Reasoning , 1991, KR.

[55]  M. P. Georgeff,et al.  Real-time reasoning: the monitoring and control of spacecraft systems , 1990, Sixth Conference on Artificial Intelligence for Applications.

[56]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[57]  Robert James Firby,et al.  Adaptive execution in complex dynamic worlds , 1989 .

[58]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[59]  David E. Wilkins,et al.  Practical planning - extending the classical AI planning paradigm , 1989, Morgan Kaufmann series in representation and reasoning.

[60]  David J. Israel,et al.  Plans and resource‐bounded practical reasoning , 1988, Comput. Intell..

[61]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[62]  Allen Newell,et al.  SOAR: An Architecture for General Intelligence , 1987, Artif. Intell..

[63]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[64]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[65]  R. Wilensky.  Planning and Understanding: A Computational Approach to Human Reasoning , 1983 .

[66]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[67]  Barbara Hayes-Roth,et al.  A Cognitive Model of Planning , 1979, Cogn. Sci..

[68]  Earl D. Sacerdoti,et al.  The Nonlinear Nature of Plans , 1975, IJCAI.

[69]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[70]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[71]  C. Cordell Green,et al.  Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[72]  J. McCarthy.  Situations, Actions, and Causal Laws , 1963 .