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 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. In interested in the theory, implementation and application of ASP.

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. In interested in the theory, implementation and application of ASP. For some of the implementational aspects, I use ASP as the implementation and reasoning behind the normative system.

As a side, I also interested in web-services, machine learning, argumentation and game theory. Apart from computer science research, I am also investigating the computer science pedagogy.

Willing to supervise PhD

- Logic Programming: Theory, Methodology, Application (Music)<br/>- Agents: Norm Emergence, Large Scale Simulation, Policy Modelling, Legal Reasoning

Education/Academic qualification

Education, University of Bath

2010

Computer Science, Doctor of Science, Vrije Universiteit Brussel

19982002

Computer Science, Master of Computing, Vrije Universiteit Brussel

Oct 1994Jul 1998

Education, Vrije Universiteit Brussel

19961998

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 level. Dive into details by clicking on the dots.

Projects

KTP with Altran Praxis Ltd

De Vos, M. & ffitch, J. P.

Innovate UK

1/09/1031/08/11

Project: Central government, health and local authorities

Using Audience Response Systems to Improve Student Learning

De Vos, M. & Davenport, J.

Advance HE

1/12/0930/08/10

Project: Central government, health and local authorities

  • ALIVE

    Padget, J. & De Vos, M.

    European Commission

    1/01/0831/10/10

    Project: EU Commission

  • Research Output

    Argumentation-based reasoning about plans, maintenance goals, and norms

    Shams, Z., de Vos, M., Oren, N. & Padget, J., 29 Feb 2020, In : ACM Transactions on Autonomous and Adaptive Systems. 14, 3, 9.

    Research output: Contribution to journalArticle

    Open Access
    File
    7 Downloads (Pure)

    Norm Emergence in Multiagent Systems: A Viewpoint Paper

    Morris Martin, A., De Vos, M. & Padget, J., 1 Nov 2019, In : Autonomous Agents and Multi-Agent Systems. 33, 6, p. 706-749 44 p.

    Research output: Contribution to journalArticle

    Open Access

    ODRL Policy Modelling and Compliance Checking

    De Vos, M., Kirrane, S., Padget, J. & Satoh, K., 12 Sep 2019, Rules and Reasoning. RuleML+RR 2019: International Joint Conference on Rules and Reasoning, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Springer, p. 36-51 15 p. (Lecture Notes in Computer Science; vol. 11784).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
    15 Downloads (Pure)

    Deontic Sensors

    Padget, J., De Vos, M. & Page, C., 13 Jul 2018, International Joint Conference on Artificial Intelligence 2018: IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 475-481 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 10 Downloads (Pure)

    Thesis

    An Argumentation-Based Approach to Normative Practical Reasoning

    Author: Shams, Z., 3 May 2016

    Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Artificial Prediction Markets for Online Prediction of Continuous Variables

    Author: Jahedpari, F., 30 Jun 2016

    Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Challenges in artificial socio-cognitive systems: A study based on intelligent vehicles

    Author: Baines, V., 14 May 2015

    Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File

    Collision Guided Routing for Ad Hoc Mobile Wireless Networks

    Author: Ba Surra, S., 24 Apr 2013

    Supervisor: De Vos, M. (Supervisor), Padget, J. (Supervisor), Lewis, T. (External person) (Supervisor) & Armour, S. (External person) (Supervisor)

    Student thesis: Doctoral ThesisPhD

    Computational Verification of Security Requirements

    Author: Bibu, G. D., 19 Nov 2014

    Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)

    Student thesis: Doctoral ThesisPhD

    File