If you made any changes in Pure these will be visible here soon.

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, University of Bath

2010

Award Date: 7 Oct 2010

Computer Science, Doctor of Science, Vrije Universiteit Brussel

19982002

Award Date: 1 Jan 2002

Computer Science, Master of Computing, Vrije Universiteit Brussel

Oct 1994Jul 1998

Award Date: 7 Jul 1998

Education, Vrije Universiteit Brussel

19961998

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