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, University of Bath
2010
Award Date: 7 Oct 2010
Computer Science, Doctor of Science, Vrije Universiteit Brussel
1998 → 2002
Award Date: 1 Jan 2002
Computer Science, Master of Computing, Vrije Universiteit Brussel
Oct 1994 → Jul 1998
Award Date: 7 Jul 1998
Education, 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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 5 Finished
-
KTP with Altran Praxis Ltd
De Vos, M. & ffitch, J. P.
1/09/10 → 31/08/11
Project: Central government, health and local authorities
-
Using Audience Response Systems to Improve Student Learning
1/12/09 → 30/08/10
Project: Central government, health and local authorities
-
EUMAS08: EUMAS08 - Sixth European Multi-Agent Systems Meeting
Engineering and Physical Sciences Research Council
1/09/08 → 28/02/09
Project: Research council
-
-
Research output
-
Preface
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, (E-pub ahead of print) 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
-
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 AccessFile2 Citations (SciVal)78 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
-
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