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

Research Output

2020

Argumentation-based reasoning about plans, maintenance goals, and norms

Shams, Z., de Vos, M., Oren, N. & Padget, J., 29 Feb 2020, In : ACM Transactions on Autonomous and Adaptive Systems. 14, 3, 9.

Research output: Contribution to journalArticle

Open Access
File
12 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

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
1 Citation (Scopus)
17 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
10 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
7 Citations (Scopus)
141 Downloads (Pure)

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
3 Citations (Scopus)
127 Downloads (Pure)

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

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

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

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)
98 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
118 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
129 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
2 Citations (Scopus)
37 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 (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)

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

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)
36 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
51 Citations (Scopus)
116 Downloads (Pure)
2014

ArgPROLEG: A normative framework for the JUF theory

Shams, Z., Vos, M. D. & Satoh, K., 6 Nov 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8417. p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8417).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
1 Citation (Scopus)
114 Downloads (Pure)

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

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

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

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
39 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)
135 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
128 Downloads (Pure)

Combining Event- and State-based Norms: Extended Abstract

De Vos, M., Balke, T. & Satoh, K., 6 May 2013, p. 1157-1158. 2 p.

Research output: Contribution to conferencePaper

File
11 Citations (Scopus)
29 Downloads (Pure)

Computational Models for Normative Multi-Agent Systems

Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A. & Schapachnik, F., 2013, Normative Multi-Agent Systems. Andrighetto, G., Governatori, G., Noriega, P. & van der Torre, L. W. N. (eds.). Leibniz International Proceedings in Informatics, Vol. 4. p. 71-92 22 p. (Dagstuhl Follow-Ups).

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

Open Access
File
29 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)
80 Downloads (Pure)

Distributed quality of service provision using coalitions and the nash bargaining solution

Vatsikas, S., Armour, S., Lewis, T. & De Vos, M., 5 Mar 2013, In : IET Communications. 7, 4, p. 340-348 9 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

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)
124 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)
39 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)
116 Downloads (Pure)

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)
125 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 (Scopus)

Modelling legitimate expectations

De Vos, M., Balke, T. & Satoh, K., 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. 141-156 17 p. (Lecture Notes in Computer Science; vol. 7856).

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

Open Access
File
115 Downloads (Pure)

Modelling normative awareness: First considerations

Rauwolf, P., Balke, T. & De Vos, M., 2013, p. 65-71. 7 p.

Research output: Contribution to conferencePaper

File
43 Downloads (Pure)

Social coordination: Principles, artifacts and theories

Balke, T., Noriega, P., Verhagen, H. & De Vos, M., 2013, Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013 - AISB Convention 2013. p. 1 1 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2012

Annotating answer-set programs in Lana

De Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. & Tompits, H., Jul 2012, In : Theory and Practice of Logic Programming. 12, 4-5, p. 616-637 18 p.

Research output: Contribution to journalArticle

File
8 Citations (Scopus)
117 Downloads (Pure)

Computational music theory

Boenn, G., Brain, M., De Vos, M. & Ffitch, J., 2012, Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), p. 27-34 8 p. (AAAI Technical Report; vol. WS-12-16).

Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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)

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

A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution

Vatsikas, S., Armour, S., De Vos, M. & Lewis, T., May 2011, 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring - Proceedings. Piscataway, NJ: IEEE, 5 p. 5956236. (IEEE Vehicular Technology Conference).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
7 Citations (Scopus)
112 Downloads (Pure)

A fast and fair algorithm for distributed subcarrier allocation using coalitions and the Nash bargaining solution

Vatsikas, S., Armour, S., De Vos, M. & Lewis, T., Sep 2011.

Research output: Contribution to conferencePaper

12 Citations (Scopus)
Open Access
File
6 Citations (Scopus)
117 Downloads (Pure)

Anton — A Rule-Based Composition System

Boenn, G., Brain, M., De Vos, M. & ffitch, J., 2011, Proceedings of ICMC 2011. University of Huddersfield and ICMA, p. 135-138 4 p. (ICMC).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
52 Downloads (Pure)

ASTREA: Answer sets for a trusted reasoning environment for agents

Watson, R. & De Vos, M., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Heidelberg: Springer, p. 490-509 20 p. (Lecture Notes in Computer Science; vol. 6565).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
128 Downloads (Pure)