Marina De Vos

2024

Joint Postproceedings for the Workshops and Tutorials at the Third International Conference on Hybrid Human-Artificial Intelligence (HHAI) (preface)

Ericson, P., Khairova, N. & De Vos, M., 11 Jun 2024, In: CEUR Workshop Proceedings. 3825, p. I-III

Research output: Contribution to journal › Conference article › peer-review

Open Access

2023

Agent-directed runtime norm synthesis

Morris-Martin, A., De Vos, M., Padget, J. & Ray, O., 2 Jun 2023, Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2023. p. 2271-2279 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

2 Citations (SciVal)

2022

Preface to International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems, COINE 2021

De Vos, M., Nieves, J. C. & Theodorou, A., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13239 LNAI, p. v-vii

Research output: Contribution to journal › Editorial › peer-review

2021

A Norm Emergence Framework for Normative MAS – Position Paper

Morris-Martin, A., De Vos, M. & Padget, J., 2 Apr 2021, 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

5 Citations (SciVal)

2020

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

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

Research output: Contribution to journal › Article › peer-review

Open Access

File

12 Citations (SciVal)

167 Downloads (Pure)

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

4 Citations (SciVal)

Norm Emergence in Multiagent Systems: A Viewpoint Paper: Challenges and opportunities in norm emergence and normative MAS

Morris Martin, A., De Vos, M. & Padget, J., 13 May 2020, p. 2152-2154.

Research output: Contribution to conference › Paper › peer-review

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 journal › Article › peer-review

Open Access

46 Citations (SciVal)

ODRL Policy Modelling and Compliance Checking

De Vos, M., Kirrane, S., Padget, J. & Satoh, K., 12 Sept 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

34 Citations (SciVal)

339 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

9 Citations (SciVal)

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 journal › Article › peer-review

Open Access

File

21 Citations (SciVal)

416 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 journal › Article › peer-review

Open Access

File

10 Citations (SciVal)

235 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 journal › Article › peer-review

Open Access

File

29 Citations (SciVal)

547 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 journal › Article › peer-review

Open Access

File

11 Citations (SciVal)

95 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 journal › Editorial › peer-review

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 journal › Article › peer-review

Open Access

File

13 Citations (SciVal)

270 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

245 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 or section in a book/report/conference proceeding › Book chapter

Open Access

File

9 Citations (SciVal)

514 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

9 Citations (SciVal)

129 Downloads (Pure)

OpenAccess Series in Informatics: Preface

Liñares, M. C., King, A., Saeedloei, N. & De Vos, M., 1 Nov 2016, In: OpenAccess Series in Informatics. 52, p. ix-xi

Research output: Contribution to journal › Editorial › peer-review

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

1 Citation (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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

14 Citations (SciVal)

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

1 Citation (SciVal)

225 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

1 Citation (SciVal)

128 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 journal › Article › peer-review

File

75 Citations (SciVal)

342 Downloads (Pure)

Technical Communications of ICLP: Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015)

De Vos, M. (Editor), Eiter, T. (Editor), Lierler, Y. (Editor) & Toni, F. (Editor), 2015, CEUR.

Research output: Book/Report › Book

Technical communications of the 31st international conference on logic programming - Editorial

De Vos, M., Eiter, T., Lierler, Y. & Toni, F., 4 Sept 2015, In: CEUR Workshop Proceedings. 1433

Research output: Contribution to journal › Editorial › peer-review

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 or section in a book/report/conference proceeding › Book chapter

File

1 Citation (SciVal)

223 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 journal › Conference article › peer-review

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

File

7 Citations (SciVal)

256 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

File

7 Citations (SciVal)

330 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 conference › Other › peer-review

Open Access

File

108 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

19 Citations (SciVal)

321 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

255 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 conference › Paper › peer-review

File

12 Citations (SciVal)

79 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

87 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

8 Citations (SciVal)

239 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 journal › Article › peer-review

3 Citations (SciVal)

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

File

7 Citations (SciVal)

255 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

File

1 Citation (SciVal)

111 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

File

5 Citations (SciVal)

188 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 journal › Article › peer-review

Open Access

File

18 Citations (SciVal)

292 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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

9 Citations (SciVal)

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

229 Downloads (Pure)

Modelling normative awareness: First considerations

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

Research output: Contribution to conference › Paper › peer-review

File

1 Citation (SciVal)

117 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 or section in a book/report/conference proceeding › Book chapter

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 journal › Article › peer-review

File

15 Citations (SciVal)

280 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 or section in a book/report/conference proceeding › Book chapter

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

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 or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Open Access

File

2 Citations (SciVal)

82 Downloads (Pure)

Marina De Vos

Research output

Search results