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):

  • SDG 7 - Affordable and Clean Energy
  • SDG 10 - Reduced Inequalities

Education/Academic qualification

Education, Postgraduate Certificate in Learning and Teaching in Higher Education, University of Bath


Award Date: 7 Oct 2010

Computer Science, Doctor of Science, Logic Programming, Decisions and Games, Vrije Universiteit Brussel


Award Date: 1 Jan 2002

Computer Science, Master of Computing, Disjunctive Logic Programming, Vrije Universiteit Brussel

Oct 1994Jul 1998

Award Date: 7 Jul 1998

Education, Aggregaat: Post gradudate certificate in Learning and Teaching, Vrije Universiteit Brussel


Award Date: 7 Jul 1998


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