Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012

Author

  • Julian Padget
2017

Preface to Coordination, Organizations, Institutions, and Norms in Agent Systems XII

Cranefield, S., Mahmoud, S., Padget, J. & Rocha, A. P., 2017, In : Lecture Notes in Computer Science. 10315 LNAI, p. V-VII

Research output: Contribution to journalEditorial

2012

MSMAS: modelling self-managing multi agent systems

Elakehal, E. E. & Padget, J., Jun 2012, In : Journal of Scalable Computing: Practice and Experience. 13, 2, p. 121-137 17 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

A resource-oriented architecture for MDO framework

Duan, K., Ye, V., Kim, H. & Padget, J., 2012, 53rd AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference. Reston, U. S. A.: American Institute of Aeronautics and Astronautics (AIAA), p. AIAA-2012-1674

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Towards polite virtual agents using social reasoning techniques

Lee, J., Li, T. & Padget, J., May 2013, In : Computer Animation and Virtual Worlds. 24, 3-4, p. 335-343 9 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2012

System security requirements analysis with answer set programming

Bibu, G., Yoshioka, N. & Padget, J., 2012, 2012 2nd IEEE International Workshop on Requirements Engineering for Systems, Services, and Systems-of-Systems, RESS 2012 - Proceedings. IEEE, p. 10-13 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2015

Towards a framework for socio-cognitive technical systems

Noriega, P., Padget, J., Verhagen, H. & D’Inverno, M., 2015, Coordination, Organizations, Institutions, and Norms in Agent Systems X: COIN 2014 International Workshops, COIN@AAMAS, Paris, France, May 6, 2014, COIN@PRICAI, Gold Coast, QLD, Australia, December 4, 2014, Revised Selected Papers. Ghose, A., Oren, N., Telang, P. & Thangarajah, J. (eds.). Switerland: Springer, p. 164-181 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9372).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)
2014

Designing sensor sets for capturing energy events in buildings

Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. & Padget, J., 2014, e-Energy 2014 - Proceedings of the 5th ACM International Conference on Future Energy Systems. New York, U. S. A. : Association for Computing Machinery, p. 229-230 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)
2013

Obligations to enforce prohibitions: On the adequacy of security policies

Pieters, W., Padget, J., Dechesne, F., Dignum, V. & Aldewereld, H., 26 Nov 2013, SIN '13 Proceedings of the 6th International Conference on Security of Information and Networks. New York, NY, USA: Association for Computing Machinery, p. 54-61 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
3 Citations (Scopus)
171 Downloads (Pure)
2012

Market intelligence and price adaptation

Elakehal, E. E. & Padget, J., 2012, ICEC '12 Proceedings of the 14th Annual International Conference on Electronic Commerce . New York, U. S. A.: Association for Computing Machinery, p. 9-16

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
3 Citations (Scopus)
129 Downloads (Pure)
2013

'Just enough' sensing to ENLITEN: A preliminary demonstration of sensing strategy for the 'ENergy LIteracy Through an intelligent home ENergy advisor' (ENLITEN) project

Lovett, T., Gabe-Thomas, E., Natarajan, S., O'neill, E. & Padget, J., 2013, e-Energy '13: Proceedings of the Fourth International Conference on Future Energy Systems. New York: Association for Computing Machinery, p. 279-280 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
6 Citations (Scopus)
98 Downloads (Pure)

Situating COIN in the cloud (Invited Paper).

Padget, J., 2013, Coordination, Organizations, Institutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012 Held Co-located with AAMAS 2012 Valencia, Spain, June 5, 2012 Revised Selected Papers. Springer, Vol. 7756. p. 1-16 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
139 Downloads (Pure)
2017

Practical Reasoning with Norms for Autonomous Software Agents

Shams, Z., De Vos, M., Padget, J. & Vasconcelos, W., Oct 2017, In : Engineering Applications of Artificial Intelligence. 65, p. 388-399

Research output: Contribution to journalArticle

Open Access
File
6 Citations (Scopus)
42 Downloads (Pure)
2018

Deontic Sensors

Padget, J., De Vos, M. & Page, C., 13 Jul 2018, International Joint Conference on Artificial Intelligence 2018: IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 475-481 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
2 Citations (Scopus)
10 Downloads (Pure)
2019

Towards Data-Driven Sword Fighting Experiences in VR

Dehesa, J., Vidler, A., Lutteroth, C. & Padget, J., 2 May 2019. 6 p.

Research output: Contribution to conferenceAbstract

Open Access
1 Citation (Scopus)
2012

Handling change in normative specifications

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. & Satoh, K., 2012, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). Hoek, W. V. D., Padgham, L., Conitzer, V. & Winikoff, M. (eds.). The International Foundation for Autonomous Agents and Multiagent Systems, p. 1369-1370 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

Artificial prediction markets as a tool for syndromic surveillance

Jahedpari, F., Padget, J., De Vos, M. & Hirsch, B., 9 Jan 2014, In : CEUR Workshop Proceedings. 1148, p. 113-126 14 p.

Research output: Contribution to journalConference article

2016

Normative practical reasoning via argumentation and dialogue

Shams, Z., De Vos, M., Oren, N. & Padget, J., 31 Jul 2016, Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. Kambhampati, S. (ed.). Palo Alto, U. S. A.: AAAI Press, p. 1244-1250 7 p. (Proceedings (IITA International Joint Conference on Artificial Intelligence)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
3 Citations (Scopus)
42 Downloads (Pure)
2013

A model-based approach to the automatic revision of secondary legislation

Li, T., Balke, T., De Vos, M., Padget, J. & Satoh, K., 2013, ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. NY, USA: Association for Computing Machinery, p. 202-206 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
11 Citations (Scopus)
150 Downloads (Pure)
2016

InstAL: An Institutional Action Language

Padget, J., Elakehal, E., Li, T. & De Vos, M., 2016, Social Coordination Frameworks for Social Technical Systems. Springer Verlag, Vol. 30. p. 101 124 p. (Law, Governance and Technology Series ).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
147 Downloads (Pure)
2017

Automated multi-level governance compliance checking

King, T. C., De Vos, M., Dignum, V., Jonker, C. M., Li, T., Padget, J. & van Riemsdijk, M. B., 30 Nov 2017, In : Autonomous Agents and Multi-Agent Systems. 31, 6, p. 1283-1343 61 p.

Research output: Contribution to journalArticle

Open Access
File
4 Citations (Scopus)
140 Downloads (Pure)
2015

Argumentation-based Normative Practical Reasoning

Shams, Z., Vos, M. D., Oren, N., Padget, J. & Satoh, K., 2015, Theory and Applications of Formal Argumentation - Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers. p. 226-242 17 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)
89 Downloads (Pure)
2013

An agent-based simulation approach to comparative analysis of enforcement mechanisms

Balke, T., De Vos, M. & Padget, J., 2013, Coordination, Organizations, Institutions, and Norms in Agent Systems VIII: 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Paper. Berlin, Germany: Springer, p. 53-70 18 p. (Lecture Notes in Computer Science; vol. 7756).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
140 Downloads (Pure)

Governing intelligent virtual agent behaviour with norms

Lee, J., Li, T., De Vos, M. & Padget, J. A., 2013, International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. Gini, M. L., Shehory, O., Ito, T. & Jonker, C. M. (eds.). The International Foundation for Autonomous Agents and Multiagent Systems, p. 1205-1206 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
1 Citation (Scopus)
44 Downloads (Pure)

Handling change in normative specifications

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. & Satoh, K., 2013, Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Baldoni, M., Dennis, L., Mascardi, V. & Vasconcelos, W. (eds.). Berlin: Springer, Vol. 7784 LNAI. p. 1-19 20 p. (Lecture Notes in Computer Science ; vol. 7784).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
3 Citations (Scopus)
125 Downloads (Pure)
2018

Fine-Grained Access Control via Policy-Carrying Data

Padget, J. & Vasconcelos, W., 1 Mar 2018, In : ACM Transactions on Internet Technology. 18, 3, 31.

Research output: Contribution to journalArticle

Open Access
File
3 Citations (Scopus)
97 Downloads (Pure)
2015

Run-time verification of MSMAS norms using event calculus

Elakehal, E. E., Montali, M. & Padget, J., 2015, Proceedings - 2014 IEEE 8th International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014. IEEE, p. 110-115 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

Enhancing the performance of decoupled software pipeline through backward slicing

Alwan, E., Fitch, J. & Padget, J., 2016, In : Research Journal of Applied Sciences. 11, 10, p. 900-909 10 p.

Research output: Contribution to journalArticle

Open Access
File
41 Downloads (Pure)
2019

Towards a goal-oriented agent-based simulation framework for high-performance computing

Gnatyshak, D., Oliva-Felipe, L., Álvarez-Napagao, S., Padget, J., Vázquez-Salceda, J., Garcia-Gasulla, D. & Cortés, U., 6 Sep 2019, Artificial Intelligence Research and Development - Proceedings of the 22nd International Conference of the Catalan Association for Artificial Intelligence, CCIA 2019. Sabater-Mir, J., Torra, V., Aguilo, I. & Gonzalez-Hidalgo, M. (eds.). IOS Press, p. 329-338 10 p. (Frontiers in Artificial Intelligence and Applications; vol. 319).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2015

Policy-Carrying Data: A Step Towards Transparent Data Sharing

Padget, J. & Vasconcelos, W., Jun 2015, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies. p. 59-66 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
3 Citations (Scopus)
111 Downloads (Pure)

The effect of real-time context-aware feedback on thermal comfort and heating energy use: A case study

Vellei, M., Natarajan, S., Biri, B., Padget, J. & Walker, I., 2015, Proceedings of the 31th International PLEA Conference: ARCHITECTURE IN (R)EVOLUTION.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2016

The effect of real-time context-aware feedback on occupants' heating behaviour and thermal adaptation

Vellei, M., Natarajan, S., Biri, B., Padget, J. & Walker, I., Jul 2016, In : Energy and Buildings. 123, p. 179-191

Research output: Contribution to journalArticle

Open Access
File
19 Citations (Scopus)
173 Downloads (Pure)
2014

HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks

Pourroostaei Ardakani, S., Padget, J. & De Vos, M., 2014, Ad Hoc Networks: 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers. Mellouk, A., Sherif, M. H., Li, J. & Bellavista, P. (eds.). Springer, Vol. 129. p. 47-62 16 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
5 Citations (Scopus)
150 Downloads (Pure)
2019

UK Third Sector grant making: A summary of research by the University of Bath

Speller, M., Hodgson, P., Brandon-Jones, A., Dimov, D. & Padget, J., 2019

Research output: Book/ReportCommissioned report

Open Access
File
131 Downloads (Pure)
2014

Designing sensor sets for capturing energy events in buildings

Lovett, T. R., Gabe-Thomas, E., Natarajan, S., Brown, M. & Padget, J. A., Jan 2014, (Unpublished) 12 p.

Research output: Working paper

File
114 Downloads (Pure)

N-Jason: Run-time norm compliance in AgentSpeak(L)

Lee, J., Padget, J., Logan, B., Dybalova, D. & Alechina, N., 2014, Engineering Multi-Agent Systems : Second International Workshop, EMAS 2014, Paris, France, May 5-6, 2014, Revised Selected Papers. Dalpiaz, F., Dix, J. & Birna van Riemsdiijk, M. (eds.). Springer, Vol. 8758. p. 367-387 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8758).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)
2019

Using Social Reasoning Framework to Guide Normative Behaviour of Intelligent Virtual Agents

Lee, J. H., Lee, S. W. & Padget, J., 16 Jan 2019, Proceedings - 2018 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2018. IEEE, p. 2466-2471 6 p. 8616419

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2013

Decoupling cognitive agents and virtual environments

Lee, J., Baines, V. & Padget, J., 2013, Cognitive Agents for Virtual Environments: First International Workshop, CAVE 2012, Held at AAMAS 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Berlin, Germany: Springer, p. 17-36 20 p. (Lecture Notes in Computer Science; vol. 7764).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)
2014
File
37 Downloads (Pure)
2016

Design Space Descriptions for Logical Generation of Content

Smith, T., Padget, J. & Vidler, A., Aug 2016, STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium. Pearce, D. & Pinto, H. S. (eds.). IOS Press, Vol. 284. p. 209-214 6 p. (Frontiers in Artificial Intelligence and Applications; vol. 284).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
3 Downloads (Pure)

Social Coordination Frameworks for Social Technical Systems

Aldewereld, H. (ed.), Boissier, O. (ed.), Dignum, V. (ed.), Noriega, P. (ed.) & Padget, J. (ed.), 18 Jul 2016, Springer International Publishing. (Law, Governance and Technology Series; vol. 30)

Research output: Book/ReportBook

2018

Systemic approaches to incident analysis in aviation: comparison of STAMP, Agent-Based Modelling and Institutions

Mogles, N., Padget, J. & Bosse, T., 1 Oct 2018, In : Safety Science. 108, p. 59-71 13 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)
2014

Contextualized Institutions in Virtual Organizations

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. & Padget, J., 2014, Coordination, Organizations, Institutions, and Norms in Agent Systems IX. Balke, T., Dignum, F., van Riemsdijk, M. B. & Chopra, A. K. (eds.). Springer, p. 136-154 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations (Scopus)
103 Downloads (Pure)
2015

Debugging ASP using ILP

Li, T., De Vos, M., Padget, J., Satoh, K. & Balke, T., Aug 2015, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . De Vos, M., Eiter, T., Lierler, Y. & Toni, F. (eds.). CEUR, Vol. Vol-1433. p. 1 - 14 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
1 Citation (Scopus)
48 Downloads (Pure)

Energy efficient zone based routing protocol for MANETs

Basurra, S., De Vos, M., Padget, J., Ji, Y., Lewis, T. & Armour, S., 1 Feb 2015, In : Ad Hoc Networks. 25, Part A, p. 16-37 22 p.

Research output: Contribution to journalArticle

File
54 Citations (Scopus)
128 Downloads (Pure)
2014

Legal conflict detection in interacting legal systems

Li, T., Balke, T., De Vos, M., Padget, J. & Satoh, K., 2014.

Research output: Contribution to conferenceOther

Open Access
File
43 Downloads (Pure)
2019

Norm Emergence in Multiagent Systems: A Viewpoint Paper

Morris Martin, A., De Vos, M. & Padget, J., 1 Nov 2019, In : Autonomous Agents and Multi-Agent Systems. 33, 6, p. 706-749 44 p.

Research output: Contribution to journalArticle

Open Access
2013

Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example

Balke, T., De Vos, M. & Padget, J., 2013, PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, Vol. 8291. p. 21-36 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations (Scopus)
134 Downloads (Pure)

Detecting conflicts in legal systems

Li, T., Balke, T., De Vos, M., Satoh, K. & Padget, J. A., 2013, New Frontiers in Artificial Intelligence : JSAI-isAI 2012 Workshops, LENLS, JURISIN, MiMI, Miyazaki, Japan, November 30 and December 1, 2012, Revised Selected Papers. Motomura, Y., Butler, A. & Bekki, D. (eds.). Berlin: Springer, p. 174-189 16 p. (Lecture Notes in Computer Science; vol. 7856).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
8 Citations (Scopus)
86 Downloads (Pure)
2012

Social-aware routing for wireless mesh networks

Basurra, S., Ji, Y., De Vos, M., Padget, J., Lewis, T. & Armour, S., Sep 2012, 76th IEEE Vehicular Technology Conference. p. 1 - 5 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
116 Downloads (Pure)
2016

Designing sensor sets for capturing energy events in buildings

Lovett, T., Lee, J., Gabe-Thomas, E., Natarajan, S., Brown, M., Padget, J. & Coley, D., 1 Dec 2016, In : Building and Environment. 110, p. 11-22

Research output: Contribution to journalArticle

Open Access
File
13 Citations (Scopus)
131 Downloads (Pure)