Marina De Vos

View Scopus Profile

Phone+44 (0) 1225 385053
EmailM.D.Vosbath.acuk

1 WEST 3.61

Accepting Doctoral Students

48 Chapter in a published conference proceeding
20 Book chapter
20 Article
16 Paper
More

16 results

Filter

2020
Norm Emergence in Multiagent Systems: A Viewpoint Paper: Challenges and opportunities in norm emergence and normative MAS
Morris Martin, A., De Vos, M. & Padget, J., 13 May 2020, p. 2152-2154.
Research output: Contribution to conference › Paper › peer-review
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 conference › Paper › peer-review

File
12 Citations (SciVal)

79 Downloads (Pure)
Modelling normative awareness: First considerations
Rauwolf, P., Balke, T. & De Vos, M., 2013, p. 65-71. 7 p.
Research output: Contribution to conference › Paper › peer-review

File
1 Citation (SciVal)

117 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., Sept 2011.
Research output: Contribution to conference › Paper › peer-review
12 Citations (SciVal)
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 conference › Paper

File
96 Downloads (Pure)
2009
A pragmatic programmer’s guide to answer set programming
Brain, M., Cliffe, O. & De Vos, M., Sept 2009, p. 49-63. 15 p.
Research output: Contribution to conference › Paper › peer-review

File
9 Citations (SciVal)

195 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 conference › Paper › peer-review
15 Citations (SciVal)
2006

An Application of Answer Set Programming: SuperoptimisationA Preliminary Report
Crick, T., Brain, M., De Vos, M., Fitch, J., Dix, J. (Editor) & Hunter, A. (Editor), May 2006.
Research output: Contribution to conference › Paper
2005

An Interactive Approach to Answer Set Programming
Brain, M., Watson, R., De Vos, M., De Vos, M. (Editor) & Provetti, A. (Editor), Jul 2005, p. 190--202. 13 p.
Research output: Contribution to conference › Paper

3 Citations (SciVal)
ASP05: Answer Set Programming: Advances in Theory and Implementation
De Vos, M. & Provetti, A., Jul 2005.
Research output: Contribution to conference › Paper
Debugging logic programs under the answer set semantics
Brain, M. & De Vos, M., Jul 2005, p. 142-152. 11 p.
Research output: Contribution to conference › Paper

31 Citations (SciVal)
2003

An Ordered Choice Logic Programming Front-End for Answer Set Solvers
De Vos, M. & Buccafurri, F. (Editor), Sept 2003, p. 362--373. 12 p.
Research output: Contribution to conference › Paper
ASP03: Answer Set Programming: Advances in Theory and Implementation
De Vos, M. & Provetti, A., Sept 2003.
Research output: Contribution to conference › Paper
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice
Brain, M., De Vos, M., Marina~De, V. (Editor) & Alessandro, P. (Editor), 2003, p. 224-238. 15 p.
Research output: Contribution to conference › Paper
1 Citation (SciVal)
2001

Decisions, Agents and Games
De Vos, M., Vermeir, D. & Van Benthem, J. (Editor), Jul 2001, p. 219--232. 14 p.
Research output: Contribution to conference › Paper
Logic Programming Agents and Game Theory
De Vos, M. & Vermeir, D., Mar 2001, p. 27--33. 7 p.
Research output: Contribution to conference › Paper

Marina De Vos

Research output

Search results