• 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
Chapter
2016

InstAL: An Institutional Action Language

Padget, J., Elakehal, E., Li, T. & De Vos, M., 2016, Social Coordination Frameworks for Social Technical Systems. Springer Verlag, Vol. 30. p. 101 124 p. (Law, Governance and Technology Series ).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
2014
1 Citation (Scopus)

ArgPROLEG: A normative framework for the JUF theory

Shams, Z., Vos, M. D. & Satoh, K., 6 Nov 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8417. p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8417).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
argumentation
decision making
popularity
flexibility
dialogue
2013

Social coordination: Principles, artifacts and theories

Balke, T., Noriega, P., Verhagen, H. & De Vos, M., 2013, Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013 - AISB Convention 2013. p. 1 1 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2012

Computational music theory

Boenn, G., Brain, M., De Vos, M. & Ffitch, J., 2012, Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), p. 27-34 8 p. (AAAI Technical Report; vol. WS-12-16).

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantics
Chemical analysis
2011
5 Citations (Scopus)

A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution

Vatsikas, S., Armour, S., De Vos, M. & Lewis, T., May 2011, 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring - Proceedings. Piscataway, NJ: IEEE, 5 p. 5956236. (IEEE Vehicular Technology Conference).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Parallel algorithms
Resource allocation

Anton — A Rule-Based Composition System

Boenn, G., Brain, M., De Vos, M. & ffitch, J., 2011, Proceedings of ICMC 2011. University of Huddersfield and ICMA, p. 135-138 4 p. (ICMC).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
programming
logic programming
music
harmonics

ASTREA: Answer sets for a trusted reasoning environment for agents

Watson, R. & De Vos, M., 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday: Symposium on Constructive Mathematics in Computer Science. 25-26 October 2010. Lexington, KY, United States.. Heidelberg: Springer, p. 490-509 20 p. (Lecture Notes in Computer Science; vol. 6565).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Intelligent agents
Multi agent systems
2010
8 Citations (Scopus)

The impact of MS velocity on the performance of frequency selective scheduling in IEEE 802.16e Mobile WiMAX

Mills, A., Lister, D., De Vos, M. & Ji, Y., Jan 2010, Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE. IEEE, p. 1-5 5 p. 5421844

Research output: Chapter in Book/Report/Conference proceedingChapter

Scheduling
Throughput
2009
7 Citations (Scopus)

ANTON: Composing logic and logic composing

Boenn, G., Brain, M., De Vos, M. & ffitch, J., Sep 2009, Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009). Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Springer, Vol. 5753, 2009. p. 542-547 6 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Chemical analysis
Automation

ASP: The future is bright a position paper

De Vos, M., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 625-627 3 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Generating optimal code using answer set programming

Crick, T., Brain, M., De Vos, M. & Fitch, J., 2009, Logic Programming and Nonmonotonic Reasoning. Erdem, E., Fangzhen, L. & Schaub, T. (eds.). Berlin, Germany: Springer, Vol. 5753. p. 554-559 6 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

2008

Anton: Answer Set Programming in the Service of Music

Boenn, G., Brain, M., De Vos, M. & ffitch, J., Sep 2008, Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. Pagnucco, M. & Thielscher, M. (eds.). Sydney: University of New South Wales, p. 85-93 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Chemical analysis
Knowledge representation
Automation
Semantics
23 Citations (Scopus)

Automatic composition of melodic and harmonic music by answer set programming

Boenn, G., Brain, M., De Vos, M. & ffitch, J., Dec 2008, Logic Programming. Proceedings of the 24th International Conference, ICLP 2008. Garcia de la Banda, M. & Pontelli, E. (eds.). 5366 ed. Springer, p. 160-174 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Chemical analysis
Knowledge representation
Automation
Engines
2006

Hierarchical Decision Making in Multi-Agent Systems using Answer Set Programming

Van Nieuwenborgh, D., De Vos, M., Heymans, S. & Vermeir, D., May 2006, Computational Logic in Multi-Agent Systems 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Inoue, K., Ken, S. & Toni, F. (eds.). Heidelberg: Springer, Vol. 4371. p. 20-40 21 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

16 Citations (Scopus)

TOAST: Applying answer set programming to superoptimisation

Brain, M., Crick, T., De Vos, M. & Fitch, J., 2006, Logic Programming, Proceedings. Vol. 4079. p. 270-284 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Scalability
Engines
2005
25 Citations (Scopus)

Debugging logic programs under the answer set semantics

Brain, M. & De Vos, M., 1 Jan 2005, ASP'05: Answer set programming: advances in theory and implementation: Proceedings of the 3rd International ASP'05 Workshop, Bath, UK, 27th-29th July 2005. De Vos, M. & Provetti, A. (eds.). Vol. 142. p. 141-152 12 p. (CEUR Workshop Proceedings; vol. 142).

Research output: Chapter in Book/Report/Conference proceedingChapter

Semantics
2004
1 Citation (Scopus)

Implementing ordered choice logic programming using answer set solvers

De Vos, M., 2004, Foundations of Information and Knowledge Systems, Proceedings. Vol. 2942. p. 59-77 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Logic programming
Decision making
Semantics
2002
6 Citations (Scopus)

Dynamic decision-making in logic programming and game theory

De Vos, M. & Vermeir, D., 2002, Al 2002: Advances in Artificial Intelligence. Vol. 2557. p. 36-47 12 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Dynamic decision making
Logic programming
Nash equilibrium
Game theory
Bottom-up

Logic Programming Agents Playing Games

De Vos, M. & Vermeir, D., Dec 2002, Research and Development in Intelligent Systems XIX. Bramer, M., Preece, A. & Coenen, F. (eds.). Springer, p. 323 1 p. (BCS Conference Series).

Research output: Chapter in Book/Report/Conference proceedingChapter