Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
111 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001 |
Belief revision for AgentSpeak agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1288-1290, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, Jason, belief revision, BDI |
98 | Yang Bo, Qin Zheng, Yu Fan, Qin Jun |
The Soundness and Completeness Proof of Agent Intention in AgentSpeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, pp. 515-518, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
98 | Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge |
Plan patterns for declarative goals in AgentSpeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1291-1293, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
98 | Rafael H. Bordini, Ana L. C. Bazzan, Rafael de Oliveira Jannone, Daniel M. Basso, Rosa Maria Vicari, Victor R. Lesser |
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, July 15-19, 2002, Bologna, Italy, Proceedings, pp. 1294-1302, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
BDI programming languages, decision-theoretic scheduling, intention selection |
98 | Rodrigo Machado, Rafael H. Bordini |
Running AgentSpeak(L) Agents on SIM_AGENT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATAL ![In: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers, pp. 158-174, 2001, Springer, 3-540-43858-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
98 | Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer |
A Formal Embedding of AgentSpeak(L) in 3APL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Joint Conference on Artificial Intelligence ![In: Advanced Topics in Artificial Intelligence, 11th Australian Joint Conference on Artificial Intelligence, AI '98, Brisbane, Australia, July 13-17, 1998, Selected Papers, pp. 155-166, 1998, Springer, 3-540-65138-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
89 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
Model Checking Rational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 19(5), pp. 46-52, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
89 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
Verifiable Multi-agent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers, pp. 72-89, 2003, Springer, 3-540-22180-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
89 | Davide Ancona, Viviana Mascardi, Jomi Fred Hübner, Rafael H. Bordini |
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 696-705, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
80 | Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan 0001 |
Automating Belief Revision for AgentSpeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, pp. 61-77, 2006, Springer, 3-540-68959-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
80 | Aniruddha Dasgupta, Aditya K. Ghose |
CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2006, Twenty-Nineth Australasian Computer Science Conference (ACSC2006), Hobart, Tasmania, Australia, January 16-19 2006, pp. 121-126, 2006, Australian Computer Society, 1-920682-30-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
72 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini |
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers, pp. 135-154, 2003, Springer, 3-540-22124-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
62 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 848-858, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Michael Winikoff |
An AgentSpeak Meta-interpreter and Its Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers, pp. 123-138, 2005, Springer, 3-540-32616-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Rafael H. Bordini, Jomi Fred Hübner |
BDI Agent Programming in AgentSpeak Using Jason (Tutorial Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, pp. 143-164, 2005, Springer, 3-540-33996-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Michael J. Wooldridge |
Model checking agentspeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: The Second International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2003, July 14-18, 2003, Melbourne, Victoria, Australia, Proceedings, pp. 409-416, 2003, ACM, 1-58113-683-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
AgentSpeak, BDI logic programming, model checking, spin |
54 | Jomi Fred Hübner, Rafael H. Bordini, Michael J. Wooldridge |
Programming Declarative Goals Using Plan Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers, pp. 123-140, 2006, Springer, 3-540-68959-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Rafael H. Bordini, Álvaro F. Moreira |
Proving BDI Properties of Agent-Oriented Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 42(1-3), pp. 197-226, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
asymmetry thesis principles, distributed artificial intelligence, structural operational semantics, agent-oriented programming, BDI logics |
53 | Alessandro Ricci, Rafael Heitor Bordini, Jomi Fred Hübner, Rem W. Collier |
AgentSpeak(ER): An Extension of AgentSpeak(L) improving Encapsulation and Reasoning about Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 2054-2056, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
53 | Viviana Mascardi, Davide Ancona, Matteo Barbieri, Rafael H. Bordini, Alessandro Ricci |
CooL-AgentSpeak: Endowing AgentSpeak-DL agents with plan exchange and ontology services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intell. Agent Syst. ![In: Web Intell. Agent Syst. 12(1), pp. 83-107, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
53 | Viviana Mascardi, Davide Ancona, Rafael H. Bordini, Alessandro Ricci |
CooL-AgentSpeak: Enhancing AgentSpeak-DL Agents with Plan Exchange and Ontology Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IAT ![In: Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2011, Campus Scientifique de la Doua, Lyon, France, August 22-27, 2011, pp. 109-116, 2011, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
49 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
Verifying Multi-agent Programs by Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 12(2), pp. 239-256, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
AgentSpeak, JPF, Model checking, Spin, Agent-oriented programming |
44 | Felipe Rech Meneguzzi, Michael Luck |
Leveraging New Plans in AgentSpeak(PL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers, pp. 111-127, 2008, Springer, 978-3-540-93919-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Huan Li, Zheng Qin, Fan Yu, Jun Qin, Bo Yang |
Automatic Semantic Web Service Composition via Agent Intention Execution in AgentSpeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2007 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference Proceedings, pp. 564-567, 2007, IEEE Computer Society, 0-7695-3026-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Talal Rahwan, Tarek Rahwan, Iyad Rahwan, Ronald Ashri |
Agent-Based Support for Mobile Users Using AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOIS ![In: Agent-Oriented Information Systems, 5th International Bi-Conference Workshop, AOIS 2003, Melbourne, Australia, July 14, 2003 and Chicago, IL, USA, October 13th, 2003, Revised Selected Papers, pp. 45-60, 2003, Springer. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
36 | Tristan M. Behrens, Jürgen Dix |
Model checking multi-agent systems with logic based Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(2-4), pp. 81-121, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B70, 68R10, 68T27 |
36 | Louise A. Dennis, Michael Fisher 0001, Anthony Hepple |
Language Constructs for Multi-agent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, pp. 137-156, 2007, Springer, 978-3-540-88832-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini, Jomi Fred Hübner |
Agent-Oriented Programming with Underlying Ontological Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 155-170, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Rafael H. Bordini, Michael Fisher 0001, Willem Visser, Michael J. Wooldridge |
State-Space Reduction Techniques in Agent Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 19-23 August 2004, New York, NY, USA, pp. 896-903, 2004, IEEE Computer Society, 1-58113-864-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Frantisek Vidensky, Frantisek Zboril Jr., Radek Kocí, Frantisek Vítezslav Zboril |
Operational Semantic of an AgentSpeak(L) Interpreter Using Late Bindings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (1) ![In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 1, Lisbon, Portugal, February 22-24, 2023., pp. 173-180, 2023, SCITEPRESS, 978-989-758-623-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Michael J. Vezina, Babak Esfandiari, Sandra Morley, François Schwarzentruber |
Qualitative Uncertainty Reasoning in AgentSpeak. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS ![In: Multi-Agent Systems - 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings, pp. 32-48, 2023, Springer, 978-3-031-43263-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Michael J. Vezina, François Schwarzentruber, Babak Esfandiari, Sandra Morley |
Reasoning about Uncertainty in AgentSpeak using Dynamic Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, London, United Kingdom, 29 May 2023 - 2 June 2023, pp. 2394-2396, 2023, ACM, 978-1-4503-9432-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Joaquín Taverner, Emilio Vivancos, Vicente J. Botti |
e-Genia3 An AgentSpeak extension for empathic agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.00737, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Frantisek Zboril Jr., Frantisek Vidensky, Radek Kocí, Frantisek Vítezslav Zboril |
Late Bindings in AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 14th International Conference on Agents and Artificial Intelligence, ICAART 2022, Volume 3, Online Streaming, February 3-5, 2022., pp. 715-724, 2022, SCITEPRESS, 978-989-758-547-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Alessandro Ricci, Rafael H. Bordini, Jomi Fred Hübner, Rem W. Collier |
AgentSpeak(ER): Enhanced Encapsulation in Agent Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMAS@AAMAS ![In: Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers, pp. 34-51, 2018, Springer, 978-3-030-25692-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Angelo Croatti, Alessandro Ricci |
An extension of AgentSpeak(L) and Jason tailored to programming and software development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGERE!@SPLASH ![In: Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE 2016, Amsterdam, The Netherlands, October 30, 2016, pp. 1-10, 2016, ACM, 978-1-4503-4639-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Rem W. Collier, Sean Edward Russell, David Lillis |
Reflecting on Agent Programming with AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pp. 351-366, 2015, Springer, 978-3-319-25523-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Francisco Coelho, Vítor Nogueira |
Probabilistic Perception Revision in AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: PRIMA 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pp. 613-621, 2015, Springer, 978-3-319-25523-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Samuel Bucheli, Daniel Kroening, Ruben Martins, Ashutosh Natraj |
From AgentSpeak to C for Safety Considerations in Unmanned Aerial Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAROS ![In: Towards Autonomous Robotic Systems - 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings, pp. 69-81, 2015, Springer, 978-3-319-22415-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Francisco Coelho, Vítor Nogueira |
Probabilistic Selection in AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.3717, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
26 | Jeehang Lee, Julian A. Padget, Brian Logan 0001, Daniela Dybalova, Natasha Alechina |
N-Jason: Run-Time Norm Compliance in AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMAS@AAMAS ![In: Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers, pp. 367-387, 2014, Springer, 978-3-319-14483-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Akshat Dhaon, Rem W. Collier |
Multiple Inheritance in AgentSpeak(L)-Style Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGERE!@SPLASH ![In: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, AGERE! 2014, Portland, OR, USA, October 20, 2014, pp. 109-120, 2014, ACM, 978-1-4503-2189-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
26 | Muhammad Shafiq ur Rehman, Aamer Nadeem |
AgentSpeak (L) Based Testing of Autonomous Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGIT-ASEA/DRBC/EL ![In: Software Engineering, Business Continuity, and Education - International Conferences ASEA, DRBC and EL 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings, pp. 11-20, 2011, Springer, 978-3-642-27206-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Rafael H. Bordini, Jomi Fred Hübner |
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 635-640, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Loris Fichera, Daniele Marletta, Vincenzo Nicosia, Corrado Santoro |
A Methodology to Extend Imperative Languages with AgentSpeak Declarative Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOA ![In: Proceedings of the 11th WOA 2010 Workshop, Dagli Oggetti Agli Agenti, Rimini, Italy, September 5-7, 2010., 2010, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
26 | Michael Thielscher |
Integrating Action Calculi and AgentSpeak: Closing the Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
26 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): A specification language for agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 64(1), pp. 31-40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Álvaro F. Moreira, Renata Vieira |
Belief Update in AgentSpeak-DL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Multi-Agent Systems ![In: Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): a specification language for agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
26 | Aniruddha Dasgupta, Farzad Salim, Aneesh Krishna, Aditya K. Ghose |
Hybrid Modeling Using I* and Agentspeak(L) Agents in Agent Oriented Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (3) ![In: ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006, pp. 420-425, 2006, 972-8865-41-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose |
Towards Executable Specification: Combining i* and AgentSpeak(L) . ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005, pp. 739-742, 2005, 1-891706-16-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
26 | Aniruddha Dasgupta, Aditya K. Ghose |
Dealing with Objectives in a Constraint-Based Extension to AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Multi-Agent Systems for Society - 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, Kuala Lumpur, Malaysia, September 26-28, 2005, Revised Selected Papers, pp. 395-409, 2005, Springer, 978-3-642-03337-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Duc Vo, Aditya Ghose |
Agent Programming Language with Incomplete Knowledge - Agentspeak(I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (Selected Papers) ![In: Enterprise Information Systems VI, [ICEIS 2004, Porto, Portugal, April 14-17, 2004, Revised Selected Papers]., pp. 253-260, 2004, Kluwer / Springer, 978-1-4020-3674-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Duc Vo, Aditya Ghose |
Agent Programming Language with Incomplete Knowledge - Agentspeak(I). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (4) ![In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems, Porto, Portugal, April 14-17, 2004, pp. 356-363, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
26 | Rafael H. Bordini, Renata Vieira |
Linguagens de Programação Orientadas a Agentes: Uma Introdução Baseada em AgentSpeak(L). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RITA ![In: RITA 10(1), pp. 7-38, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
26 | Mark d'Inverno, Michael Luck |
Engineering AgentSpeak(L): A Formal Computational Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 8(3), pp. 233-260, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Anand S. Rao |
AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MAAMAW ![In: Agents Breaking Away, 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, Eindhoven, The Netherlands, January 22-25, 1996, Proceedings, pp. 42-55, 1996, Springer, 3-540-60852-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Felipe Rech Meneguzzi, Michael Luck |
Norm-based behaviour modification in BDI agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 177-184, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
norms, BDI |
18 | Jomi Fred Hübner, Rafael H. Bordini, Gauthier Picard |
Using Jason and M\mathcal{M}oise + to Develop a Team of Cowboys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ProMAS ![In: Programming Multi-Agent Systems, 6th International Workshop, ProMAS 2008, Estoril, Portugal, May 13, 2008. Revised Invited and Selected Papers, pp. 238-242, 2008, Springer, 978-3-642-03277-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jomi Fred Hübner, Rafael H. Bordini |
Developing a Team of Gold Miners Using Jason. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers, pp. 241-245, 2007, Springer, 978-3-540-79042-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | John Thangarajah, Lin Padgham, Sebastian Sardiña |
Modelling situations in intelligent agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1049-1051, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
agent and multi-agent architectures, infrastructures and environments for agent systems, frameworks |
18 | Timothy William Cleaver, Abdul Sattar 0001, Raihana Ferdous |
User defined monitoring strategies for BDI agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1055-1057, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
agent and multi-agent architectures, agent programming languages |
18 | Rafael H. Bordini, Michael Fisher 0001, Carmen Pardavila, Willem Visser, Michael J. Wooldridge |
Model Checking Multi-Agent Programs with CASP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 110-113, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jorge A. Torres, Luciana Porcher Nedel, Rafael H. Bordini |
Using the BDI Architecture to Produce Autonomous Characters in Virtual Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Agents, 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003, Proceedings, pp. 197-201, 2003, Springer, 3-540-20003-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Xiaojun Zhou, Jian Cao 0001, Shen-sheng Zhang |
A Multi-agent System Based on ECA Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 1026-1029, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|