2014
Quantifying the Completeness of Goals in BDI Agent Systems Inproceedings
In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014), pp. 879–884, Prague, Czech Republic, 2014.
Reasoning with Agent Preferences in Normative Multi-agent Systems Inproceedings
In: Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014), pp. 1373–1374, Paris, France, 2014.
Tactics Development Framework (System Demo) Inproceedings
In: Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014), pp. 1639–1640, Paris, France, 2014.
Towards the Completeness of BDI Goals. Inproceedings
In: Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014), pp. To Appear, Paris, France, 2014.
Checking consistency of agent designs against interaction protocols for early-phase defect location. Inproceedings
In: Proceedings of the 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2014), pp. 933–940, Paris, France, 2014.
Maintenance Goals in Intelligent Agents Journal Article
In: Computational Intelligence, pp. to appear, accepted 24 July 2012, 2014.
Prometheus Research Directions Inproceedings
In: Shehory, Onn; Sturm, Arnon (Ed.): Agent Oriented Software Engineering, pp. 155-171, Springer, 2014.
2013
A BDI Game Master Agent for Computer Role-Playing Games Inproceedings
In: Proceedings of the 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), pp. 1187-1188, Minnesota, USA, 2013.
AUML Protocols: Specification to Detailed Design Inproceedings
In: Proceedings of the 12th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), pp. 1173-1174, Minnesota, USA, 2013.
Propagating AUML Protocols to Detailed Design Inproceedings
In: Cossentino, Massimo; Fallah-Seghrouchni, Amal El; Winikoff, Michael (Ed.): Engineering Multi-Agent Systems, pp. 19-37, Springer, 2013.
Agent Deliberation via Forward and Backward Chaining in Linear Logic Inproceedings
In: Baldoni, Matteo; Dennis, Louise A.; Mascardi, Viviana; Vasconcelos, Wamberto (Ed.): Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers, pp. 57-75, Springer, 2013.
Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems Journal Article
In: IEEE Trans. Software Eng., 39 (9), pp. 1230-1244, 2013.
2012
Revising Conflicting Intention Sets in BDI Agents Inproceedings
In: Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012), pp. 1081-1088, Valencia, Spain, 2012.
Agent Deliberation via Forward and Backward chaining in Linear Logic Inproceedings
In: Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012), pp. 1443-1444, Valencia, Spain, 2012.
Goal-Driven Approach To Open-Ended Dialogue Management using BDI Agents Inproceedings
In: Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012), pp. 1187-1188, Valencia, Spain, 2012.
Measuring Plan Coverage and Overlap for Agent Reasoning Inproceedings
In: Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2012), pp. 1049-1056, Valencia, Spain, 2012.
Contextual Question Answering for the Health Domain Journal Article
In: Journal of the American Society for Information Science and Technology (), 63 (11), pp. 2313-2327, 2012.
Flexible Conversation Management using a BDI Agent Approach Inproceedings
In: Proceedings of the 12th International Conference on Intelligent Virtual Agents (IVA), pp. 464-470, Springer, Santa Cruz, USA, 2012.
Coherent Topic Transition in a Conversational Agent Inproceedings
In: Proceedings of the 13th Annual Conference of the International Speech Communication Association (InterSpeech), pp. 1-4, Oregon, USA, 2012.
Mining the Web for Large-Scale Conversational Content Inproceedings
In: Proceedings of the 24th International Conference on Computational Linguistics (COLING), pp. 2821-2834, Mumbai, India, 2012.
Mixed-Initiative Conversational System using Question-Answer Pairs Mined from the Web Inproceedings
In: Proceedings of the 21th ACM International Conference on Information and Knowledge Management (CIKM), pp. 2707-2709, Hawaii, 2012.
2011
Reasoning about Preferences in Intelligent Agent Systems Inproceedings
In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp. 426–431, IJCAI/AAAI, Barcelona,Spain, 2011, ISBN: 978-1-57735-516-8.
Reasoning about Preferences in BDI Agent Systems Inproceedings
In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 1139-1140, Taipei, Taiwan, 2011.
Scenarios for System Requirements Traceability and Testing Inproceedings
In: Proceedings of the Tenth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 285–292, Taipei, Taiwan, 2011.
Testing in Multi-Agent Systems Inproceedings
In: Gleizes, Marie Pierre; Gómez-Sanz, Jorge J. (Ed.): Agent-Oriented Software Engineering X, pp. 180-190, Springer, 2011, ISBN: 978-3-642-19207-4.
Automated Testing for Intelligent Agent Systems Inproceedings
In: Gleizes, Marie Pierre; Gómez-Sanz, Jorge J. (Ed.): Agent-Oriented Software Engineering X, pp. 66-79, Springer, 2011, ISBN: 978-3-642-19207-4.
Using a Lexical Dictionary and a Folksonomy to Automatically Construct Domain Ontologies Inproceedings
In: Wang, Dianhui; Reynolds, Mark (Ed.): AI 2011: Advances in Artificial Intelligence, pp. 638–647, Springer, 2011, ISBN: 978-3-642-25831-2.
Building Modular Knowledge Bases for Conversational Agents Inproceedings
In: IJCAI Workshop on Knowledge Representation and Reasoning for Practical Dialogue Systems (KRPDS), pp. 16–23, 2011.
Health conversational system based on contextual matching of community-driven question-answer pairs Inproceedings
In: Proceedings of the 20th ACM international conference on Information and knowledge management, pp. 2577–2580, ACM, New York, NY, USA, 2011, ISBN: 978-1-4503-0717-8.
Test Coverage Criteria for Agent Interaction Testing Incollection
In: Weyns, Danny; Gleizes, Marie-Pierre (Ed.): Agent-Oriented Software Engineering XI, 6788 , pp. 91-105, Springer Berlin / Heidelberg, 2011.
2010
On the Life-Cycle of BDI Agent Goals Inproceedings
In: Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), pp. 1031-1032, Lisbon, Portugal, 2010.
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems Inproceedings
In: Proceedings of the AAMAS'10 Workshop on Declarative Agent Languages and Technologies (DALT'10), pp. 1-21, Toronto, 2010.
Computationally Effective Reasoning About Goal Interactions Journal Article
In: Journal of Automated Reasoning, pp. 1-40, 2010, ISSN: 0168-7433.
Eclipse-based Prometheus Design Tool (DEMO) Inproceedings
In: AAMAS '10: Proceedings of The 9th International Conference on Autonomous Agents and Multiagent Systems, pp. 1769-1770, IFAAMAS, Toronto, Canada, 2010.
Programming Multi-Agent Systems, 7th International Workshop, ProMAS 2009, Budapest, Portugal, May 11, 2009. Revised Invited and Selected Papers Proceeding
Springer, 5919 , 2010.
Springer, 5919 , 2010, ISBN: 978-3-642-14842-2.
2009
Model Based Testing for Agent Systems Inproceedings
In: Filipe, M. Helfert B. Shishkov J. (Ed.): Software and Data Technologies, Communications in Computer and Information Science, Volume 22. Springer Berlin Heidelberg, pp. 399-413, 2009.
Using three AOSE toolkits to develop a sample design Journal Article
In: International Journal of Agent-Oriented Software Engineering, 3 (4), pp. 416–476, 2009, ISSN: 1746-1375.
Model based testing for agent systems Inproceedings
In: AAMAS '09: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, pp. 1333–1334, International Foundation for Autonomous Agents and Multiagent Systems, Budapest, Hungary, 2009, ISBN: 978-0-9817381-7-8.
2008
Suspending and Resuming Tasks in BDI Agents Inproceedings
In: AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 405–412, Estoril,Portugal, 2008.
Prometheus Design Tool Inproceedings
In: Proceedings of The AAAI Conference on Artificial Intelligence, pp. 1882-1883, Chicago, USA, 2008.
The Prometheus Design Tool - A Conference Management System Case Study Inproceedings
In: Agent-Oriented Software Engineering VIII, pp. 197-211, Springer-Verlag, 2008.
Open Agent Systems??? Inproceedings
In: Agent-Oriented Software Engineering VIII, pp. 73-87, Springer-Verlag, 2008.
Automated unit testing intelligent agents in PDT (DEMO) Inproceedings
In: AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 1673-1674, IFAAMAS, Estoril,Portugal, 2008.
2007
A Soft COP Model for Goal Deliberation in a BDI Agent Inproceedings
In: Proceedings of CP'07 Workshop on Constraint Modelling and Reformulation, Providence, RI, 2007.
Automated Unit Testing For Agent Systems Inproceedings
In: Proceedings of the 2nd International Working Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 10-18, Spain, 2007.
Aborting Tasks in BDI Agents Inproceedings
In: AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, pp. 8–15, Hawai'i, USA, 2007.
AUML protocols and code generation in the Prometheus design tool (System Demonstration) Inproceedings
In: AAMAS '07: Proceedings of The 6th International Conference on Autonomous Agents and Multiagent Systems, pp. 270, Hawai'i, USA, 2007.
Designing Institutional Multi-Agent Systems Inproceedings
In: Agent-Oriented Software Engineering VII, pp. 84-103, Springer-Verlag, 2007.
2006
On Proactivity and Maintenance Goals Inproceedings
In: AAMAS '06: Proceedings of The 5th International Conference on Autonomous Agents and Multiagent Systems, pp. 1033–1040, Hakodate, Japan, 2006.