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

Research Output 2001 2019

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

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
Multi agent systems
Sensors
2017
5 Citations (Scopus)
91 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
Mobile agents
Routing protocols
Wireless sensor networks
Agglomeration
Network protocols
1 Citation (Scopus)
84 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
Compliance
Concretes
Semantics
Acoustic waves
2 Citations (Scopus)
124 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
Learning systems
History
Economics
4 Citations (Scopus)
23 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
Software agents
Decision making

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
1 Citation (Scopus)
65 Downloads (Pure)

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
Routing protocols
Servers
Agglomeration
Energy utilization
Hamming distance
78 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
92 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
1 Citation (Scopus)
25 Downloads (Pure)

Normative practical reasoning via argumentation and dialogue

Shams, Z., De Vos, M., Oren, N. & Padget, J., 15 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
Decision making
Planning
Compliance
2 Citations (Scopus)

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

Multi agent systems
Innovation
2015
10 Citations (Scopus)

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

subsidiarity
treaty
legislation
regulation
Society
1 Citation (Scopus)
46 Downloads (Pure)

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)
22 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
Inductive logic programming (ILP)
Semantics
Computer programming
44 Citations (Scopus)
83 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
Broadcasting
Routing protocols
Disasters
Network protocols
Mobile ad hoc networks
2014
1 Citation (Scopus)
74 Downloads (Pure)

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
argumentation
decision making
popularity
flexibility
dialogue
6 Citations (Scopus)
64 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
5 Citations (Scopus)
83 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
27 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
Specifications
Industry
2013
10 Citations (Scopus)
89 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
legislation
Law
programming
logic
scenario
87 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
Law enforcement
Statistical methods
Social sciences
Multi agent systems
Mobile phones
9 Citations (Scopus)
19 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
Large scale systems
17 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
7 Citations (Scopus)
54 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
legal system
jurisdiction
scenario
private law
Law
2 Citations (Scopus)

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

Quality of service
Outages
6 Citations (Scopus)
85 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
1 Citation (Scopus)
23 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
3 Citations (Scopus)
78 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
Specifications
Inductive logic programming (ILP)
Open systems
Demonstrations
9 Citations (Scopus)
78 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
job creation measure
Large scale systems
Decision making
Specifications
decision making
3 Citations (Scopus)

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

Specifications
Industry
73 Downloads (Pure)

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
private law
formalization
popularity
faith
Law
29 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
Social Sciences
Interpersonal Relations
Systems Analysis
Software
Pressure

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

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
Answer Sets
Answer Set Programming
HTML
Set theory
Annotation

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

Semantics
Chemical analysis

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

1 Citation (Scopus)
23 Downloads (Pure)

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
Decision trees
Structural design
Earthquakes
Engineering research
Disasters
4 Citations (Scopus)

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

59 Downloads (Pure)

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
Wireless mesh networks (WMN)
Broadcasting
Network routing
Routing algorithms
Routing protocols
2011
6 Citations (Scopus)
72 Downloads (Pure)

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
Parallel algorithms
Resource allocation
11 Citations (Scopus)

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

Resource allocation
Wireless networks
Network protocols
Costs
6 Citations (Scopus)
70 Downloads (Pure)
Open Access
File
Wireless networks
Communication
Mobile phones
Energy conservation
Energy utilization
36 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
programming
logic programming
music
harmonics
87 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
Intelligent agents
Multi agent systems
17 Citations (Scopus)
71 Downloads (Pure)

Automatic music composition using answer set programming

Boenn, G., Brain, M., De Vos, M. & Ffitch, J., Mar 2011, In : Theory and Practice of Logic Programming. 11, 2-3, p. 397-427 31 p.

Research output: Contribution to journalArticle

File
Answer Set Programming
Music
Chemical analysis
Harmonic
Computer music
10 Citations (Scopus)
77 Downloads (Pure)

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
Law
fairness
event
methodology
software
20 Citations (Scopus)
89 Downloads (Pure)

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
Inductive Learning
Inductive logic programming (ILP)
Open systems
Use Case
Semantics
3 Citations (Scopus)
85 Downloads (Pure)

Normative run-time reasoning for institutionally-situated BDI agents

Balke, T., De Vos, M., Padget, J. A. & Traskas, D., 2011, 2011 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT) . Piscataway, U.S.A: IEEE, Vol. 3. 4 p. 6040690

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

Open Access
File
Multi agent systems
Specifications
Autonomous agents
Open systems
Testing