2016
A BDI-Based Methodology for Eliciting Tactical Decision-Making Expertise Journal Article
In: Springer in Lecture Notes in Management and Industrial Engineering (LNMIE), pp. To Appear, 2016.
2015
Estimating the progress of Maintenance Goals Proceedings Article
In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), pp. 1645-1646, Istanbul, Turkey, 2015.
Agent Oriented Modelling of Tactical Decision Making Proceedings Article
In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), pp. 1051-1060, Istanbul, Turkey, 2015.
Using Agent-Based Tactics Models to Control Virtual Actors in VBS3 Proceedings Article
In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015) (System Demonstration), pp. 1929-1930, Istanbul, Turkey, 2015.
Early detection of design faults relative to requirement specifications in agent-based models Proceedings Article
In: Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2015), pp. 1071-1079, Istanbul, Turkey, 2015.
Effects of Domain on Measures of Semantic Relatedness Journal Article
In: Journal of the American Society for Information Science and Technology (JASIST), vol. 66, no. 10, pp. 2116-2131, 2015.
Flexible story generation with norms and preferences in computer role playing games Proceedings Article
In: 2015 IEEE Conference on Computational Intelligence and Games, CIG 2015, Tainan, Taiwan, August 31 - September 2, 2015, pp. 68–74, 2015.
An improved approach to reinforcement learning in Computer Go Proceedings Article
In: 2015 IEEE Conference on Computational Intelligence and Games, CIG 2015, Tainan, Taiwan, August 31 - September 2, 2015, pp. 169–176, 2015.
A framework for modelling tactical decision-making in autonomous systems Journal Article
In: Journal of Systems and Software, vol. 110, pp. 222–238, 2015.
2014
Checking The Correctness of Agent Designs Against Model-Based Requirements. Proceedings Article
In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014), pp. 953–954, Prague, Czech Republic, 2014.
SP-MCTS-based Intention Scheduling for BDI Agents Proceedings Article
In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014), pp. 1133-1134, Prague, Czech Republic, 2014.
Quantifying the Completeness of Goals in BDI Agent Systems Proceedings Article
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 Proceedings Article
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) Proceedings Article
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. Proceedings Article
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. Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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., vol. 39, no. 9, pp. 1230-1244, 2013.
2012
Revising Conflicting Intention Sets in BDI Agents Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 (), vol. 63, no. 11, pp. 2313-2327, 2012.
Flexible Conversation Management using a BDI Agent Approach Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Proceedings Article
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 Book Section
In: Weyns, Danny; Gleizes, Marie-Pierre (Ed.): Agent-Oriented Software Engineering XI, vol. 6788, pp. 91-105, Springer Berlin / Heidelberg, 2011.
2010
On the Life-Cycle of BDI Agent Goals Proceedings Article
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 Proceedings Article
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) Proceedings Article
In: AAMAS '10: Proceedings of The 9th International Conference on Autonomous Agents and Multiagent Systems, pp. 1769-1770, IFAAMAS, Toronto, Canada, 2010.
Springer, vol. 5919, 2010, ISBN: 978-3-642-14842-2.
2009
Model Based Testing for Agent Systems Proceedings Article
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, vol. 3, no. 4, pp. 416–476, 2009, ISSN: 1746-1375.
Model based testing for agent systems Proceedings Article
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 Proceedings Article
In: AAMAS '08: Proceedings of The 7th International Conference on Autonomous Agents and Multiagent Systems, pp. 405–412, Estoril,Portugal, 2008.