✦ LIBER ✦

Formalisations of Capabilities for BDI-Agents

✍ Scribed by Lin Padgham; Patrick Lambrix

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated Test Case Generation for BDI A

✍ Chi Keen Low; T. Y. Chen; Ralph Rónnquist 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 132 KB

A BDI agent system for the cow herding d

✍ Nitin Yadav; Chenguang Zhou; Sebastian Sardina; Ralph Rönnquist 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 940 KB

Natural Language Programming of Complex

✍ Nicholas K. Lincoln, Sandor M. Veres 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 608 KB

A formal model of emotion triggers: an a

✍ Steunebrink, Bas R.; Dastani, Mehdi; Meyer, John-Jules Ch. 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 550 KB

An operational semantics for the goal li

✍ Harland, James; Morley, David N.; Thangarajah, John; Yorke-Smith, Neil 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 711 KB

A complete first-order temporal BDI logi

✍ Lijun Wu; Kaile Su; Abdul Sattar; Qingliang Chen; Jinshu Su; Wei Wu 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 259 KB