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
  • 2011

Author

  • Julian Padget
2013

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies

Balke, T., De Vos, M. & Padget, J., Nov 2013, In : Artificial Intelligence and Law. 21, 4, p. 371-398 28 p.

Research output: Contribution to journalArticle

Open Access
File
9 Citations (Scopus)
135 Downloads (Pure)

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)

Factors in the emergence and sustainability of self-regulation

Bevan, C., Emanuel, L., Padget, J., Swart, J., Powell, J. & Basurra, S., 2013, AISB Convention. Social Coordination: Principles, Artefacts and Theories (SOCIAL.PATH). p. 6-13

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

File
35 Downloads (Pure)

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)
2011

Legal modelling and reasoning using institutions

De Vos, M., Padget, J. & Satoh, K., 2011, New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Heidelberg: Springer, Vol. 6797 LNAI. p. 129-140 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

Open Access
File
10 Citations (Scopus)
130 Downloads (Pure)
2013

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)
2014
File
37 Downloads (Pure)
2017

A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks

Pourroostaei Ardakani, S., Padget, J. & De Vos, M., Mar 2017, In : International Journal of Wireless Information Networks. 24, 1, p. 27-41

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
161 Downloads (Pure)
2018

A Computational Model for Designing Energy Behaviour Change Interventions

Mogles, N., Padget, J., Gabe-Thomas, E., Walker, I. & Lee, J., 1 Mar 2018, In : User Modeling and User-Adapted Interaction. 28, 1, p. 1-34

Research output: Contribution to journalArticle

Open Access
4 Citations (Scopus)
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)
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)
2015

A situational awareness approach to intelligent vehicle agents

Baines, V. & Padget, J., 2015, Modeling Mobility with Open Data : 2nd SUMO conference 2014 Berlin, Germany, May 15-16, 2014 . Baines, V. & Padget, J. (eds.). Springer, p. 77-103 27 p. (Lecture Notes in Mobility ).

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

8 Citations (Scopus)
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
122 Downloads (Pure)
2015

Telling non-linear stories with interval temporal logic

Thompson, M., Battle, S. & Padget, J., 11 Dec 2015, Interactive Storytelling: 8th International Conference on Interactive Digital Storytelling, ICIDS 2015, Copenhagen, Denmark, November 30 - December 4, 2015, Proceedings. Shoenau-Fog, H., Bruni, L. E., Louchart, S. & Baceviciute, S. (eds.). Switzerland: Springer, p. 370-373 4 p. (Lecture Notes in Computer Science; vol. 9445).

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

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)
129 Downloads (Pure)

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)
171 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)
2017

How smart do smart meters need to be?

Mogles, N., Walker, I., Ramallo Gonzalez, A., Lee, J., Natarajan, S., Padget, J., Gabe-Thomas, E., Lovett, T., Ren, G., Hyniewska, S., O'Neill, E., Hourizi, R. & Coley, D., 15 Nov 2017, In : Building and Environment. 125, p. 439-450 12 p.

Research output: Contribution to journalArticle

Open Access
25 Citations (Scopus)
13 Downloads (Pure)
2015

Governing narrative events with institutional norms

Thompson, M., Padget, J. & Battle, S., 2015, 6th Workshop on Computational Models of Narrative (CMN 2015). Finlayson, M. A., Miller, B., Lieto, A. & Ronfard, R. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 45. p. 142-151 10 p. (OpenAccess Series in Informatics (OASIcs)).

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

Open Access
File
33 Downloads (Pure)
2017

SENSING AND SENSABILITY: THE CASE FOR LOW-COST ENVIRONMENTAL SENSORS

McCullen, N., Russell, C., Vellei, M., Wismayer, A., Lovett, T., Gabe-Thomas, E., Natarajan, S., Brown, M. & Padget, J., 7 Dec 2017.

Research output: Contribution to conferencePaper

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)
2011

Non-invasive damage detection in composite beams using marker extraction and wavelets

Song, Y-Z., Bowen, C., Kim, H. A., Nassehi, A., Padget, J., Gathercore, N. & Dent, A., 2011, In : Proceedings of SPIE - The International Society for Optical Engineering. 7983, 79830R.

Research output: Contribution to journalArticle

3 Citations (Scopus)
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)
2014

A light-weight framework for bridge-building from desktop to cloud

Duan, K., Padget, J. & Kim, H. A., 2014, Service-Orientated Computing, ICSOC, 2013: CCSA, CSB, PASCEB, SWESE, WESOA, and PhD Symposium, Berlin, Germany, December 2-5, 2013. Revised Selected Papers. Lomuscio, A., Nepal, S., Patrizi, F., Benatallah, B. & Brandic, I. (eds.). Vol. 8377. p. 308-323 16 p. (Lecture Notes in Computer Science; vol. 8377).

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

File
124 Downloads (Pure)

On requirements representation and reasoning using answer set programming

Padget, J., Elakehal, E. E., Satoh, K. & Ishikawa, F., 1 Jan 2014, 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings. IEEE, p. 35-42 8 p.

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

File
2 Citations (Scopus)
143 Downloads (Pure)

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)

Run-time norm compliance in BDI agents

Lee, J., Padget, J., Logan, B., Dybalova, D. & Alechina, N., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. The International Foundation for Autonomous Agents and Multiagent Systems, Vol. 2. p. 1581-1582 2 p.

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

4 Citations (Scopus)
2012

Equivalence checking of communicating UML statechart diagrams

Lam, V. S. W. & Padget, J., 2012, In : International Journal of Software Engineering and Knowledge Engineering. 22, 2, p. 265-304 40 p.

Research output: Contribution to journalArticle

2011

ALIVE: a model-driven framework to develop dynamic, flexible, distributed service-oriented systems

Vazquez-Salceda, J., Vasconcelos, W., Padget, J., Dignum, F., Clarke, S., Palau, M., Sergeant, P. & Nieuwenhuis, K., 2011, Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010. Piscataway, NJ: IEEE, p. 485-492 8 p.

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

2 Citations (Scopus)
2013

Verifying MSMAS model using CIFF

Elakehal, E. E., Montali, M. & Padget, J., 9 Oct 2013, Multiagent System Technologies - 11th German Conference, MATES 2013, Proceedings. p. 44-58 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8076 LNAI).

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

2 Citations (Scopus)
2015

Effectiveness of qualitative and quantitative security obligations

Pieters, W., Padget, J., Dechesne, F., Dignum, V. & Aldewereld, H., 1 Jun 2015, In : Journal of Information Security and Applications. 22, p. 3-16 14 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2013

Verifying MSMAS model using S CIFF

Elakehal, E. E., Montali, M. & Padget, J., 2013, Multiagent System Technologies: 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings. Klusch, M., Thimm, M. & Paprzycki, M. (eds.). Berlin: Springer, p. 44-58 15 p. (Lecture Notes in Computer Science; vol. 8076).

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

2012

Agent-based organisational governance of services

Brazier, F., Dignum, V., Huhns, M. N., Derksen, C., Dignum, F., Lessner, T., Padget, J., Quillinan, T. & Singh, M. P., 2012, In : Multiagent and Grid Systems. 8, 1, p. 3-18 16 p.

Research output: Contribution to journalArticle

8 Citations (Scopus)
2013

Social norm recommendation for virtual agent societies

Savarimuthu, B. T. R., Padget, J. & Purvis, M., 2013, PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Boella, G., Elkind, E., Savarimuthu, B. T. R., Dignum, F. & Purvis, M. K. (eds.). Springer Verlag, p. 308-323 16 p. (Lecture Notes in Computer Science; vol. 8291).

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

5 Citations (Scopus)
2012

Composition of engineering web services with universal distributed data-flows framework based on ROA

Duan, K., Padget, J., Kim, H. A. & Hosobe, H., 2012, WS-REST '12 Proceedings of the Third International Workshop on RESTful Design. Alarcon, R., Pautasso, C. & Wilde, E. (eds.). New York, U. S. A.: Association for Computing Machinery, p. 41-48 8 p.

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

3 Citations (Scopus)

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

2011

On-line reasoning for institutionally-situated BDI agents

Balke, T., De Vos, M., Padget, J. & Traskas, D., May 2011, 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). p. 1109-1110 2 p.

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

4 Citations (Scopus)
2013

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)
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)
149 Downloads (Pure)
2011

Normative design using inductive learning

Corapi, D., Russo, A., De Vos, M., Padget, J. & Satoh, K., Jul 2011, In : Theory and Practice of Logic Programming. 11, 4-5, p. 783-799 17 p.

Research output: Contribution to journalArticle

File
21 Citations (Scopus)
143 Downloads (Pure)

An agent-based infrastructure for energy profile capture and management

Padget, J., Riat, H., Forchhammer, B., Warnier, M., Brazier, F. M. T. & Natarajan, S., 2011, 2011 International Conference on Networking, Sensing and Control, ICNSC 2011. p. 50-55 6 p.

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

Open Access
File
149 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)
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)
2017

Preface

Bryson, J., De Vos, M. & Padget, J., 1 Jan 2017, In : Proceedings of AISB Annual Convention 2017. p. 2-3 2 p.

Research output: Contribution to journalEditorial

2016

Describing legal policies as story tropes in normative systems

Thompson, M., Padget, J. & Satoh, K., 1 Jan 2016, Legal Knowledge and Information Systems - JURIX 2016: The 29th Annual Conference. Bex, F. & Villata, S. (eds.). IOS Press, p. 207-210 4 p. (Frontiers in Artificial Intelligence and Applications; vol. 294).

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

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)
88 Downloads (Pure)
2017

Online Prediction via Continuous Artificial Prediction Markets

Jahedpari, F., Rahwan, T., Hashemi, S., Michalak, T. P., De Vos, M., Padget, J. & Woon, W. L., 13 Feb 2017, In : IEEE Intelligent Systems. 32 , 1, p. 61-68 7851146.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
232 Downloads (Pure)
2019

ODRL Policy Modelling and Compliance Checking

De Vos, M., Kirrane, S., Padget, J. & Satoh, K., 12 Sep 2019, Rules and Reasoning. RuleML+RR 2019: International Joint Conference on Rules and Reasoning, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Springer, p. 36-51 15 p. (Lecture Notes in Computer Science; vol. 11784).

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

Open Access
File
2 Citations (Scopus)
24 Downloads (Pure)