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

Research Output 2001 2019

Filter
Chapter
2016
70 Downloads (Pure)

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)
51 Downloads (Pure)

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)
45 Downloads (Pure)

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

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
64 Downloads (Pure)

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)
45 Downloads (Pure)

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
20 Downloads (Pure)

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)
88 Downloads (Pure)

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