Projects per year
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
1998 → 2002
Computer Science, Master of Computing, Vrije Universiteit Brussel
Oct 1994 → Jul 1998
Education, Vrije Universiteit Brussel
1996 → 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.
- 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
- 7 Finished
Global Mobility Scheme - Artificial intelligence, intelligent systems
1/09/13 → 1/08/15
Project: Research-related funding › International Relations Office Funding
KTP with Altran Praxis Ltd
De Vos, M. & ffitch, J. P.
1/09/10 → 31/08/11
Project: Central government, health and local authorities
Using Audience Response Systems to Improve Student Learning
1/12/09 → 30/08/10
Project: Central government, health and local authorities
EUMAS08: EUMAS08 - Sixth European Multi-Agent Systems Meeting
1/09/08 → 28/02/09
Project: Research council
costs
student
staff
organization
event
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 proceeding › Conference 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-41Research output: Contribution to journal › Article
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 journal › Article
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 journal › Article
Open Access
File
Learning systems
History
Economics
1
Citations
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-399Research output: Contribution to journal › Article
Open Access
File
Software agents
Decision making
Thesis
An Argumentation-Based Approach to Normative Practical Reasoning
Author: Shams, Z., 3 May 2016Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Artificial Prediction Markets for Online Prediction of Continuous Variables
Author: Jahedpari, F., 30 Jun 2016Supervisor: De Vos, M. (Supervisor) & Padget, J. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Challenges in artificial socio-cognitive systems: A study based on intelligent vehicles
Author: Baines, V., 14 May 2015Supervisor: Padget, J. (Supervisor) & De Vos, M. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File
Collision Guided Routing for Ad Hoc Mobile Wireless Networks
Author: Ba Surra, S., 24 Apr 2013Supervisor: De Vos, M. (Supervisor), Padget, J. (Supervisor), Lewis, T. (External person) (Supervisor) & Armour, S. (External person) (Supervisor)
Student thesis: Doctoral Thesis › PhD
Computational Verification of Security Requirements
Author: Bibu, G. D., 19 Nov 2014Supervisor: Padget, J. (Supervisor), Davenport, J. (Supervisor) & De Vos, M. (Supervisor)
Student thesis: Doctoral Thesis › PhD
File