Research

Items by De Vos, Marina

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 79.

Li, T., Jiang, J., Aldewereld, H., De Vos, M., Dignum, V. and Padget, J., 2014. Contextualized Institutions in Virtual Organizations. In: Balke, T., Dignum, F., van Riemsdijk, M. B. and Chopra, A. K., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems IX. Springer International Publishing, pp. 136-154. (Lecture Notes in Computer Science)

Pourroostaei Ardakani, S., Padget, J. and De Vos, M., 2014. HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. In: Mellouk, A., Sherif, M. H., Li, J. and Bellavista, P., eds. Ad Hoc Networks. Vol. 129. Springer, pp. 47-62. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering)

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.

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. In: Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, pp. 107-116. (Legal Knowledge and Information Systems; 259)

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: ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. 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: Coordination, Organizations, Institutions, and Norms in Agent Systems VIII. Springer Berlin Heidelberg, pp. 53-70. (Lecture Notes in Computer Science; 7756)

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

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

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. In: Andrighetto, G., Governatori, G., Noriega, P. and van der Torre, L. W. N., eds. Normative Multi-Agent Systems. Vol. 4. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 71-92. (Dagstuhl Follow-Ups)

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. New Frontiers in Artificial Intelligence. Berlin: Springer Berlin Heidelberg, pp. 174-189. (Lecture Notes in Computer Science; 7856)

Balke, T., De Vos, M. and Padget, J., 2013. Evaluating the Cost of Enforcement by Agent-Based Simulation : A Wireless Mobile Grid Example. In: PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Vol. 8291. Springer, pp. 21-36. (Lecture Notes in Computer Science)

Lee, J., Li, T., De Vos, M. and Padget, J. A., 2013. Governing intelligent virtual agent behaviour with norms. In: Gini, M. L., Shehory, O., Ito, T. and Jonker, C. M., eds. International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '13, Saint Paul, MN, USA, May 6-10, 2013. IFAAMAS, 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. Declarative Agent Languages and Technologies X. Vol. 7784 LNAI. Berlin: Springer Berlin Heidelberg, pp. 1-19. (Lecture Notes in Computer Science; 7784)

De Vos, M., Balke, T. and Satoh, K., 2013. Modelling legitimate expectations. In: Motomura, Y., Butler, A. and Bekki, D., eds. New Frontiers in Artificial Intelligence. Berlin: Springer Berlin Heidelberg, pp. 141-156. (Lecture Notes in Computer Science; 7856)

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, Exeter.

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

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. Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, pp. 393-403. (Leibniz International Proceedings in Informatics (LIPIcs); 17)

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. (AAAI Technical Report; WS-12-16)

Basurra, S.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, Quebec City, QC.

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. (IEEE Vehicular Technology Conference)

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, Taipei, Taiwan.

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. (Lecture Notes in Computer Science; 6565)

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. (ICMC)

De Vos, M., Padget, J. and Satoh, K., 2011. Legal modelling and reasoning using institutions. In: New Frontiers in Artificial Intelligence - JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Revised Selected Papers. Vol. 6797 LNAI. Heidelberg: Springer-Verlag, pp. 129-140. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics))

Corapi, D., De Vos, M., Padget, J., Russo, A. and Satoh, K., 2011. Norm refinement and design through inductive learning. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Heidelberg: Springer-Verlag, pp. 77-94. (Lecture Notes in Computer Science; 6541)

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 Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT). Vol. 3. 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: Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@MALLOW 2010, Revised Selected Papers. Vol. 6541 LNAI. Heidelberg: Springer-Verlag, pp. 95-113. (Lecture Notes in Computer Science)

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: Proceedings - 2010 IEEE 12th International Conference on Communication Technology, ICCT'2010. 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, Durham.

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. In: Dix, J., Fisher, M. and Novak, P., eds. Computational Logic in Multi-Agent Systems. Vol. 6214. Berlin: Springer, pp. 102-121. (Lecture Notes in Artificial Intelligence)

, 2009. SEA09 : Software Engineering for Answer Set Programming. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2009-20)

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, Potsdam.

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. (Lecture Notes in Artificial Intelligence)

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. In: Engineering Societies in the Agents World X. Vol. 5881. 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. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 437-443. (Lecture Notes in Computer Science)

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. (Lecture Notes in Computer Science)

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. (Lecture Notes in Computer Science)

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. Logic Programming and Nonmonotonic Reasoning. Vol. 5753. Berlin, Germany: Springer, pp. 548-553. (Lecture Notes in Computer Science)

Cliffe, O., De Vos, M., Padget, J. and Brain, M., 2008. ASPViz: Declarative Visualisation and Animation Using Answer Set Programming. In: Logic Programming - Proceedings of the 24th International Conference in Logic Programming (ICLP). Vol. 5366. Berlin / Heidelberg: Springer, pp. 724-728. (Lecture Notes in Computer Science)

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-Verlag, pp. 160-174. (Lecture Notes in Computer Science)

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.

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. Coordination, organizations, institutions, and norms in agent systems III: COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 revised selected papers. Springer-Verlag, pp. 41-57. (Lecture Notes in Computer Science; 4870)

Cliffe, O., De Vos, M. and Padget, J., 2007. Specifying and Reasoning about Multiple Institutions. In: Noriega, P., Vazquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N. and Matson, E., eds. Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers. Vol. 4386/2007. Heidelberg: Springer, pp. 67-85. (Lecture Notes in Computer Science)

de Vos, M. and Schaub, T., 2007. SEA'07: Software engineering for answer set programming. Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2007-05)

Sureshkumar, A., De Vos, M., Brain, M. and Fitch, J., 2007. APE: an AnsProlog* environment. In: Software Engineering for Answer Set Programming: SEA'07: First International Workshop, 2007-05-14, Tempe, Arizona.

Cliffe, O., De Vos, M. and Padget, J., 2007. Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Ken, S. and Toni, F., eds. Computational logic in multi-agent systems: 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, revised selected and invited papers. Heidelberg, Germany: Springer-Verlag, pp. 60-79. (Lecture Notes in Computer Science; 4371)

Crick, T., Brain, M., De Vos, M. and Fitch, J., 2006. An Application of Answer Set Programming: SuperoptimisationA Preliminary Report. In: Dix, J. and Hunter, A., eds. Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 2006-05-01.

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

Brain, M. J., Crick, T., Fitch, J. P. and de Vos, M., 2006. An application of answer set programming: Superoptimisation (A preliminary report). Other. University of Bath, Department of Computer Science. (Computer Science Technical Reports; CSBU-2006-05)

De Vos, M., Crick, T., Padget, J., Brain, M., Cliffe, O. and Needham, J., 2006. LAIMA: A multi-agent platform using ordered choice logic programming. In: Declarative Agent Languages and Technologies Iii. Vol. 3904. , pp. 72-88. (Lecture Notes in Artificial Intelligence)

Cliffe, O., De Vos, M. and Padget, J., 2006. Specifying and analysing agent-based social institutions using answer set programming. In: Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. Vol. 3913. , pp. 99-113. (Lecture Notes in Artificial Intelligence)

Brain, M., Crick, T., De Vos, M. and Fitch, J., 2006. TOAST: Applying answer set programming to superoptimisation. In: Logic Programming, Proceedings. Vol. 4079. , pp. 270-284. (Lecture Notes in Computer Science)

De Vos, M., Cliffe, O., Watson, R., Crick, T., Padget, J., Needham, J. and Brain, M., 2005. T-LAIMA: Answer Set Programming for Modelling Agents with Trust. In: European Workshop on Multi-Agent Systems (EUMAS05), 2005-12-01.

De Vos, M. and Provetti, A., 2005. ASP05: Answer Set Programming: Advances in Theory and Implementation.

Brain, M., Watson, R. and De Vos, M., 2005. An Interactive Approach to Answer Set Programming. In: De Vos, M. and Provetti, A., eds. ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01, Bath.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: ASP05: Answer Set Programming: Advances in Theory and Implementation, 2005-07-01, Bath.

Brain, M. and De Vos, M., 2005. Debugging logic programs under the answer set semantics. In: De Vos, M. and Provetti, A., eds. ASP'05: Answer set programming: advances in theory and implementation. Vol. 142. , pp. 141-152. (CEUR Workshop Proceedings; 142)

De Vos, M. and Brain, M., 2004. Logic-based Multi-Agents in Industry : CLIMA V Panel.

De Vos, M. and Vermeir, D., 2004. Extending answer sets for logic programming agents. Annals of Mathematics and Artificial Intelligence, 42 (1-3), pp. 103-139.

De Vos, M., 2004. Implementing ordered choice logic programming using answer set solvers. In: Foundations of Information and Knowledge Systems, Proceedings. Vol. 2942. , pp. 59-77. (Lecture Notes in Computer Science)

De Vos, M. and Provetti, A., 2003. ASP03: Answer Set Programming: Advances in Theory and Implementation.

De Vos, M., 2003. An Ordered Choice Logic Programming Front-End for Answer Set Solvers. In: Buccafurri, F., ed. APPIA-GULP-PRODE 2003: 2003 Joint Conference on DeclaritiveProgramming, 2003-09-01, Reggio Calabria.

Brain, M. and De Vos, M., 2003. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In: Marina~De, V. and Alessandro, P., eds. 2nd International Workshop on Answer Set Programming Advances in Theory and Implementation, ASP 2003, 2003-09-26 - 2003-09-28, Messina.

De Vos, M. and Vermeir, D., 2002. Logic Programming Agents Playing Games. In: Bramer, M., Preece, A. and Coenen, F., eds. Research and Development in Intelligent Systems XIX. Springer, p. 323. (BCS Conference Series)

De Vos, M. and Vermeir, D., 2002. Dynamic decision-making in logic programming and game theory. In: Al 2002: Advances in Artificial Intelligence. Vol. 2557. , pp. 36-47. (Lecture Notes in Artificial Intelligence)

De Vos, M. and Vermeir, D., 2001. Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence, 17 (4), pp. 651-684.

De Vos, M. and Vermeir, D., 2001. Decisions, Agents and Games. In: Van Benthem, J., ed. Proceedings of the 8th conference on Theoretical aspects of rationality and knowledge, Siena, Italy, 2001-07-01, Siena.

De Vos, M. and Vermeir, D., 2001. Logic Programming Agents and Game Theory.

This list was generated on Thu Sep 18 22:52:46 2014 IST.