Projects per year
Personal profile
Research interests
My main research interests focus on knowledge representation and reasoning, with an emphasis on but not limited to answer set programming and normative multi-agent systems.
Answer set programming (ASP) is a declarative programming paradigm. Programs are written in AnsProlog, a logic programming language using the answer set semantics. AnsProlog is a knowledge representation language that allows the programmer to describe a problem and the requirements on its solutions in an intuitive way, rather than the algorithm to find the solutions to the problem.
Normative multi-agents systems offer a human society-like approach to govern open distributed systems where the norms regulate the behaviour of the various components.
I am in interested in the theory, implementation and application of ASP and normative systems. Previous application areas (in no particular order) include: structural engineering, music composition, legal reasoning, business rules and policy modelling.
I am also interest in inductive machine learning, explainable and verifiable AI, hybrid AI (combining knowledge-driven and data-driven AI techniques), legal reasoning, argumentation and game theory.
Willing to supervise doctoral students
- Declarative programming, Answer Set programming Theory, Methodology, Application
- Explainable AI
- Hybrid AI
- Normative multi-agent systems: Norm Emergence, Norm Change, Applications
- Policy Modelling
- Legal Reasoning
Education/Academic qualification
Education, Postgraduate Certificate in Learning and Teaching in Higher Education, University of Bath
2010
Award Date: 7 Oct 2010
Computer Science, Doctor of Science, Logic Programming, Decisions and Games, Vrije Universiteit Brussel
1998 → 2002
Award Date: 1 Jan 2002
Computer Science, Master of Computing, Disjunctive Logic Programming, Vrije Universiteit Brussel
Oct 1994 → Jul 1998
Award Date: 7 Jul 1998
Education, Aggregaat: Post gradudate certificate in Learning and Teaching, Vrije Universiteit Brussel
1996 → 1998
Award Date: 7 Jul 1998
Fingerprint
Dive into the research topics where Marina De Vos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 6 Finished
-
A model and architecture for multi-context, value-aware agents
De Vos, M. (PI) & Padget, J. (PI)
1/06/23 → 1/03/24
Project: Other
-
KTP with Altran Praxis Ltd
De Vos, M. (PI) & ffitch, J. P. (CoI)
Innovate UK, Innovate UK Business Connect
1/09/10 → 31/08/11
Project: Central government, health and local authorities
-
Using Audience Response Systems to Improve Student Learning
De Vos, M. (PI) & Davenport, J. (CoI)
1/12/09 → 30/08/10
Project: Central government, health and local authorities
-
EUMAS08: EUMAS08 - Sixth European Multi-Agent Systems Meeting
Padget, J. (PI) & De Vos, M. (CoI)
Engineering and Physical Sciences Research Council
1/09/08 → 28/02/09
Project: Research council
-
Research output
-
Context Matters: Contextual Value-Based Deliberation in Water Consumption Scenarios
Oliva-Felipe, L., Lobo, I., McKinlay, J., Dignum, F., De Vos, M., Cortés, U. & Cortés, A., 2025, Value Engineering in Artificial Intelligence - 2nd International Workshop, VALE 2024, Revised Selected Papers. Osman, N. & Steels, L. (eds.). Germany: Springer Science and Business Media Deutschland GmbH, p. 208-222 15 p. (Lecture Notes in Computer Science; vol. 15356 LNAI).Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding
-
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-IIIResearch output: Contribution to journal › Conference article › peer-review
Open Access -
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 Access3 Citations (SciVal) -
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-viiResearch output: Contribution to journal › Editorial › peer-review
-
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)
Activities
-
International Conference on Logic Programming Doctoral Consortium
De Vos, M. (Chair)
2015Activity: Academic conferences and events (excluding conference publications) › Conference or panel chair
-
European Conference on Artificial Intelligence
De Vos, M. (Chair)
2014Activity: Academic conferences and events (excluding conference publications) › Conference or panel chair
-
External PhD examiner
De Vos, M. (Examiner)
14 Jan 2015Activity: External examination and supervision › External examination
-
16th International Conference on Deontic Logic and Normative Systems
De Vos, M. (Speaker)
6 Jul 2023Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk
-
International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems
De Vos, M. (Speaker)
29 May 2023Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk