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

Education, Vrije Universiteit Brussel

19961998

Computer Science, Master of Computing, Vrije Universiteit Brussel

Oct 1994Jul 1998

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.

  • 2 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. & Fitch, J.

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. 16 Apr 2018 (Accepted/In press) International Joint Conference on Artificial Intelligence 2018. Lang, J. (ed.). 7 p.

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

Open Access
File
Multi agent systems
Sensors
2 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

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

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

Software agents
Decision making