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
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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
-
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 Access2 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) -
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 AccessFile11 Citations (SciVal)132 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)