Senior Lecturer
East Building East Building 3.2-4-6 Desk 10
Dept of Computer Science
Email: j.a.padget@bath.ac.uk
Tel: +44 (0) 1225 38 6971
Dr Julian Padget
Profile
Research interests
The main focus of my research is understanding the nature of (virtual) institutions and their application to the correct behaviour of software systems. Consequently there is a strong practical orientation involving significant software development. All the application areas are intrinsically distributed, such as agent-based systems, agent-based simulation, governance of agent interaction by (virtual) institutions, verification of (virtual) institutions, grid trading systems, mechanism design, (mathematical) web service brokerage, (mathematical) web service composition, semantic service description and discovery, distributed sound synthesis and distributed musical performance using software and human agents.
Information given here is limited and in generic terms because I prefer to maintain my teaching and research information via my home page - please browse!
Publications
Lee, J., Li, T. and Padget, J., 2013. Towards polite virtual agents using social reasoning techniques. Computer Animation and Virtual Worlds, 24 (3-4), pp. 335-343.
Lovett, T., Gabe-Thomas, E., Natarajan, S., O'Neill, E. and Padget, J., 2013. 'Just enough' sensing to ENLITEN : A preliminary demonstration of sensing strategy for the 'ENergy LIteracy Through an intelligent home ENergy advisor' (ENLITEN) project. In: e-Energy '13: Proceedings of the Fourth International Conference on Future Energy Systems. New York: ACM, pp. 279-280.
Lee, J., Baines, V. and Padget, J., 2013. Decoupling cognitive agents and virtual environments. In: Cognitive Agents for Virtual Environments. Berlin: Springer, pp. 17-36.
Bevan, C., Emanuel, L., Padget, J., Swart, J., Powell, J. and Basurra, S., 2013. Factors in the emergence and sustainability of self-regulation. In: AISB Convention. Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH)., 2013-04-03 - 2013-04-05, Exeter.
Balke, T., De Vos, M. and Padget, J., 2013. Forthcoming. I-ABM : combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artificial Intelligence and Law
Elakehal, E. E. and Padget, J., 2012. MSMAS: modelling self-managing multi agent systems. Journal of Scalable Computing: Practice and Experience, 13 (2), pp. 121-137.
Brazier, F., Dignum, V., Huhns, M. N., Derksen, C., Dignum, F., Lessner, T., Padget, J., Quillinan, T. and Singh, M. P., 2012. Agent-based organisational governance of services. Multiagent and Grid Systems, 8 (1), pp. 3-18.
Duan, K., Padget, J., Kim, H.A. and Hosobe, H., 2012. Composition of engineering web services with universal distributed data-flows framework based on ROA. In: WS-REST '12 Proceedings of the Third International Workshop on RESTful Design. Association for Computing Machinery (ACM), pp. 41-48.
Lam, V. S. W. and Padget, J., 2012. Equivalence checking of communicating UML statechart diagrams. International Journal of Software Engineering and Knowledge Engineering, 22 (2), pp. 265-304.
Elakehal, E. E. and Padget, J., 2012. Market intelligence and price adaptation. In: ICEC '12 Proceedings of the 14th Annual International Conference on Electronic Commerce. New York: ACM, pp. 9-16.
Basurra, S.S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06, Quebec City, QC.
Bibu, G., Padget, J. and Yoshioka, N., 2012. System security requirements analysis with answer set programming. In: 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, RESS 2012 - Proceedings. IEEE, pp. 10-13.
Balke, T., De Vos, M. and Padget, J., 2011. Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Computer Systems, 27 (8), pp. 1092-1102.
Natarajan, S., Padget, J. and Elliott, L., 2011. Modelling UK domestic energy and carbon emissions: an agent-based approach. Energy and Buildings, 43 (10), pp. 2602-2612.
Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.
Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06, Taipei, Taiwan.
Elakehal, E. E. and Padget, J., 2011. A Practical Method for Developing Multi Agent Systems: APMDMAS. In: Intelligent Distributed Computing V:Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, The Netherlands – October 2011. Heidelberg: Springer, pp. 11-20.
Traskas, D. and Padget, J., 2011. A multi-agent systems approach to call-centre management. International Journal of Parallel, Emergent and Distributed Systems, 26 (5), pp. 347-367.
Traskas, D., Padget, J. and Tansley, J., 2011. A probabilistic mechanism for agent discovery and pairing using domain-specific data. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer-Verlag, pp. 192-209.
Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. and Nieuwenhuis, K., 2011. ALIVE: A model-driven framework to develop dynamic, flexible, distributed service-oriented systems. In: Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. Piscataway, NJ: IEEE Computer Society, pp. 485-492.
Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. and Natarajan, S., 2011. An agent-based infrastructure for energy profile capture and management. In: 2011 International Conference on Networking, Sensing and Control, ICNSC 2011, 2011-04-11 - 2011-04-13, Delft.
Neives, J. C., Padget, J., Vasconcelos, W., Staikopoulos, A., Cliffe, O., Dignum, F., Vazquez-Salceda, J., Clarke, S. and Reed, C., 2011. Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering. In: Schahram, D. and Li, F., eds. Services Engineering: European Research Results. Vienna, Austria: Springer, pp. 85-115.
De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI. Heidelberg: Springer-Verlag, pp. 129-140.
Song, Y.-Z., Bowen, C., Kim, H. A., Nassehi, A., Padget, J., Gathercore, N. and Dent, A., 2011. Non-invasive damage detection in composite beams using marker extraction and wavelets. Proceedings of SPIE - The International Society for Optical Engineering, 7983, 79830R.
Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer-Verlag, pp. 77-94.
Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT). Vol. 3. Piscataway, U.S.A: IEEE Computer Society.
Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer-Verlag, pp. 95-113.
Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: Proceedings - 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010. IEEE, pp. 1188-1191.
Aldewereld, H., Padget, J., Vasconcelos, W., Vazquez-Salceda, J., Sergeant, P. and Staikopoulos, A., 2010. Adaptable, organization-aware, service-oriented computing. IEEE Intelligent Systems, 25 (4), pp. 80-84.
Padget, J., Riat, H., Warnier, M., Brazier, F. and Natarajan, S., 2010. An agent-based infrastructure for energy profile capture and management. In: Agent Technologies for Energy Systems (ATES 2010), 2010-05-11, Toronto.
Staikopoulos, A., Cliffe, O., Popescu, R., Padget, J. and Clarke, S., 2010. Template-based adaptation of semantic web services with model-driven engineering. IEEE Transactions on Services Computing, 3 (2), pp. 116-130.
Vazquez-Salceda, J., Ceccaroni, L., Dignum, F., Vasconcelos, W., Padget, J., Clarke, S., Sergeant, P. and Nieuwenhuis, K., 2010. Combining organisational and coordination theory with model driven approaches to develop dynamic, flexible, distributed business systems. In: Digital Business - First Iternational ICST Conference, DigiBiz 2009, Revised Selected Papers. Heidelberg: Springer-Verlag, pp. 175-184.
Brazier, F.M., Dignum, V., Dignum, F., Huhns, M.H., Lessner, T., Padget, J., Quillinan, T. and Singh, M.P., 2010. Governance of services : A natural function for agents. In: 22nd Benelux Conference on Artificial Intelligence, BNAIC 2010, 2000-10-24 - 2010-10-25, Kirchberg.
Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. In: Dix, J., Fisher, M. and Novak, P., eds. Computational Logic in Multi-Agent Systems. Vol. 6214. Berlin: Springer, pp. 102-121.
Traskas, D. and Padget, J., 2009. Engineering agent organisations in a business environment. In: Aldewereld, H., Dignum, V. and Picard, G., eds. Engineering Societies in the Agents World X. Vol. 5881. Springer, pp. 49-64.
Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2009. Engineering design optimization using services and workflows. Philosophical Transactions of the Royal Society A - Mathematical Physical and Engineering Sciences, 367 (1898), pp. 2741-2751.
Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. In: Engineering Societies in the Agents World X. Vol. 5881. Heidelberg: Springer, pp. 236-239.
Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 437-443.
Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: Proceedings of the 1st International Conference on Agents and Artificial Intelligence (ICAART 2009). Vol. 2009. Instrumentation Systems and Automation Society, pp. 533-539.
Van Splunter, S., Brazier, F., Padget, J. and Rana, O., 2009. Dynamic service reconfiguration and enactment using an open matching architecture. In: 21st Benelux Conference on Artificial Intelligence, BNAIC 2009, 2009-10-29 - 2009-10-30, Eindhoven.
Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 548-553.
Dignum, F., Dignum, V., Padget, J. and Vazquez-Salceda, J., 2009. Organizing web services to develop dynamic, flexible, distributed systems. In: 11th International Conference on Information Integration and Web-based Applications and Services (iiWAS2009), 2009-12-14 - 2009-12-16, Kuala Lumpur.
Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366. Berlin / Heidelberg: Springer, pp. 724-728.
Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.
Crick, T., Dunning, P., Kim, H. A. and Padget, J., 2008. Structural optimization using services and workflows. In: UK e-Science All Hands Meeting: Crossing Boundaries, 2008-09-08 - 2008-09-11, Edinburgh.
Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. Coordination, organizations, institutions, and norms in agent systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Springer-Verlag, pp. 41-57.
Gradwell, P., Oey, M., Timmer, R., Brazier, F. and Padget, J., 2008. Engineering large-scale distributed auctions. In: 20th Belgian-Dutch Conference on Artificial Intelligence, BNAIC 2008, 2008-10-30 - 2008-10-31, Enshede.
El-Akehal, E. E.-d. and Padget, J. A., 2008. Pan-supplier stock control in a virtual warehouse. In: Berger, M., Burg, B. and Nishiyama, S., eds. Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track. Richland, SC, USA: International Foundation for Autonomous Agents and Multiagent Systems, pp. 11-18.
ffitch, J. and Padget, J., 2008. Provenance in Computer Music. In: Proceedings of the 2008 ICMC. SARC, Belfast: ICMA and Queen's University, Belfast, pp. 121-124.
