Marina De Vos

View Scopus Profile

Marina De Vos

Dr

 https://orcid.org/0000-0003-3583-7671

  • 1 WEST 3.61

Accepting Doctoral Students

Filter
Book chapter

Search results

  • 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 or section in a book/report/conference proceeding › Book chapter

    Open Access
    File
    9 Citations (SciVal)
    514 Downloads (Pure)
  • 2014

    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 or section in a book/report/conference proceeding › Book chapter

    File
    1 Citation (SciVal)
    223 Downloads (Pure)
  • 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 or section in a book/report/conference proceeding › Book chapter

  • 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 or section in a book/report/conference proceeding › Book chapter

  • 2011

    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 or section in a book/report/conference proceeding › Book chapter

    Open Access
    File
    7 Citations (SciVal)
    241 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 or section in a book/report/conference proceeding › Book chapter

    File
    2 Citations (SciVal)
    194 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 or section in a book/report/conference proceeding › Book chapter

    File
    1 Citation (SciVal)
    246 Downloads (Pure)
  • 2010

    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 or section in a book/report/conference proceeding › Book chapter

    8 Citations (SciVal)
  • 2009

    ANTON: Composing logic and logic composing

    Boenn, G., Brain, M., De Vos, M. & ffitch, J., Sept 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 or section in a book/report/conference proceeding › Book chapter

    File
    8 Citations (SciVal)
    221 Downloads (Pure)

  • 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 or section in a book/report/conference proceeding › Book chapter

  • 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 or section in a book/report/conference proceeding › Book chapter

    2 Citations (SciVal)
  • 2008

    Anton: Answer Set Programming in the Service of Music

    Boenn, G., Brain, M., De Vos, M. & ffitch, J., Sept 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 or section in a book/report/conference proceeding › Book chapter

    File
    118 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 or section in a book/report/conference proceeding › Book chapter

    File
    27 Citations (SciVal)
    403 Downloads (Pure)
  • 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 or section in a book/report/conference proceeding › Book chapter

    6 Citations (SciVal)

  • 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 or section in a book/report/conference proceeding › Book chapter

    21 Citations (SciVal)
  • 2005

    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 or section in a book/report/conference proceeding › Book chapter

    31 Citations (SciVal)
  • 2004

    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 or section in a book/report/conference proceeding › Book chapter

    1 Citation (SciVal)
  • 2002

    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 or section in a book/report/conference proceeding › Book chapter

    7 Citations (SciVal)

  • 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 or section in a book/report/conference proceeding › Book chapter

  • 2000

    A logic for modeling decision making with dynamic preferences

    De Vos, M. & Vermeir, D., 2000, Logics in Artificial Intelligence. Ojeda-Aciego, M., de Guzmin, I.-P., Brewka, G. & Pereira, L. M. (eds.). Vol. 1919. p. 391-406 16 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 1919).

    Research output: Chapter or section in a book/report/conference proceeding › Book chapter

    6 Citations (SciVal)