• 1 WEST 3.61

Accepting PhD Students

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

Research Output 2001 2018

Filter
Paper
2013
9 Citations (Scopus)

Combining Event- and State-based Norms: Extended Abstract

De Vos, M., Balke, T. & Satoh, K., 6 May 2013, p. 1157-1158. 2 p.

Research output: Contribution to conferencePaper

File
Large scale systems

Modelling normative awareness: First considerations

Rauwolf, P., Balke, T. & De Vos, M., 2013, p. 65-71. 7 p.

Research output: Contribution to conferencePaper

File
Social Sciences
Interpersonal Relations
Systems Analysis
Software
Pressure
2011
11 Citations (Scopus)

A fast and fair algorithm for distributed subcarrier allocation using coalitions and the Nash bargaining solution

Vatsikas, S., Armour, S., De Vos, M. & Lewis, T., Sep 2011.

Research output: Contribution to conferencePaper

Resource allocation
Wireless networks
Network protocols
Costs
2010

Using EVS and ResponseWare to Enhance Student Learning and Learning Experience

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. & Hayes, A., Aug 2010, (In preparation). 5 p.

Research output: Contribution to conferencePaper

File
voting
electronics
learning
experience
student
2009
6 Citations (Scopus)

A pragmatic programmer’s guide to answer set programming

Brain, M., Cliffe, O. & De Vos, M., Sep 2009, p. 49-63. 15 p.

Research output: Contribution to conferencePaper

File
Specifications
2007
13 Citations (Scopus)

APE: an AnsProlog* environment

Sureshkumar, A., De Vos, M., Brain, M. & Fitch, J., 2007, p. 101-115. 15 p.

Research output: Contribution to conferencePaper

Computer programming
Logic programming
2006

An Application of Answer Set Programming: SuperoptimisationA Preliminary Report

Crick, T., Brain, M., De Vos, M., Fitch, J., Dix, J. (ed.) & Hunter, A. (ed.), May 2006.

Research output: Contribution to conferencePaper

2005
3 Citations (Scopus)

An Interactive Approach to Answer Set Programming

Brain, M., Watson, R., De Vos, M., De Vos, M. (ed.) & Provetti, A. (ed.), Jul 2005, p. 190--202. 13 p.

Research output: Contribution to conferencePaper

ASP05: Answer Set Programming: Advances in Theory and Implementation

De Vos, M. & Provetti, A., Jul 2005.

Research output: Contribution to conferencePaper

25 Citations (Scopus)

Debugging logic programs under the answer set semantics

Brain, M. & De Vos, M., Jul 2005, p. 142-152. 11 p.

Research output: Contribution to conferencePaper

2003

An Ordered Choice Logic Programming Front-End for Answer Set Solvers

De Vos, M. & Buccafurri, F. (ed.), Sep 2003, p. 362--373. 12 p.

Research output: Contribution to conferencePaper

ASP03: Answer Set Programming: Advances in Theory and Implementation

De Vos, M. & Provetti, A., Sep 2003.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice

Brain, M., De Vos, M., Marina~De, V. (ed.) & Alessandro, P. (ed.), 2003, p. 224-238. 15 p.

Research output: Contribution to conferencePaper

Logic programming
Semantics
Decision making
2001

Decisions, Agents and Games

De Vos, M., Vermeir, D. & Van Benthem, J. (ed.), Jul 2001, p. 219--232. 14 p.

Research output: Contribution to conferencePaper

Logic Programming Agents and Game Theory

De Vos, M. & Vermeir, D., Mar 2001, p. 27--33. 7 p.

Research output: Contribution to conferencePaper