If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    A Norm Emergence Framework for Normative MAS – Position Paper

    Morris-Martin, A., De Vos, M. & Padget, J., 2 Apr 2021, (E-pub ahead of print) Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIII - International Workshops COIN 2017 and COINE 2020, Revised Selected Papers. Aler Tubella, A., Cranefield, S., Frantz, C., Meneguzzi, F. & Vasconcelos, W. (eds.). Cham, Switzerland: Springer Nature Switzerland, p. 156-174 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12298 LNAI).

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

  • Grid-Functioned Neural Networks

    Dehesa, J., Vidler, A., Padget, J. & Lutteroth, C., 18 Jul 2021, Proceedings of the Thirty-eighth International Conference on Machine Learning (ICML 2021). 139 ed. Curran Associates, Inc., Vol. 2021. p. 2559-2567 9 p. (Proceedings of Machine Learning Research; vol. 139).

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

    Open Access
    File
    6 Downloads (Pure)
  • 2020

    Norm emergence in multiagent systems: A viewpoint paper

    Morris-Martin, A., de Vos, M. & Padget, J., 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). The International Foundation for Autonomous Agents and Multiagent Systems, p. 2152-2154 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2020-May).

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

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

    Dehesa, J., Vidler, A., Lutteroth, C. & Padget, J., 21 Apr 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery, Vol. 2020-April. p. 1-14 14 p. 3376714. (Conference on Human Factors in Computing Systems - Proceedings).

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

    Open Access
    File
    2 Citations (SciVal)
    221 Downloads (Pure)
  • 2019

    ODRL Policy Modelling and Compliance Checking

    De Vos, M., Kirrane, S., Padget, J. & Satoh, K., 12 Sep 2019, (E-pub ahead of print) 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
    5 Citations (SciVal)
    41 Downloads (Pure)
  • 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

  • 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
    3 Citations (SciVal)
    10 Downloads (Pure)
  • Governing narrative events with tropes as institutional norms

    Thompson, M., Padget, J. & Battle, S., 2018, Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, p. 133-137 5 p. (Communications in Computer and Information Science; vol. 732).

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

    1 Citation (SciVal)
  • Graph-based Generation of Action-Adventure Dungeon Levels using Answer Set Programming

    Smith, T., Padget, J. & Vidler, A., 7 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). Association for Computing Machinery, p. 52:1-52:10 10 p. 52. (Proceedings of the International Conference on the Foundations of Digital Games).

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

    Open Access
    File
    6 Citations (SciVal)
    1675 Downloads (Pure)
  • 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 (SciVal)
  • Identifying affordances for modelling second-order emergent phenomena with the WIT framework

    Noriega, P., Sabater-Mir, J., Verhagen, H., Padget, J. & D’Inverno, M., 25 Nov 2017, (E-pub ahead of print) AAMAS 2017 Workshops Visionary Papers. Sukthankar, G. & Rodriguez, J. A. (eds.). Springer International Publishing, Vol. 10643. (Lecture Notes in Artificial Intelligence).

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

    3 Citations (SciVal)
  • 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

  • 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)
  • 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
    156 Downloads (Pure)
  • 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 (SciVal)
    48 Downloads (Pure)
  • 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 (SciVal)
  • 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 (SciVal)
  • An interactive, generative Punch and Judy show using institutions, ASP and emotional agents

    Thompson, M., Padget, J. & Battle, S., 2015, AISB Convention 2015. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB)

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

  • 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 (SciVal)
    124 Downloads (Pure)
  • 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

    12 Citations (SciVal)
  • 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 (SciVal)
    81 Downloads (Pure)
  • 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
    2 Citations (SciVal)
    42 Downloads (Pure)
  • 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 (SciVal)
    103 Downloads (Pure)
  • 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

  • Semantic Descriptions for Logical Content Generation

    Smith, T. & Padget, J., 29 Dec 2015, Proceedings of Foundations of Digital Games 2015. p. 1-3 3 p.

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

    Open Access
    File
    51 Downloads (Pure)
  • 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

  • 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

  • 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

    9 Citations (SciVal)
  • 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
    105 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 (SciVal)
    157 Downloads (Pure)
  • 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 (SciVal)
  • 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
    6 Citations (SciVal)
    205 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

    8 Citations (SciVal)
  • 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 (SciVal)
    409 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

    5 Citations (SciVal)
  • 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
    12 Citations (SciVal)
    167 Downloads (Pure)
  • 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
    165 Downloads (Pure)
  • 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 (SciVal)
  • 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 (SciVal)
    132 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 (SciVal)
    161 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
    43 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 (SciVal)
    53 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
    4 Citations (SciVal)
    119 Downloads (Pure)
  • '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
    7 Citations (SciVal)
    123 Downloads (Pure)
  • 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 (SciVal)
  • 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 (SciVal)
    167 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
    170 Downloads (Pure)
  • 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

    6 Citations (SciVal)
  • 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 (SciVal)