Find Research Outputs

Search in all content

Filters for Research Output

Search concepts
Selected filters

Publication Year

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

Author

  • Julian Padget
2014
File
35 Downloads (Pure)
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)
170 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
123 Downloads (Pure)

Smart meter roll-out strategy and its effect on energy savings at community level

McCullen, N., Walker, I., Natarajan, S. & Padget, J., 3 Sep 2014, (Unpublished).

Research output: Contribution to conferencePoster

File
38 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)
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

2013

Legal conflict detection in interacting legal systems

Li, T., Balke, T., De Vos, M., Padget, J. & Satoh, K., 1 Jan 2013, Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, p. 107-116 10 p. (Legal Knowledge and Information Systems; vol. 259).

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

3 Citations (Scopus)
2015

A Framework for Institutions Governing Institutions

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. & van Riemsdijk, M. B., 2015, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015). p. 473-481 8 p.

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

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

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

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

2012

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

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

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)

Multiagent organizations

Dignum, V. & Padget, J., Mar 2013, Multiagent Systems, 2nd ed.. Weiss, G. (ed.). Cambridge, U. K.: MIT Press, p. 51-98 (Intelligent Robotics & Autonomous Agents Series).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

2012

Normative run-time reasoning for institutionally-situated BDI agents

Balke, T., De Vos, M. & Padget, J., 2012, Coordination, Organizations, Institutions, and Norms in Agent Systems VII : COIN@AAMAS 2011, Taipei, Taiwan, May 2011, COIN@WI-IAT 2011, Lyon, France, August 2011, Revised Selected Papers. Cranefield, S., van Riemsdijk, M. B., Vazquez-Salceda, J. & Noriega, P. (eds.). Berlin, Germany: Springer Verlag, p. 129-148 (Lecture Notes in Computer Science; vol. 7254).

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

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

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

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)
133 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
138 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)
125 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)
88 Downloads (Pure)
2016

Implementation of normative practical reasoning with durative actions

Shams, Z., Vos, M. D., Padget, J. & Vasconcelos, W., 13 Jul 2016, Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN), 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 2015, COIN@IJCAI, Buenos Aires, Argentina, July 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Simao Sichman, J. (eds.). Springer International Publishing, p. 335-353 19 p. (Lecture Notes in Computer Science; vol. 9628).

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

Open Access
File
129 Downloads (Pure)

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
144 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)
124 Downloads (Pure)
2020

Touché: Data-Driven Interactive Sword Fighting in Virtual Reality

Dehesa, J., Vidler, A., Lutteroth, C. & Padget, J., 16 Jan 2020, (Acceptance date) Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery, Vol. 2020-April. (CHI Conference on Human Factors and Computing Systems).

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

Open Access
File
83 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
96 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
24 Citations (Scopus)
13 Downloads (Pure)

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)
160 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)
42 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
42 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)
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
101 Downloads (Pure)
2016

CBA: a cluster-based client/server data aggregation routing protocol

Pourroostaei Ardakani, S., Padget, J. & De Vos, M., 1 Nov 2016, In : Ad Hoc Networks. 50, p. 68-87

Research output: Contribution to journalArticle

Open Access
File
5 Citations (Scopus)
104 Downloads (Pure)
2012

LOG-IDEAH: ASP for architectonic asset preservation

Novelli, V., De Vos, M., Padget, J. & D'Ayala, D., 27 Jul 2012, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Dovier, A. & Santos Costa, V. (eds.). Dagstuhl: Leibniz International Proceedings in Informatics, p. 393-403 11 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 17).

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

Open Access
File
1 Citation (Scopus)
35 Downloads (Pure)
2016

Revising institutions governed by institutions for compliant regulations

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. & van Riemsdijk, M. B., 13 Jul 2016, Coordination, Organizations, Institutions, and Normes in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Simao Sichman, J. (eds.). Springer International Publishing, p. 191-208 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9628).

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

2 Citations (Scopus)
2014

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)

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

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

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

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

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

A Manifesto for Conscientious Design of Hybrid Online Social Systems

Noriega, P., Verhagen, H., D’Inverno, M. & Padget, J., 31 Aug 2017, Coordination, Organizations, Institutions, and Norms in Agent Systems XII. Cranefield, S., Mahmoud, S., Padget, J. & Rocha, A. P. (eds.). Springer International Publishing, (Lecture Notes in Artificial Intelligence; vol. 10315).

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

1 Citation (Scopus)
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)
144 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