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

Research Output

Filter
Paper
2013

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
11 Citations (Scopus)
29 Downloads (Pure)

Modelling normative awareness: First considerations

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

Research output: Contribution to conferencePaper

File
43 Downloads (Pure)
2011

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

12 Citations (Scopus)
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
46 Downloads (Pure)
2009

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
7 Citations (Scopus)
60 Downloads (Pure)
2007

APE: an AnsProlog* environment

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

Research output: Contribution to conferencePaper

14 Citations (Scopus)
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

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

3 Citations (Scopus)

ASP05: Answer Set Programming: Advances in Theory and Implementation

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

Research output: Contribution to conferencePaper

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

27 Citations (Scopus)
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

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

1 Citation (Scopus)
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