Search Results

Documents authored by De Vos, Marina

Document
DOI: 10.4230/DagRep.15.6.132
Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271)

Authors: Marina De Vos, Nicoletta Fornara, Munindar P. Singh, Leon van der Torre, and Jessica Woodgate

Published in: Dagstuhl Reports, Volume 15, Issue 6 (2026)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 25271 "Policy Modeling and Reasoning in Sociotechnical Systems". This seminar brought together researchers from academia and industry who are interested in studying the intersection between computer science, philosophy, logic, ethics, and law to discuss policy modelling and reasoning in a world where computers and humans need to work together. After lightning talks, two invited talks, and an open space topic gathering activity, we settled on four topics for deeper discussion in working groups, interspersed by primer talks from the various communities. The four topics were: 1) Concepts: What are the underlying aspects of this interdisciplinary field, and can they be defined consistently? 2) Agentic AI: How can we enable agents to interact and reason with human users through large language models? 3) Standardisation: How can we facilitate data sharing and compliance in international work with competing business interests? 4) Coevolution: How can we make sure that sociotechnical systems evolve with the societies they operate in? This report provides the abstracts of the talks, including participants' lightning talks, the two invited talks, and four primers, along with short reports from each working group detailing their discussions, including challenges and future opportunities.
Cite as

Marina De Vos, Nicoletta Fornara, Munindar P. Singh, Leon van der Torre, and Jessica Woodgate. Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271). In Dagstuhl Reports, Volume 15, Issue 6, pp. 132-188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

Copy BibTex To Clipboard

@Article{devos_et_al:DagRep.15.6.132,
  author =	{De Vos, Marina and Fornara, Nicoletta and Singh, Munindar P. and van der Torre, Leon and Woodgate, Jessica},
  title =	{{Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271)}},
  pages =	{132--188},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2026},
  volume =	{15},
  number =	{6},
  editor =	{De Vos, Marina and Fornara, Nicoletta and Singh, Munindar P. and van der Torre, Leon and Woodgate, Jessica},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.15.6.132},
  URN =		{urn:nbn:de:0030-drops-255747},
  doi =		{10.4230/DagRep.15.6.132},
  annote =	{Keywords: Multi-agent Systems, Norms and Values, Policy Modelling, Standardisation}
}
Document
Complete Volume
DOI: 10.4230/OASIcs.ICLP.2016
OASIcs, Volume 52, ICLP'16, Complete Volume

Authors: Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos

Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)

Abstract
OASIcs, Volume 52, ICLP'16, Complete Volume
Cite as

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Proceedings{carro_et_al:OASIcs.ICLP.2016,
  title =	{{OASIcs, Volume 52, ICLP'16, Complete Volume}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016},
  URN =		{urn:nbn:de:0030-drops-67654},
  doi =		{10.4230/OASIcs.ICLP.2016},
  annote =	{Keywords: Programming, Formal Definitions and Theory, Language Clasifications, Language Constructs and Features, Models of Computation, Semantics of Programming Languages, Mathematical Logic, Grammars and Other Rewriting Systems, Database Administration, Data Mining, Applications and Expert Systems,}
}
Document
Front Matter
DOI: 10.4230/OASIcs.ICLP.2016.0
Front Matter, Table of Contents, Preface, List of Authors

Authors: Manuel Carro, Andy King, Neda Saeedloei, and Marina De Vos

Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)

Abstract
Front Matter, Table of Contents, Preface, List of Authors
Cite as

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 0:i-0:xvi, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@InProceedings{carro_et_al:OASIcs.ICLP.2016.0,
  author =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  title =	{{Front Matter, Table of Contents, Preface, List of Authors}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{0:i--0:xvi},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.0},
  URN =		{urn:nbn:de:0030-drops-67538},
  doi =		{10.4230/OASIcs.ICLP.2016.0},
  annote =	{Keywords: Front Matter, Table of Contents, Preface, List of Authors}
}
Document
DOI: 10.4230/DFU.Vol4.12111.71
Computational Models for Normative Multi-Agent Systems

Authors: Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik

Published in: Dagstuhl Follow-Ups, Volume 4, Normative Multi-Agent Systems (2013)

Abstract
This chapter takes a closer look at computational logic approaches for the design, verification and the implementation of normative multi-agent systems. After a short overview of existing formalisms, architectures and implementation languages, an overview of current research challenges is provided.
Cite as

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, and Fernando Schapachnik. Computational Models for Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Follow-Ups, Volume 4, pp. 71-92, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)

Copy BibTex To Clipboard

@InCollection{alechina_et_al:DFU.Vol4.12111.71,
  author =	{Alechina, Natasha and Bassiliades, Nick and Dastani, Mehdi and De Vos, Marina and Logan, Brian and Mera, Sergio and Morris-Martin, Andreasa and Schapachnik, Fernando},
  title =	{{Computational Models for Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{71--92},
  series =	{Dagstuhl Follow-Ups},
  ISBN =	{978-3-939897-51-4},
  ISSN =	{1868-8977},
  year =	{2013},
  volume =	{4},
  editor =	{Andrighetto, Giulia and Governatori, Guido and Noriega, Pablo and van der Torre, Leendert W. N.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DFU.Vol4.12111.71},
  URN =		{urn:nbn:de:0030-drops-40001},
  doi =		{10.4230/DFU.Vol4.12111.71},
  annote =	{Keywords: Norm verification, Computational Architectures for Normative MAS, Programming Normative Systems}
}
Document
DOI: 10.4230/LIPIcs.ICLP.2012.393
LOG-IDEAH: ASP for Architectonic Asset Preservation

Authors: Viviana Novelli, Marina De Vos, Julian Padget, and Dina D’Ayala

Published in: LIPIcs, Volume 17, Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) (2012)

Abstract
To preserve our cultural heritage, it is important to preserve our architectonic assets, comprising buildings, their decorations and the spaces they encompass. In some geographical areas, occasional natural disasters, specifically earthquakes, damage these cultural assets. Perpetuate is a European Union funded project aimed at establishing a methodology for the classification of the damage to these buildings, expressed as "collapse mechanisms". Structural engineering research has identified 17 different collapse mechanisms for masonry buildings damaged by earthquakes. Following established structural engineering practice, paper-based decisions trees have been specified to encode the recognition process for each of the various collapse mechanisms. In this paper, we report on how answer set programming has been applied to the construction of a machine-processable representation of these collapse mechanisms as an alternative for these decision-trees and their subsequent verification and application to building records from L'Aquila, Algiers and Rhodes. As a result, we advocate that structural engineers do not require the time-consuming and error-prone method of decisions trees, but can instead specify the properties of collapse mechanisms directly as an answer set program.
Cite as

Viviana Novelli, Marina De Vos, Julian Padget, and Dina D’Ayala. LOG-IDEAH: ASP for Architectonic Asset Preservation. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 17, pp. 393-403, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@InProceedings{novelli_et_al:LIPIcs.ICLP.2012.393,
  author =	{Novelli, Viviana and De Vos, Marina and Padget, Julian and D’Ayala, Dina},
  title =	{{LOG-IDEAH: ASP for Architectonic Asset Preservation}},
  booktitle =	{Technical Communications of the 28th International Conference on Logic Programming (ICLP'12)},
  pages =	{393--403},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-43-9},
  ISSN =	{1868-8969},
  year =	{2012},
  volume =	{17},
  editor =	{Dovier, Agostino and Santos Costa, V{\'\i}tor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2012.393},
  URN =		{urn:nbn:de:0030-drops-36398},
  doi =		{10.4230/LIPIcs.ICLP.2012.393},
  annote =	{Keywords: Answer set programming, structural engineering, knowledge representation}
}
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact