A BDI agent programming language with failure handling, declarative goals, and planning
Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The Belief-Desire-Intention (BDI) agent paradigm has proven to be one of the major approaches to intelligent agent systems, both in academia and i...
Uloženo v:
| Vydáno v: | Autonomous agents and multi-agent systems Ročník 23; číslo 1; s. 18 - 70 |
|---|---|
| Hlavní autoři: | , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Boston
Springer US
01.07.2011
|
| Témata: | |
| ISSN: | 1387-2532, 1573-7454 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The Belief-Desire-Intention (BDI) agent paradigm has proven to be one of the major approaches to intelligent agent systems, both in academia and in industry. Typical BDI agent-oriented programming languages rely on user-provided “plan libraries” to achieve goals, and
online
context sensitive subgoal selection and expansion. These allow for the development of systems that are extremely flexible and responsive to the environment, and as a result, well suited for complex applications with (soft) real-time reasoning and control requirements. Nonetheless, complex decision making that goes beyond, but is compatible with, run-time context-dependent plan selection is one of the most natural and important next steps within this technology. In this paper we develop a typical BDI-style agent-oriented programming language that enhances usual BDI programming style with three distinguished features:
declarative goals
,
look-ahead planning
, and
failure handling
. First, an account that mixes both procedural and declarative aspects of goals is necessary in order to reason about important properties of goals and to decouple plans from what these plans are meant to achieve. Second, lookahead deliberation about the effects of one choice of expansion over another is clearly desirable or even mandatory in many circumstances so as to guarantee goal achievability and to avoid undesired situations. Finally, a failure handling mechanism, suitably integrated with both declarative goals and planning, is required in order to model an adequate level of commitment to goals, as well as to be consistent with most real BDI
implemented
systems. |
|---|---|
| AbstractList | Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The Belief-Desire-Intention (BDI) agent paradigm has proven to be one of the major approaches to intelligent agent systems, both in academia and in industry. Typical BDI agent-oriented programming languages rely on user-provided “plan libraries” to achieve goals, and
online
context sensitive subgoal selection and expansion. These allow for the development of systems that are extremely flexible and responsive to the environment, and as a result, well suited for complex applications with (soft) real-time reasoning and control requirements. Nonetheless, complex decision making that goes beyond, but is compatible with, run-time context-dependent plan selection is one of the most natural and important next steps within this technology. In this paper we develop a typical BDI-style agent-oriented programming language that enhances usual BDI programming style with three distinguished features:
declarative goals
,
look-ahead planning
, and
failure handling
. First, an account that mixes both procedural and declarative aspects of goals is necessary in order to reason about important properties of goals and to decouple plans from what these plans are meant to achieve. Second, lookahead deliberation about the effects of one choice of expansion over another is clearly desirable or even mandatory in many circumstances so as to guarantee goal achievability and to avoid undesired situations. Finally, a failure handling mechanism, suitably integrated with both declarative goals and planning, is required in order to model an adequate level of commitment to goals, as well as to be consistent with most real BDI
implemented
systems. |
| Author | Sardina, Sebastian Padgham, Lin |
| Author_xml | – sequence: 1 givenname: Sebastian surname: Sardina fullname: Sardina, Sebastian email: sebastian.sardina@rmit.edu.au organization: School of Computer Science and IT, RMIT University – sequence: 2 givenname: Lin surname: Padgham fullname: Padgham, Lin organization: School of Computer Science and IT, RMIT University |
| BookMark | eNp9kMtOwzAQRS1UJNrCB7DzBzTgRx72spRXpUpsQCytiWOnqVKnchIQf89UZcWim_Hojs_Y987IJHTBEXLL2R1nrLjvOUszlTDOEs0llgsy5VkhkyLN0gn2UhWJyKS4IrO-3zHGc5HzKflc0ofHNYXahYEeYldH2O-bUNMWQj2iTL-bYUs9NO0YHd1CqFocL2jlbAsRhubL0bqDtl9QnNEDcgEvXJNLj6K7-Tvn5OP56X31mmzeXtar5SaxUvMhUfjp3EvQFnJfikwrSFXqUl0qVpWlF6CU9U5CJT2kWnpdMKEls7bMyzzP5Jzw014bu76PzptDbPYQfwxn5piMOSVjMBlzTMZoZIp_jG0GdNKFIaLPs6Q4kT2-EmoXza4bY0CDZ6BfCcl6Yg |
| CitedBy_id | crossref_primary_10_1007_s00146_017_0790_8 crossref_primary_10_1007_s10270_023_01121_5 crossref_primary_10_1007_s10458_013_9238_9 crossref_primary_10_1016_j_scico_2021_102760 crossref_primary_10_1016_j_dcan_2015_10_003 crossref_primary_10_1016_j_tcs_2019_01_034 crossref_primary_10_1007_s10458_021_09525_7 crossref_primary_10_1609_aimag_v33i3_2422 crossref_primary_10_1016_j_artint_2021_103554 crossref_primary_10_1017_S0269888913000337 crossref_primary_10_1080_08839514_2015_1071089 crossref_primary_10_1109_TSC_2018_2866791 crossref_primary_10_1016_j_engappai_2015_04_011 crossref_primary_10_1007_s10458_015_9293_5 crossref_primary_10_1111_exsy_12086 crossref_primary_10_1016_j_artint_2015_10_001 crossref_primary_10_1007_s10458_016_9332_x crossref_primary_10_1016_j_scico_2024_103254 crossref_primary_10_1007_s10458_015_9322_4 crossref_primary_10_1016_j_eswa_2013_05_058 crossref_primary_10_1007_s10458_025_09687_8 crossref_primary_10_21869_2223_1560_2025_29_1_52_78 |
| Cites_doi | 10.1016/S0004-3702(98)00041-1 10.1145/1160633.1160813 10.1109/MIS.2005.20 10.1007/978-0-387-89299-3_2 10.1145/1160633.1160932 10.1016/j.jal.2005.12.014 10.1007/0-387-26350-0_2 10.1145/860575.860640 10.1007/11493402_1 10.1023/A:1026044009832 10.1016/S0004-3702(99)00005-3 10.1007/978-3-642-83189-8 10.1023/A:1021560510377 10.1007/978-3-540-30549-1_118 10.1007/BF02136175 10.1145/1329125.1329134 10.1016/0004-3702(90)90055-5 10.1007/s10458-008-9036-y 10.1145/860575.860592 10.1145/1082473.1082494 10.1145/1160633.1160938 10.1109/64.180407 10.1023/B:AGNT.0000019688.11109.19 10.1093/logcom/5.6.731 10.1007/978-3-540-45133-4_32 10.1023/B:AMAI.0000034527.45635.e5 10.1145/1160633.1160868 10.1145/1160633.1160867 10.1023/A:1010084620690 10.1613/jair.2158 10.1145/860575.860642 10.1080/09528139508953802 10.1145/367211.367250 10.1023/B:AMAI.0000031197.13122.aa |
| ContentType | Journal Article |
| Copyright | The Author(s) 2010 |
| Copyright_xml | – notice: The Author(s) 2010 |
| DBID | AAYXX CITATION |
| DOI | 10.1007/s10458-010-9130-9 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1573-7454 |
| EndPage | 70 |
| ExternalDocumentID | 10_1007_s10458_010_9130_9 |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 23N 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6J9 6NX 6TJ 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACDTI ACGFO ACGFS ACHSB ACHXU ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACREN ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADYOE ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFLOW AFQWF AFWTZ AFYQB AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN B-. BA0 BDATZ BGNMA BSONS CAG COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG F5P FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ6 GQ7 GQ8 GXS H13 HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ KDC KOV LAK LLZTM M4Y MA- N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM OVD P2P P9O PF0 PT4 PT5 QOS R89 R9I RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TEORI TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 YLTOR Z45 Z7R Z7X Z81 Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ABJCF ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFKRA AFOHR AGQPQ AHPBZ AHWEU AIXLP ARAPS ATHPR AYFIA BENPR BGLVJ CCPQU CITATION HCIFZ K7- M7S PHGZM PHGZT PQGLB PTHSS |
| ID | FETCH-LOGICAL-c391t-84586f3a9ca6fb2598a484e49b80dbbf2a88cfe3ad3fa493f9702930ccb6b6653 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 73 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000289104000002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1387-2532 |
| IngestDate | Tue Nov 18 22:18:18 EST 2025 Sat Nov 29 01:33:08 EST 2025 Fri Feb 21 02:32:29 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | HTN planning Goal reasoning BDI agent-oriented programming |
| Language | English |
| License | http://www.springer.com/tdm |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c391t-84586f3a9ca6fb2598a484e49b80dbbf2a88cfe3ad3fa493f9702930ccb6b6653 |
| PageCount | 53 |
| ParticipantIDs | crossref_primary_10_1007_s10458_010_9130_9 crossref_citationtrail_10_1007_s10458_010_9130_9 springer_journals_10_1007_s10458_010_9130_9 |
| PublicationCentury | 2000 |
| PublicationDate | 2011-07-01 |
| PublicationDateYYYYMMDD | 2011-07-01 |
| PublicationDate_xml | – month: 07 year: 2011 text: 2011-07-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Boston |
| PublicationPlace_xml | – name: Boston |
| PublicationTitle | Autonomous agents and multi-agent systems |
| PublicationTitleAbbrev | Auton Agent Multi-Agent Syst |
| PublicationYear | 2011 |
| Publisher | Springer US |
| Publisher_xml | – name: Springer US |
| References | NauD. S.Current trends in automated planningAI Magazine20072844358 LinF.LevesqueH. J.What robots can do: Robot programs and effective achievabilityArtificial Intelligence Journal199810120122610.1016/S0004-3702(98)00041-10909.681761641538 Belecheanu, R. A., Munroe, S., Luck, M., Payne, T., Miller, T., McBurney, et al. (2006). Commercial applications of agents: Lessons, experiences and challenges. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1549–1555). Rao, A. S. (1996). Agentspeak(L): BDI agents speak out in a logical computable language. In W. Vander Velde & J. W. Perram (Eds.), Proc. of the 7th European workshop on modelling autonomous agents in a multi-agent world. (Agents breaking away) (Volume 1038 of LNCS, pp. 42–55). NY: Springer. De GiacomoG.LespéranceY.LevesqueH. J.SardinaS.BordiniR. H.DastaniM.DixJ.Fallah-SeghrouchniA. E.IndiGolog: A high-level programming language for embedded reasoning agentsMulti-agent programming: Languages, platforms and applications (Chap. 2)2009NYSpringer3172 Meneguzzi, F., & Luck, M. (2009). Leveraging new plans in AgentSpeak(PL). In Proc. of the international workshop on declarative agent languages and technologies (DALT) (Volume 5397 of LNCS, pp. 111–127). NY: Springer. de BoerF. S.HindriksK. V.van der HoekW.MeyerJ.-J.A verification framework for agent programming with declarative goalsJournal of Applied Logic20075227730210.1016/j.jal.2005.12.0141122.680782319324 LongD.FoxM.The 3rd international planning competition: Results and analysisJournal of Artificial Intelligence Research20032015910.1023/A:10260440098321036.68097 van Riemsdijk, B., Dastani, M., & Meyer, J.-J. (2005b). Semantics of declarative goals in agent programming. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 133–140). Ambros-Ingerson, J., & Steel, S. (1988). Integrating planning, execution and monitoring. In Proc. of the national conference on artificial intelligence (AAAI) (pp. 83–88). St. Paul, MN. BratmanM. E.Intentions, plans, and practical reason1987HarvardHarvard University Press d’InvernoM.LuckM.GeorgeffM. P.KinnyD.WooldridgeM.The dMARS architechure: A specification of the distributed multi-agent reasoning systemAutonomous Agents and Multi-Agent Systems200491–255310.1023/B:AGNT.0000019688.11109.19 Huber, M. J. (1999). JAM: A BDI-theoretic mobile agent architecture. In Proc. of the annual conference on autonomous agents (AGENTS) (pp. 236–243). New York, NY, USA: ACM Press. HennessyM.The semantics of programming languages1990Chichester, EnglandWiley0723.68067 EiterT.SubrahmanianT.PickG.Heterogeneous active agents I: SemanticsArtificial Intelligence Journal19991081–217925510.1016/S0004-3702(99)00005-30914.681231681023 Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., & Logan, B. (2006). Belief revision for AgentSpeak agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1288–1290). WobckeW. R.StumptnerM.CorbettD.BrooksM. J.An operational semantics for a PRS-like agent architectureAI 2001: Advances in artificial intelligence2001BerlinSpringer-Verlag DastaniM.2APL: A practical agent programming languageAutonomous Agents and Multi-Agent Systems200816321424810.1007/s10458-008-9036-y Despouys, O., & Ingrand, F. F. (1999). Propice-plan: Toward a unified framework for planning and execution. In Proc. of the European conference on planning (ECP) (pp. 278–293). DixJ.Muñoz-AvilaH.NauD. S.ZhangL.IMPACTing SHOP: Putting an AI planner into a multi-agent environmentAnnals of Mathematics and Artificial Intelligence200337438140710.1023/A:10215605103771010.68171 Thangarajah, J., Padgham, L., & Winikoff, M. (2003b). Detecting & exploiting positive goal interaction in intelligent agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 401–408). Thangarajah, J., Harland, J., Moreley, D., & Yorke-Smith, N. (2008). Suspending and resuming tasks in BDI agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 405–412). Thangarajah, J., Padgham, L., & Winikoff, M. (2003a). Detecting & avoiding interference between goals in intelligent agents. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 721–726). Winikoff, M., Padgham, L., Harland, J., & Thangarajah, J. (2002). Declarative & procedural goals in intelligent agent systems. In Proc. of principles of knowledge representation and reasoning (KR) (pp. 470–481). Pokahr, A., Braubach, L., & Lamersdorf, W. (2003). JADEX: Implementing a BDI-infrastructure for JADE agents. EXP—in search of innovation (Special Issue on JADE), 3(3), 76–85. HindriksK. V.de BoerF. S.van der HoekW.MeyerJ.-J.Agent programming in 3APLAutonomous Agents and Multi-Agent Systems19992435740110.1023/A:1010084620690 ErolK.HendlerJ. A.NauD. S.Complexity results for HTN planningAnnals of Mathematics and Artificial Intelligence1996181699310.1007/BF021361750891.681041422520 IngrandF. F.GeorgeffM. P.RaoA. S.An architecture for real-time reasoning and system controlIEEE Expert: Intelligent Systems and Their Applications1992763444 ShohamY.BradshawJ. M.An overview of agent-oriented programmingSoftware agents1997Cambridge, MAThe MIT Press271290 SardinaS.De GiacomoG.LespéranceY.LevesqueH. J.On the semantics of deliberation in IndiGolog—from theory to implementationAnnals of Mathematics and Artificial Intelligence2004412–425929910.1023/B:AMAI.0000031197.13122.aa1048.681002076853 Knoblock, C. A. (1995). Planning, executing, sensing and replaning for information gathering. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 1686–1693). Sardina, S., & Padgham, L. (2007). Goals in the context of BDI plan failure and planning. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 16–23). Hawaii, USA. Nau, D. S., Muñoz-Avila, H., Cao, Y., Lotem, A., & Mitchell, S. (2001). Total-order planning with partially ordered subtasks. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 425–430). Rao, A. S., & Georgeff M. P. (1991). Modeling rational agents within a BDI-architecture. In Proc. of principles of knowledge representation and reasoning (KR) (pp. 473–484). WilkinsD. E.MyersK. L.A common knowledge representation for plan generation and reactive executionJournal of Logic and Computation19955673176110.1093/logcom/5.6.7310960.68669 Moreira, A. F., Vieira, R., & Bordini, R. H. (2004). Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Proc. of the international workshop on declarative agent languages and technologies (DALT) (Volume 2990 of LNCS, pp. 1270–1285). NY: Springer. CohenP. R.LevesqueH. J.Intention is choice with commitmentArtificial Intelligence Journal19904221326110.1016/0004-3702(90)90055-50721.030171045480 Benfield, S. S., Hendrickson, J., & Galanti, D. (2006). Making a strong business case for multiagent technology. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 10–15). ClementB. J.DurfeeE. H.BarrettA. C.Abstract reasoning for planning and coordinationJournal of Artificial Intelligence Research2007284535151182.68156 de Silva, L. P. (2009). Planning in BDI agent systems. PhD thesis, School of Computer Science and Information Technology, RMIT University, Melbourne, Australia. Submitted. GhallabM.NauD. S.TraversoP.Automated planning: Theory and practice2004MAMorgan Kaufmann1074.68613 Walczak, A., Braubach, L., Pokahr, A., & Lamersdorf, W. (2006). Augmenting BDI agents with deliberative planning techniques. In Proc. of the programming multiagent systems languages, frameworks, techniques and tools workshop (PROMAS) (pp. 113–127). Sardina, S., de Silva, L. P., & Padgham, L. (2006). Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1001–1008). Hakodate, Japan. BusettaP.RönnquistR.HodgsonA.LucasA.JACK intelligent agents: Components for intelligent agents in JavaAgentLink Newsletter1999225 Dastani, M., de Boer, F. S., Dignum, F., & Meyer, J.-J. (2003). Programming agent deliberation: An approach illustrated using the 3APL language. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 97–104). Bordini, R. H., Hübner, J. F., & Wooldridge, M. (2007). Programming multi-agent aystems in AgentSpeak using Jason. Wiley Series in Agent Technology. Wiley, ISBN 0470029005. Kollingbaum, M. J., & Norman, T. J. (2003). NoA—a normative agent architecture. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 1465–1466). LloydJ. W.Foundations of logic programming19872NYSpringer Verlag0668.68004 WeldD. S.Recent advances in AI planningAI Magazine199920293123 de Silva, L. P., & Padgham, L. (2005). Planning on demand in BDI systems. In Proc. of the international conference on automated planning and scheduling (ICAPS), June. (poster). NauD. S.AuT.-C.IlghamiO.KuterU.WuD.YamanF.Muñoz-AvilaH.MurdockW.Applications of SHOP and SHOP2IEEE Intelligent Systems20052023441Earlier version as Tech. Rep. CS-TR-4604, UMIACS-TR-2004-46 Kambhampati, S., Mali, A. D., & Srivastava, B. (1998). Hybrid planning for partially hierarchical domains. In Proc. of the national conference on artificial intelligence (AAAI) (pp. 882–888). Sardina, S., & Shapiro, S. (2003). Rational action in agent programs with prioritized goals. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 417–424). Thangarajah, J., Morley, D., Yorke-Smith, N., & Harland, J. (2007). Aborting tasks and plans in BDI agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 8–15). PlotkinG. D.A structural approach to operational semantics. Technical report DAIMI-FN-191981DenmarkComputer Science Department, Aarhus University de Silva, L. P., & Padgham, L. (2004). A comparison of BDI based real-time reasoning and HTN based planning. In Proc. of the Australian joint conference on AI (AI) (pp. 1167–1173). JenningsN. R.An agent-based approch for building complex software systemsCom 9130_CR20 K. Erol (9130_CR26) 1996; 18 9130_CR64 D. E. Wilkins (9130_CR72) 1995; 7 9130_CR63 9130_CR62 9130_CR60 9130_CR27 9130_CR69 9130_CR68 M. E. Bratman (9130_CR7) 1987 9130_CR67 9130_CR22 9130_CR66 9130_CR21 9130_CR65 J. Dix (9130_CR24) 2003; 37 Y. Shoham (9130_CR61) 1997 9130_CR19 M. Ghallab (9130_CR28) 2004 9130_CR18 9130_CR53 9130_CR52 9130_CR50 R. H. Bordini (9130_CR6) 2004; 42 B. J. Clement (9130_CR10) 2007; 28 9130_CR15 9130_CR59 9130_CR14 9130_CR58 9130_CR13 9130_CR57 9130_CR55 9130_CR54 M. Hennessy (9130_CR29) 1990 D. E. Knuth (9130_CR38) 1969 D. S. Nau (9130_CR46) 2007; 28 G. D. Plotkin (9130_CR51) 1981 W. R. Wobcke (9130_CR74) 2001 T. Eiter (9130_CR25) 1999; 108 J. W. Lloyd (9130_CR41) 1987 9130_CR49 S. Sardina (9130_CR56) 2004; 41 9130_CR48 9130_CR47 G. De Giacomo (9130_CR17) 2009 9130_CR45 F. F. Ingrand (9130_CR33) 1992; 7 9130_CR44 9130_CR43 9130_CR5 F. Lin (9130_CR40) 1998; 101 9130_CR8 M. Dastani (9130_CR12) 2008; 16 9130_CR1 9130_CR2 F. S. Boer de (9130_CR16) 2007; 5 9130_CR3 9130_CR4 P. R. Cohen (9130_CR11) 1990; 42 D. E. Wilkins (9130_CR71) 1995; 5 9130_CR31 9130_CR73 9130_CR39 9130_CR37 D. Long (9130_CR42) 2003; 20 9130_CR36 9130_CR9 9130_CR35 K. V. Hindriks (9130_CR30) 1999; 2 9130_CR32 M. d’Inverno (9130_CR23) 2004; 9 N. R. Jennings (9130_CR34) 2001; 44 D. S. Weld (9130_CR70) 1999; 20 |
| References_xml | – reference: IngrandF. F.GeorgeffM. P.RaoA. S.An architecture for real-time reasoning and system controlIEEE Expert: Intelligent Systems and Their Applications1992763444 – reference: Dastani, M., van Riemsdijk, B., & Meyer, J.-J. (2006). Goal types in agent programming. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1285–1287). – reference: d’InvernoM.LuckM.GeorgeffM. P.KinnyD.WooldridgeM.The dMARS architechure: A specification of the distributed multi-agent reasoning systemAutonomous Agents and Multi-Agent Systems200491–255310.1023/B:AGNT.0000019688.11109.19 – reference: Despouys, O., & Ingrand, F. F. (1999). Propice-plan: Toward a unified framework for planning and execution. In Proc. of the European conference on planning (ECP) (pp. 278–293). – reference: Nau, D. S., Muñoz-Avila, H., Cao, Y., Lotem, A., & Mitchell, S. (2001). Total-order planning with partially ordered subtasks. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 425–430). – reference: Rao, A. S., & Georgeff, M. P. (1992). An abstract architecture for rational agents. In Proc. of principles of knowledge representation and reasoning (KR) (pp. 438–449). San Mateo, CA. – reference: Paolucci, M., Kalp, D., Pannu, A., Shehory, O., & Sycara, K. (1999). A planning component for RETSINA agents. In Proc. of the international workshop on agent theories, architectures, and languages (ATAL) (pp. 147–161) UK: Springer. ISBN 3-540-67200-1. – reference: Kambhampati, S., Mali, A. D., & Srivastava, B. (1998). Hybrid planning for partially hierarchical domains. In Proc. of the national conference on artificial intelligence (AAAI) (pp. 882–888). – reference: ShohamY.BradshawJ. M.An overview of agent-oriented programmingSoftware agents1997Cambridge, MAThe MIT Press271290 – reference: SardinaS.De GiacomoG.LespéranceY.LevesqueH. J.On the semantics of deliberation in IndiGolog—from theory to implementationAnnals of Mathematics and Artificial Intelligence2004412–425929910.1023/B:AMAI.0000031197.13122.aa1048.681002076853 – reference: van Riemsdijk, B., Dastani, M., Dignum, F., & Meyer J.-J. (2005a). Dynamics of declarative goals in agent programming. In Proc. of the international workshop on declarative agent languages and technologies (DALT) (Volume 3476 of LNCS, (pp. 1–18). NY: Springer. – reference: ClementB. J.DurfeeE. H.BarrettA. C.Abstract reasoning for planning and coordinationJournal of Artificial Intelligence Research2007284535151182.68156 – reference: DastaniM.2APL: A practical agent programming languageAutonomous Agents and Multi-Agent Systems200816321424810.1007/s10458-008-9036-y – reference: HindriksK. V.de BoerF. S.van der HoekW.MeyerJ.-J.Agent programming in 3APLAutonomous Agents and Multi-Agent Systems19992435740110.1023/A:1010084620690 – reference: WeldD. S.Recent advances in AI planningAI Magazine199920293123 – reference: Nau, D. S., Cao, Y., Lotem, A., & Muñoz-Avila, H. (1999). SHOP: Simple hierarchical ordered planner. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 968–973). – reference: Rao, A. S. (1996). Agentspeak(L): BDI agents speak out in a logical computable language. In W. Vander Velde & J. W. Perram (Eds.), Proc. of the 7th European workshop on modelling autonomous agents in a multi-agent world. (Agents breaking away) (Volume 1038 of LNCS, pp. 42–55). NY: Springer. – reference: Dastani, M., van Riemsdijk, B., & Meyer, J. (2005). Programming multi-agent systems in 3APL. In Multi-agent programming (Chap. 2, pp. 39–67). Springer. – reference: EiterT.SubrahmanianT.PickG.Heterogeneous active agents I: SemanticsArtificial Intelligence Journal19991081–217925510.1016/S0004-3702(99)00005-30914.681231681023 – reference: Thangarajah, J., Padgham, L., & Winikoff, M. (2003b). Detecting & exploiting positive goal interaction in intelligent agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 401–408). – reference: HennessyM.The semantics of programming languages1990Chichester, EnglandWiley0723.68067 – reference: NauD. S.Current trends in automated planningAI Magazine20072844358 – reference: BordiniR. H.MoreiraA. F.Proving BDI properties of agent-oriented programming languagesAnnals of Mathematics and Artificial Intelligence2004421–319722610.1023/B:AMAI.0000034527.45635.e51059.681262116083 – reference: WilkinsD. E.MyersK. L.A common knowledge representation for plan generation and reactive executionJournal of Logic and Computation19955673176110.1093/logcom/5.6.7310960.68669 – reference: LinF.LevesqueH. J.What robots can do: Robot programs and effective achievabilityArtificial Intelligence Journal199810120122610.1016/S0004-3702(98)00041-10909.681761641538 – reference: Pokahr, A., Braubach, L., & Lamersdorf, W. (2003). JADEX: Implementing a BDI-infrastructure for JADE agents. EXP—in search of innovation (Special Issue on JADE), 3(3), 76–85. – reference: Rao, A. S., & Georgeff M. P. (1991). Modeling rational agents within a BDI-architecture. In Proc. of principles of knowledge representation and reasoning (KR) (pp. 473–484). – reference: Morley, D., & Myers, K. L. (2004). The SPARK agent framework. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 712–719). – reference: Hübner, J. F., Bordini, R. H., & Wooldridge, M. (2006). Programming declarative goals using plan patterns. In Proc. of the international workshop on declarative agent languages and technologies (DALT) (Volume 4327 of LNCS, pp. 123–140). NY: Springer. – reference: ErolK.HendlerJ. A.NauD. S.Complexity results for HTN planningAnnals of Mathematics and Artificial Intelligence1996181699310.1007/BF021361750891.681041422520 – reference: Belecheanu, R. A., Munroe, S., Luck, M., Payne, T., Miller, T., McBurney, et al. (2006). Commercial applications of agents: Lessons, experiences and challenges. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1549–1555). – reference: NauD. S.AuT.-C.IlghamiO.KuterU.WuD.YamanF.Muñoz-AvilaH.MurdockW.Applications of SHOP and SHOP2IEEE Intelligent Systems20052023441Earlier version as Tech. Rep. CS-TR-4604, UMIACS-TR-2004-46 – reference: de Silva, L. P. (2009). Planning in BDI agent systems. PhD thesis, School of Computer Science and Information Technology, RMIT University, Melbourne, Australia. Submitted. – reference: Kollingbaum, M. J., & Norman, T. J. (2003). NoA—a normative agent architecture. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 1465–1466). – reference: Meneguzzi, F., & Luck, M. (2009). Leveraging new plans in AgentSpeak(PL). In Proc. of the international workshop on declarative agent languages and technologies (DALT) (Volume 5397 of LNCS, pp. 111–127). NY: Springer. – reference: Moreira, A. F., Vieira, R., & Bordini, R. H. (2004). Extending the operational semantics of a BDI agent-oriented programming language for introducing speech-act based communication. In Proc. of the international workshop on declarative agent languages and technologies (DALT) (Volume 2990 of LNCS, pp. 1270–1285). NY: Springer. – reference: DixJ.Muñoz-AvilaH.NauD. S.ZhangL.IMPACTing SHOP: Putting an AI planner into a multi-agent environmentAnnals of Mathematics and Artificial Intelligence200337438140710.1023/A:10215605103771010.68171 – reference: BratmanM. E.Intentions, plans, and practical reason1987HarvardHarvard University Press – reference: Sardina, S., de Silva, L. P., & Padgham, L. (2006). Hierarchical planning in BDI agent programming languages: A formal approach. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1001–1008). Hakodate, Japan. – reference: Broersen, J., Dastani, M., Hulstijn J., Huang Z., & der van Torre, L. (2001). The BOID architecture: Conflicts between beliefs, obligations, intentions and desires. In Proc. of the annual conference on autonomous agents (AGENTS) (pp. 9–16). Montreal, Canada: ACM Press. – reference: Bordini, R. H., Hübner, J. F., & Wooldridge, M. (2007). Programming multi-agent aystems in AgentSpeak using Jason. Wiley Series in Agent Technology. Wiley, ISBN 0470029005. – reference: Shapiro, S., Lespérance, Y., & Levesquem, H. J. (2005). Goal change. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 582–588). – reference: Benfield, S. S., Hendrickson, J., & Galanti, D. (2006). Making a strong business case for multiagent technology. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 10–15). – reference: Thangarajah, J., Harland, J., Moreley, D., & Yorke-Smith, N. (2008). Suspending and resuming tasks in BDI agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 405–412). – reference: WilkinsD. E.MyersK. L.LowranceJ. D.WesleyL. P.Planning and reacting in uncertain and dynamic environmentsJournal of Experimental and Theoretical AI199571197227 – reference: de Silva, L. P., Sardina, S., & Padgham, L. (2009). First principles planning in BDI systems. In Proc. of autonomous agents and multi-agent systems (AAMAS) (Vol. 2, pp. 1001–1008). – reference: Alechina, N., Bordini, R. H., Hübner, J. F., Jago, M., & Logan, B. (2006). Belief revision for AgentSpeak agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 1288–1290). – reference: LloydJ. W.Foundations of logic programming19872NYSpringer Verlag0668.68004 – reference: Knoblock, C. A. (1995). Planning, executing, sensing and replaning for information gathering. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 1686–1693). – reference: KnuthD. E.The art of programming: Seminumerical algorithms (Vol.2)1969ReadingAddison-Wesley0191.18001 – reference: JenningsN. R.An agent-based approch for building complex software systemsCommunications of the ACM2001444354110.1145/367211.367250 – reference: BusettaP.RönnquistR.HodgsonA.LucasA.JACK intelligent agents: Components for intelligent agents in JavaAgentLink Newsletter1999225 – reference: Sardina, S., & Shapiro, S. (2003). Rational action in agent programs with prioritized goals. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 417–424). – reference: Thangarajah, J., Padgham, L., & Winikoff, M. (2003a). Detecting & avoiding interference between goals in intelligent agents. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 721–726). – reference: Walczak, A., Braubach, L., Pokahr, A., & Lamersdorf, W. (2006). Augmenting BDI agents with deliberative planning techniques. In Proc. of the programming multiagent systems languages, frameworks, techniques and tools workshop (PROMAS) (pp. 113–127). – reference: de Silva, L. P., & Padgham, L. (2005). Planning on demand in BDI systems. In Proc. of the international conference on automated planning and scheduling (ICAPS), June. (poster). – reference: GhallabM.NauD. S.TraversoP.Automated planning: Theory and practice2004MAMorgan Kaufmann1074.68613 – reference: LongD.FoxM.The 3rd international planning competition: Results and analysisJournal of Artificial Intelligence Research20032015910.1023/A:10260440098321036.68097 – reference: van Riemsdijk, B., van der Hoek, W., & Meyer J.-J. (2003). Agent programming in dribble: From beliefs to goals with plans. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 393–400). – reference: CohenP. R.LevesqueH. J.Intention is choice with commitmentArtificial Intelligence Journal19904221326110.1016/0004-3702(90)90055-50721.030171045480 – reference: Gerevini, A., Bonet, B., & Givan, B. (Eds). (2006). Booklet of 4th international planning competition, Lake District, UK. http://www.ldc.usb.ve/~bonet/ipc5/. – reference: van Riemsdijk, B., Dastani, M., & Meyer, J.-J. (2005b). Semantics of declarative goals in agent programming. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 133–140). – reference: Winikoff, M., Padgham, L., Harland, J., & Thangarajah, J. (2002). Declarative & procedural goals in intelligent agent systems. In Proc. of principles of knowledge representation and reasoning (KR) (pp. 470–481). – reference: de BoerF. S.HindriksK. V.van der HoekW.MeyerJ.-J.A verification framework for agent programming with declarative goalsJournal of Applied Logic20075227730210.1016/j.jal.2005.12.0141122.680782319324 – reference: de Silva, L. P., & Padgham, L. (2004). A comparison of BDI based real-time reasoning and HTN based planning. In Proc. of the Australian joint conference on AI (AI) (pp. 1167–1173). – reference: Dastani, M., de Boer, F. S., Dignum, F., & Meyer, J.-J. (2003). Programming agent deliberation: An approach illustrated using the 3APL language. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 97–104). – reference: Thangarajah, J., Morley, D., Yorke-Smith, N., & Harland, J. (2007). Aborting tasks and plans in BDI agents. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 8–15). – reference: Ambros-Ingerson, J., & Steel, S. (1988). Integrating planning, execution and monitoring. In Proc. of the national conference on artificial intelligence (AAAI) (pp. 83–88). St. Paul, MN. – reference: Huber, M. J. (1999). JAM: A BDI-theoretic mobile agent architecture. In Proc. of the annual conference on autonomous agents (AGENTS) (pp. 236–243). New York, NY, USA: ACM Press. – reference: Kinny, D., Georgeff, M. P. (1991). Commitment and effectiveness of situated agents. In Proc. of the international joint conference on artificial intelligence (IJCAI) (pp. 82–88). – reference: De GiacomoG.LespéranceY.LevesqueH. J.SardinaS.BordiniR. H.DastaniM.DixJ.Fallah-SeghrouchniA. E.IndiGolog: A high-level programming language for embedded reasoning agentsMulti-agent programming: Languages, platforms and applications (Chap. 2)2009NYSpringer3172 – reference: WobckeW. R.StumptnerM.CorbettD.BrooksM. J.An operational semantics for a PRS-like agent architectureAI 2001: Advances in artificial intelligence2001BerlinSpringer-Verlag – reference: PlotkinG. D.A structural approach to operational semantics. Technical report DAIMI-FN-191981DenmarkComputer Science Department, Aarhus University – reference: Sardina, S., & Padgham, L. (2007). Goals in the context of BDI plan failure and planning. In Proc. of autonomous agents and multi-agent systems (AAMAS) (pp. 16–23). Hawaii, USA. – ident: 9130_CR39 – ident: 9130_CR64 – volume: 28 start-page: 43 issue: 4 year: 2007 ident: 9130_CR46 publication-title: AI Magazine – volume: 20 start-page: 93 issue: 2 year: 1999 ident: 9130_CR70 publication-title: AI Magazine – ident: 9130_CR54 – ident: 9130_CR31 – ident: 9130_CR35 – volume: 101 start-page: 201 year: 1998 ident: 9130_CR40 publication-title: Artificial Intelligence Journal doi: 10.1016/S0004-3702(98)00041-1 – ident: 9130_CR57 doi: 10.1145/1160633.1160813 – ident: 9130_CR47 doi: 10.1109/MIS.2005.20 – ident: 9130_CR21 – start-page: 31 volume-title: Multi-agent programming: Languages, platforms and applications (Chap. 2) year: 2009 ident: 9130_CR17 doi: 10.1007/978-0-387-89299-3_2 – ident: 9130_CR48 – ident: 9130_CR44 – ident: 9130_CR3 doi: 10.1145/1160633.1160932 – volume: 5 start-page: 277 issue: 2 year: 2007 ident: 9130_CR16 publication-title: Journal of Applied Logic doi: 10.1016/j.jal.2005.12.014 – ident: 9130_CR63 – ident: 9130_CR14 doi: 10.1007/0-387-26350-0_2 – ident: 9130_CR65 doi: 10.1145/860575.860640 – ident: 9130_CR66 doi: 10.1007/11493402_1 – volume: 20 start-page: 1 year: 2003 ident: 9130_CR42 publication-title: Journal of Artificial Intelligence Research doi: 10.1023/A:1026044009832 – volume: 108 start-page: 179 issue: 1–2 year: 1999 ident: 9130_CR25 publication-title: Artificial Intelligence Journal doi: 10.1016/S0004-3702(99)00005-3 – volume-title: Foundations of logic programming year: 1987 ident: 9130_CR41 doi: 10.1007/978-3-642-83189-8 – volume: 37 start-page: 381 issue: 4 year: 2003 ident: 9130_CR24 publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1023/A:1021560510377 – ident: 9130_CR36 – ident: 9130_CR32 – ident: 9130_CR50 – ident: 9130_CR53 – ident: 9130_CR19 doi: 10.1007/978-3-540-30549-1_118 – volume-title: AI 2001: Advances in artificial intelligence year: 2001 ident: 9130_CR74 – ident: 9130_CR22 – volume: 18 start-page: 69 issue: 1 year: 1996 ident: 9130_CR26 publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1007/BF02136175 – ident: 9130_CR43 – ident: 9130_CR60 – ident: 9130_CR58 doi: 10.1145/1329125.1329134 – volume: 42 start-page: 213 year: 1990 ident: 9130_CR11 publication-title: Artificial Intelligence Journal doi: 10.1016/0004-3702(90)90055-5 – volume-title: Automated planning: Theory and practice year: 2004 ident: 9130_CR28 – volume: 16 start-page: 214 issue: 3 year: 2008 ident: 9130_CR12 publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1007/s10458-008-9036-y – ident: 9130_CR13 doi: 10.1145/860575.860592 – ident: 9130_CR67 doi: 10.1145/1082473.1082494 – volume-title: A structural approach to operational semantics. Technical report DAIMI-FN-19 year: 1981 ident: 9130_CR51 – ident: 9130_CR2 – ident: 9130_CR37 – ident: 9130_CR9 – ident: 9130_CR18 – ident: 9130_CR52 – ident: 9130_CR5 – ident: 9130_CR4 doi: 10.1145/1160633.1160938 – volume: 7 start-page: 34 issue: 6 year: 1992 ident: 9130_CR33 publication-title: IEEE Expert: Intelligent Systems and Their Applications doi: 10.1109/64.180407 – volume: 9 start-page: 5 issue: 1–2 year: 2004 ident: 9130_CR23 publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1023/B:AGNT.0000019688.11109.19 – volume: 5 start-page: 731 issue: 6 year: 1995 ident: 9130_CR71 publication-title: Journal of Logic and Computation doi: 10.1093/logcom/5.6.731 – ident: 9130_CR69 – ident: 9130_CR68 doi: 10.1007/978-3-540-45133-4_32 – volume: 42 start-page: 197 issue: 1–3 year: 2004 ident: 9130_CR6 publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1023/B:AMAI.0000034527.45635.e5 – ident: 9130_CR27 – volume-title: The art of programming: Seminumerical algorithms (Vol.2) year: 1969 ident: 9130_CR38 – ident: 9130_CR1 doi: 10.1145/1160633.1160868 – ident: 9130_CR15 doi: 10.1145/1160633.1160867 – volume: 2 start-page: 357 issue: 4 year: 1999 ident: 9130_CR30 publication-title: Autonomous Agents and Multi-Agent Systems doi: 10.1023/A:1010084620690 – volume: 28 start-page: 453 year: 2007 ident: 9130_CR10 publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.2158 – ident: 9130_CR73 – volume-title: The semantics of programming languages year: 1990 ident: 9130_CR29 – ident: 9130_CR55 – ident: 9130_CR59 doi: 10.1145/860575.860642 – volume: 7 start-page: 197 issue: 1 year: 1995 ident: 9130_CR72 publication-title: Journal of Experimental and Theoretical AI doi: 10.1080/09528139508953802 – ident: 9130_CR8 – ident: 9130_CR49 – ident: 9130_CR45 – start-page: 271 volume-title: Software agents year: 1997 ident: 9130_CR61 – ident: 9130_CR20 – volume: 44 start-page: 35 issue: 4 year: 2001 ident: 9130_CR34 publication-title: Communications of the ACM doi: 10.1145/367211.367250 – volume-title: Intentions, plans, and practical reason year: 1987 ident: 9130_CR7 – volume: 41 start-page: 259 issue: 2–4 year: 2004 ident: 9130_CR56 publication-title: Annals of Mathematics and Artificial Intelligence doi: 10.1023/B:AMAI.0000031197.13122.aa – ident: 9130_CR62 |
| SSID | ssj0016261 |
| Score | 2.2727032 |
| Snippet | Agents are an important technology that have the potential to take over contemporary methods for analysing, designing, and implementing complex software. The... |
| SourceID | crossref springer |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 18 |
| SubjectTerms | Artificial Intelligence Computer Science Computer Systems Organization and Communication Networks Software Engineering/Programming and Operating Systems User Interfaces and Human Computer Interaction |
| Title | A BDI agent programming language with failure handling, declarative goals, and planning |
| URI | https://link.springer.com/article/10.1007/s10458-010-9130-9 |
| Volume | 23 |
| WOSCitedRecordID | wos000289104000002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: SpringerLINK customDbUrl: eissn: 1573-7454 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0016261 issn: 1387-2532 databaseCode: RSV dateStart: 19980301 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5BYWChPEV5yQMTNFIau36M5VHBUiGe3SLbsVGlklZt4fdjJ06hEiDBksWXxLrc5c73-gBODG5pprymJUxEHg8p4rLljiqZ5sJ5CFolugCbYL0e7_fFbejjnlbV7lVKsvhTf2l2I21feBX7bLG7LMOKs3bca-Pd_dM8deA89PKUxf0IApxUqczvHrFojBYzoYWB6db_tbUNWA_-JOqUArAJSybfgnqF1YCC6m7DcwedX94g6TupUCjKenXvQFXAEvmILLJy4OvUUTF8wS03UWb0MIwHRy8jJ6xN5NbQOIAd7cBj9-rh4joKoAqRxqI1i7jbKbVYCi2pVe7wwyXhxBCheJwpZRPJubYGywxbSQS2gsXOJYi1VlRR2sa7UMtHudkDxCxJCBeKMmoJV1SomEgisxgzZoVlDYgr7qY6TBz3wBfD9HNWsmdc6hiXesalogGn81vG5biN34jPqs-RBs2b_ky9_yfqA1gro8e-MPcQarPJmzmCVf0-G0wnx4XEfQC2lM53 |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLZgIMGF8RTjmQMnWKWuyfI4jse0iTEhGI9blaQNmjS2aRv8fpIuHUwCJLj0EreNXLt27M82wEmKK5opp2kRE4GbhxRwWbFHlURzYT0ErSKdDZtg7TZ_fha3vo57nKPd85Rk9qf-UuxGqg54Fbpssb0swhKxBsvh-O7uH2epA-uhT09Z3LUgwFGeyvzuEfPGaD4TmhmYevFfW1uHNe9PotpUADZgIe1vQjGf1YC86m7BUw2dXzaRdJVUyIOyXu07UB6wRC4ii4zsOpw6ypov2OUySlLd8-3B0cvACmsZ2TU09MOOtuGhftW5aAR-qEKgsahMAm53Sg2WQktqlD38cEk4SYlQPEyUMpHkXJsUywQbSQQ2goXWJQi1VlRRWsU7UOgP-ukuIGZIRLhQlFFDuKJChUQSmYSYMSMMK0GYczfWvuO4G3zRiz97JTvGxZZxsWNcLEpwOrtlOG238RvxWf45Yq9545-p9_5EfQwrjc5NK24129f7sDqNJDuQ7gEUJqO39BCW9fukOx4dZdL3AW330Vs |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwED90ivji_MT5mQefdGVdkzXJ43QOhzIGfu2tJGkjg7mNrfr3m7TpdKCC-NKXpG243JG73N3vB3CW4Lqi0lpaQLln-ZA8JuomVIkV48ZDUDJQGdkE7XZZv897jud0VlS7FynJvKfBojSN0tok1rUvjW-kYYuwfJs5No9lWCGWM8iG6_dP8zSC8dbziItZOAIcFGnN7z6xeDAtZkWzw6Zd_vcyN2HD-ZmomSvGFiwlo20oFxwOyJn0Djw30WWrg4TtsEKuWOvV_A8VF5nI3tQiLQa2fh1loAxmuIriRA0dbDh6GRslriIzhiaOBGkXHtvXD1c3niNb8BTm9dRjZqWhxoIrEWppgiImCCMJ4ZL5sZQ6EIwpnWARYy0Ix5pT37gKvlIylGHYwHtQGo1HyT4gqklAGJchDTVhMuTSJ4KI2MeUaq5pBfxC0pFySOSWEGMYfWIoW8FFRnCRFVzEK3A-f2WSw3D8Nvmi2JrIWeTs59kHf5p9Cmu9Vju663RvD2E9v2C2tbtHUEqnb8kxrKr3dDCbnmSK-AFgMdo_ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+BDI+agent+programming+language+with+failure+handling%2C+declarative+goals%2C+and+planning&rft.jtitle=Autonomous+agents+and+multi-agent+systems&rft.au=Sardina%2C+Sebastian&rft.au=Padgham%2C+Lin&rft.date=2011-07-01&rft.issn=1387-2532&rft.eissn=1573-7454&rft.volume=23&rft.issue=1&rft.spage=18&rft.epage=70&rft_id=info:doi/10.1007%2Fs10458-010-9130-9&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10458_010_9130_9 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1387-2532&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1387-2532&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1387-2532&client=summon |