Department of Computer Science
 
de_vos_marina

Senior Lecturer

1 West 3.61

Dept of Computer Science

Email: m.d.vos@bath.ac.uk

Tel: +44 (0) 1225 38 5053

 

Dr Marina De Vos

Profile

Research interests

Research in logic programming, game theory and agents. Research interests: knowledge representation, answer set programming and its applications, game theory and its applications, multi-agent systems, artificial intelligence, theoretical computer science, the use of logic in computer science.

Publications

Shams, Z., De Vos, M., Padget, J. and Vasconcelos, W., 2017. Forthcoming. Practical Reasoning with Norms for Autonomous Software Agents. Engineering Applications of Artificial Intelligence

King, T. C., De Vos, M., Dignum, V., Jonker, C. M., Li, T., Padget, J. and van Riemsdijk, M. B., 2017. Automated multi-level governance compliance checking. Autonomous Agents and Multi-Agent Systems

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2017. A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks. International Journal of Wireless Information Networks, 24 (1), pp. 27-41.

Jahedpari, F., Rahwan, T., Hashemi, S., Michalak, T. P., De Vos, M., Padget, J. and Woon, W. L., 2017. Online Prediction via Continuous Artificial Prediction Markets. IEEE Intelligent Systems, 32 (1), 7851146.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2016. CBA:a cluster-based client/server data aggregation routing protocol. Ad Hoc Networks, 50, pp. 68-87.

Shams, Z., Vos, M. D., Padget, J. and Vasconcelos, W., 2016. Implementation of normative practical reasoning with durative actions. Springer International Publishing, pp. 335-353.

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. and van Riemsdijk, M. B., 2016. Revising institutions governed by institutions for compliant regulations. In: Dignum, V., Noriega, P., Sensoy, M. and Simao Sichman, J., eds. International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, 2015-05-04 - 2015-05-04. Springer International Publishing, pp. 191-208.

Padget, J., Elakehal, E., Li, T. and De Vos, M., 2016. InstAL: An Institutional Action Language. In: Social Coordination Frameworks for Social Technical Systems.Vol. 30. Springer Verlag, p. 101.

Shams, Z., De Vos, M., Oren, N. and Padget, J., 2016. Normative practical reasoning via argumentation and dialogue. In: Kambhampati, S., ed. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI), 2016. Palo Alto, U. S. A.: AAAI Press, pp. 1244-1250.

Li, T., De Vos, M., Padget, J., Satoh, K. and Balke, T., 2015. Debugging ASP using ILP. CEUR, 1 - 14.

Basurra, S., De Vos, M., Padget, J., Ji, Y., Lewis, T. and Armour, S., 2015. Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks, 25 (Part A), pp. 16-37.

King, T., Li, T., De Vos, M., Dignum, V., Jonker, C., Padget, J. and van Riemsdijk, M. B., 2015. A Framework for Institutions Governing Institutions. In: 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS2015), 2015-05-04 - 2015-05-08.

Shams, Z., Vos, M. D., Oren, N., Padget, J. and Satoh, K., 2015. Argumentation-based Normative Practical Reasoning.

De Vos, M., Eiter, T., Lierler, Y. and Toni, F., eds., 2015. Technical Communications of ICLP:Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015).Vol. 2433. CEUR.

Shams, Z., Vos, M. D. and Satoh, K., 2014. ArgPROLEG:A normative framework for the JUF theory. In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).Vol. 8417. Springer, pp. 183-198.

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. Springer, pp. 136-154.

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. Springer, pp. 47-62.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2014. Legal conflict detection in interacting legal systems. In: 1st International Jurix Doctoral Consortium and Poster Sessions, JURIX-DoCoPe 2013, in Conjunction with the 26th International Conference on Legal Knowledge and Information Systems, JURIX 2013, 2013-12-11 - 2013-12-13.

Balke, T., De Vos, M. and Padget, J., 2013. I-ABM:combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artificial Intelligence and Law, 21 (4), pp. 371-398.

De Vos, M., Balke, T. and Satoh, K., 2013. Combining Event- and State-based Norms:Extended Abstract. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, 2013-05-06 - 2013-05-10, MN.

Vatsikas, S., Armour, S., Lewis, T. and De Vos, M., 2013. Distributed quality of service provision using coalitions and the nash bargaining solution. IET Communications, 7 (4), pp. 340-348.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. Legal conflict detection in interacting legal systems. Amsterdam, The Netherlands: IOS Press, pp. 107-116.

Li, T., Balke, T., De Vos, M., Padget, J. and Satoh, K., 2013. A model-based approach to the automatic revision of secondary legislation. In: 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, 2013-06-10 - 2013-06-14. NY, USA: ACM, pp. 202-206.

Balke, T., De Vos, M. and Padget, J., 2013. An agent-based simulation approach to comparative analysis of enforcement mechanisms. In: 14th International Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems VIII (COIN 2012), 2012-06-05 - 2012-06-05. Berlin, Germany: Springer, pp. 53-70.

Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A. and Schapachnik, F., 2013. Computational Models for Normative Multi-Agent Systems. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 71-92.

Li, T., Balke, T., De Vos, M., Satoh, K. and Padget, J. A., 2013. Detecting conflicts in legal systems. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 174-189.

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation:A Wireless Mobile Grid Example. Springer, pp. 21-36.

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. The International Foundation for Autonomous Agents and Multiagent Systems, pp. 1205-1206.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2013. Handling change in normative specifications. In: Baldoni, M., Dennis, L., Mascardi, V. and Vasconcelos, W., eds. 10th International Workshop, DALT 2012, 2012-06-04 - 2012-06-04. Berlin: Springer, pp. 1-19.

De Vos, M., Balke, T. and Satoh, K., 2013. Modelling legitimate expectations. In: Motomura, Y., Butler, A. and Bekki, D., eds. 4th JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2012, 2012-11-30 - 2012-12-01. Berlin: Springer, pp. 141-156.

Rauwolf, P., Balke, T. and De Vos, M., 2013. Modelling normative awareness:First considerations. In: Social Coordination: Principles, Artefacts and Theories, SOCIAL.PATH 2013,, 2013-04-03 - 2013-04-05.

Balke, T., Noriega, P., Verhagen, H. and De Vos, M., 2013. Social coordination:Principles, artifacts and theories. In: Social Coordination. , p. 1.

Basurra, S., Ji, Y., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2012. Social-aware routing for wireless mesh networks. In: 76th IEEE Vehicular Technology Conference, 2012-09-03 - 2012-09-06.

Novelli, V., De Vos, M., Padget, J. and D'Ayala, D., 2012. LOG-IDEAH:ASP for architectonic asset preservation. In: Dovier, A. and Santos Costa, V., eds. 28th International Conference on Logic Programming, 2012-09-04 - 2012-09-08. Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 393-403.

De Vos, M., Kisa, D. G., Oetsch, J., Puehrer, J. and Tompits, H., 2012. Annotating answer-set programs in Lana. Theory and Practice of Logic Programming, 12 (4-5), pp. 616-637.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2012. Computational music theory. In: Musical Metacreation: Papers from the 2012 AIIDE Workshop. Association for the Advancement of Artificial Intelligence (AAAI), pp. 27-34.

Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A. and Satoh, K., 2012. Handling change in normative specifications. In: Hoek, W. v. d., Padgham, L., Conitzer, V. and Winikoff, M., eds. The 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2012, 2012-06-04 - 2012-06-08. IFAAMAS, pp. 1369-1370.

Balke, T., De Vos, M. and Padget, J., 2012. Normative run-time reasoning for institutionally-situated BDI agents. Berlin, Germany: Springer Verlag, pp. 129-148.

Balke, T., De Vos, M. and Padget, J., 2011. Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Computer Systems, 27 (8), pp. 1092-1102.

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A fast and fair algorithm for distributed subcarrier allocation using coalitions and the Nash bargaining solution. In: Vehicular Technology Conference (VTC Fall), 2011 IEEE, 2011-09-05 - 2011-09-08.

Corapi, D., Russo, A., De Vos, M., Padget, J. and Satoh, K., 2011. Normative design using inductive learning. Theory and Practice of Logic Programming, 11 (4-5), pp. 783-799.

Mills, A., Lister, D. and De Vos, M., 2011. Understanding static inter-cell interference coordination mechanisms in LTE. Journal of Communications, 6 (4), pp. 312-318.

Vatsikas, S., Armour, S., De Vos, M. and Lewis, T., 2011. A distributed algorithm for wireless resource allocation using coalitions and the Nash Bargaining Solution. In: 2011 IEEE 73rd Vehicular Technology Conference, VTC2011-Spring - Proceedings. Piscataway, NJ: IEEE.

Balke, T., De Vos, M., Padget, J. and Traskas, D., 2011. On-line reasoning for institutionally-situated BDI agents. In: 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011-05-02 - 2011-05-06.

Boenn, G., Brain, M., De Vos, M. and Ffitch, J., 2011. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11 (2-3), pp. 397-427.

Watson, R. and De Vos, M., 2011. ASTREA: Answer sets for a trusted reasoning environment for agents. In: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Heidelberg: Springer, pp. 490-509.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2011. Anton — A Rule-Based Composition System. In: Proceedings of ICMC 2011. University of Huddersfield and ICMA, pp. 135-138.

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: 2nd JSAI International Symposia on Artificial Intelligence, JSAI-isAI 2010, November 18, 2010 - November 19, 2010, 2011-01-01. Heidelberg: Springer, pp. 129-140.

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 77-94.

Balke, T., De Vos, M., Padget, J. A. and Traskas, D., 2011. Normative run-time reasoning for institutionally-situated BDI agents. In: 2011 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT 2011, 2011-08-21 - 2011-08-26. Piscataway, U.S.A: IEEE Computer Society.

Balke, T., De Vos, M., Padget, J. and Fitzek, F., 2011. Using a normative framework to explore the prototyping of wireless grids. In: 6th International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems VI, COIN@MALLOW 2010, August 30, 2010 - August 30, 2010, 2011-01-01. Heidelberg: Springer, pp. 95-113.

Basurra, S. S., De Vos, M., Padget, J., Lewis, T. and Armour, S., 2010. A zone-based routing protocol with parallel collision guidance broadcasting for MANET. In: 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010, November 11, 2010 - November 14, 2010, 2010-11-01. IEEE, pp. 1188-1191.

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. and Hayes, A., 2010. Using EVS and ResponseWare to Enhance Student Learning and Learning Experience. Submitted to: 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science, 2010-08-24 - 2010-08-26.

Mills, A., Lister, D., De Vos, M. and Ji, Y., 2010. The impact of MS velocity on the performance of frequency selective scheduling in IEEE 802.16e Mobile WiMAX. In: Consumer Communications and Networking Conference (CCNC), 2010 7th IEEE. IEEE Computer Society, pp. 1-5.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2010. InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. Berlin: Springer, pp. 102-121.

, 2009. SEA09:Software Engineering for Answer Set Programming. Department of Computer Science, University of Bath.

Brain, M., Cliffe, O. and De Vos, M., 2009. A pragmatic programmer’s guide to answer set programming. In: Software Engineering for Answer Set Programming (SEA09), 2009-09-14.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2009. ANTON: Composing logic and logic composing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmomotonic Reasoning. Proceedings of the 10th International Conference (LPNMR 2009).Vol. 5753, 2009. Springer, pp. 542-547.

Brain, M. and De Vos, M., 2009. The significance of memory costs in answer set solver implementation. Journal of Logic and Computation, 19 (4), pp. 615-641.

Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Reed, C., Quillinan, T. and Nieuwenhuis, K., 2009. ALIVE: A Framework for Flexible and Adaptive Service Coordination. Heidelberg: Springer, pp. 236-239.

Hopton, L., Cliffe, O., De Vos, M. and Padget, J., 2009. AQL : A query language for action domains modelled using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 437-443.

De Vos, M., 2009. ASP: The future is bright a position paper. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning.Vol. 5753. Berlin, Germany: Springer, pp. 625-627.

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2009. Generating optimal code using answer set programming. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. Logic Programming and Nonmonotonic Reasoning.Vol. 5753. Berlin, Germany: Springer, pp. 554-559.

Cliffe, O., De Vos, M. and Padget, J., 2009. Modelling normative frameworks using answer set programing. In: Erdem, E., Fangzhen, L. and Schaub, T., eds. 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 2009-01-01. Berlin, Germany: Springer, pp. 548-553.

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: 24th International Conference on Logic Programming (ICLP 2008), 2008-12-09 - 2008-12-13. Berlin / Heidelberg: Springer, pp. 724-728.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Automatic composition of melodic and harmonic music by answer set programming. In: Garcia de la Banda, M. and Pontelli, E., eds. Logic Programming. Proceedings of the 24th International Conference, ICLP 2008.5366 ed. Springer, pp. 160-174.

Boenn, G., Brain, M., De Vos, M. and ffitch, J., 2008. Anton: Answer Set Programming in the Service of Music. In: Pagnucco, M. and Thielscher, M., eds. Proceedings of the Twelth International Workshop on Non-Monotonic Reasoning. Sydney: University of New South Wales, pp. 85-93.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual Dynamic Adaptation of Models and Service Enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01, Toulouse.

Staikopoulos, A., Saudrais, S., Clarke, S., Padget, J., Cliffe, O. and De Vos, M., 2008. Mutual dynamic adaptation of models and service enactment in ALIVE. In: Models@Runtime workshop, Models 2008, 2008-09-01.

Brain, C. and De Vos, M., 2008. Answer set programming - a domain in need of explanation:A position paper. CEUR Workshop Proceedings, 391.

Cliffe, O., De Vos, M. and Padget, J., 2008. Embedding landmarks and scenes in a computational model of institutions. In: Sichman, J. S., Padget, J., Ossowski, S. and Noriega, P., eds. International Workshops on Coordination, Organizations, Institutions, and Norms in Agent Systems III, COIN 2007: COIN@AAMAS 2007 and COIN@MALLOW 2007, September 3, 2007 - September 4, 2007, 2008-01-01. Springer, pp. 41-57.

This list was generated on Mon Sep 25 03:32:50 2017 IST.

View more publications »