• 1 WEST 3.61

Accepting PhD Students

20012018
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 Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 1 Similar Profiles
Semantics Engineering & Materials Science
Specifications Engineering & Materials Science
Logic programming Engineering & Materials Science
Answer Sets Mathematics
Routing protocols Engineering & Materials Science
Multi agent systems Engineering & Materials Science
Answer Set Programming Mathematics
Inductive logic programming (ILP) Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2007 2015

Global Mobility Scheme - Artificial intelligence, intelligent systems

Bryson, J. & De Vos, M.

1/09/131/08/15

Project: Research-related fundingInternational Relations Office Funding

KTP with Altran Praxis Ltd

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

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.

1/12/0930/08/10

Project: Central government, health and local authorities

costs
student
staff
organization
event

ALIVE

Padget, J. & De Vos, M.

1/01/0831/10/10

Project: EU Commission

Open systems
Information services
Mobile devices
Web services
Managers

Research Output 2001 2018

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
Multi agent systems
Sensors
3 Citations

A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks

Pourroostaei Ardakani, S., Padget, J. & De Vos, M., Mar 2017, In : International Journal of Wireless Information Networks. 24, 1, p. 27-41

Research output: Contribution to journalArticle

Open Access
File
Mobile agents
Routing protocols
Wireless sensor networks
Agglomeration
Network protocols
1 Citations

Automated multi-level governance compliance checking

King, T. C., De Vos, M., Dignum, V., Jonker, C. M., Li, T., Padget, J. & van Riemsdijk, M. B., 1 Nov 2017, In : Autonomous Agents and Multi-Agent Systems. 31, 6, p. 1283-1343 61 p.

Research output: Contribution to journalArticle

Open Access
File
Compliance
Concretes
Semantics
Acoustic waves
1 Citations

Online Prediction via Continuous Artificial Prediction Markets

Jahedpari, F., Rahwan, T., Hashemi, S., Michalak, T. P., De Vos, M., Padget, J. & Woon, W. L., 13 Feb 2017, In : IEEE Intelligent Systems. 32 , 1, p. 61-68 7851146.

Research output: Contribution to journalArticle

Open Access
File
Learning systems
History
Economics

Practical Reasoning with Norms for Autonomous Software Agents

Shams, Z., De Vos, M., Padget, J. & Vasconcelos, W., Oct 2017, In : Engineering Applications of Artificial Intelligence. 65, p. 388-399

Research output: Contribution to journalArticle

Open Access
File
Software agents
Decision making

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