Plain text version | Style: Default, Black and White, Bath

University of Bath Logo
Dr Marina De Vos
Department of Computer Science
Tuesday, 25-Apr-2017 03:48:27 BST

Research & Publications

My main research interests focus on knowledge representation and reasoning, with an emphasis on Answer Set Programming (ASP)
Answer set programming is a declarative programming paradigm. Programs are written in AnsProlog, a logic programming language using the answer set semantics. AnsProlog is a knowledge representation language that allows the programmer to describe a problem and the requirements on its solutions in an intuitive way, rather than the algorithm to find the solutions to the problem.

  • Theory
    • Preferences
    • Game Theoretical Semantics
  • Implementation
    • Solver Development
    • Programming Principles
    • Debugging
    • Methodology
    • Benchmarking
  • Applications
    • NP-complete puzzles
    • TOAST: Super Optimisation
    • ANTON: An Automated Music Composition System
    • Multi-agent systems
    • Norm Aware Systems
    • Policy design and Verification

Besides answer set programming, I am interesting in multi-agent systems, game theory, multi-agent models of wireless network protocols, web-services and norm-aware systems.

Outside computer science but related to it, I am also active in educational research with my main focus on computer science in higher education. Currently my interests lie in how best to teach first year programming to computer scientist and multi-agent systems, self-regulating environments and students' self-efficacy.

A collection of published papers and reports resulting from my research in collaboration with colleagues at Bath and beyond, are available for download from this page. Other papers, publisher permitted, can be downloaded from my OPUS page.

Journal Publications

  1. Domenico Corapi, Marina De Vos, Julian Padget, Alessandra Russo, and Ken Satoh. Normative design using inductive learning. Theory and Practice of Logic Programming, 11, pp. 783-799, Cambridge Press 2011.
  2. Tina Balke, Julian Padget, Marina De Vos Analysing Energy-Incentivized Cooperation in Next Generation Mobile Networks using Normative Frameworks and an Agent-Based Simulation Future Generation Computer Systems Journal, 27 (8), pp. 1092-1102. Elsevier, 2011
  3. Ashley Mills, David R. Lister, and Marina De Vos. Understanding Static Inter-Cell Interference Coordination Mechanisms in LTE. Journal of Communications, SI on Practical Physical Layer Techniques for 4G Systems & Beyond, 6 (4), pp. 312-318, 2011.
  4. Georg Boenn, Martin Brain, Marina De Vos, and John Fitch. Automatic music composition using answer set programming. Theory and Practice of Logic Programming, 11(2--3):397--427, (2011)
  5. Martin Brain and Marina De Vos. The Significance of Memory Costs in Answer Set Solver Implementation. Journal and Logic and Computation, 19(4). Special Issue on Answer Set programming. Oxford University Press. (August 2009).
  6. Ken Satoh and Marina De Vos. Logic Computing (In Japanese). Journal of the Japanse Society for Artificial Intelligence, 23(5):677-686. (September 2008).
  7. Edgar Casasola, Owen Cliffe, Marina De Vos, and Julian Padget. Teaching multi-agent systems in the UK and in Latin America. ITALICS (Innovations in Teaching And Learning in Information and Computer Sciences), an on-line journal}, 4(3). ISSN:1473-7507. Available via http://www.ics.heacademy.ac.uk/italics/vol4iss3.htm. (September 2005)
  8. Marina De Vos and Dirk Vermeir. Extending Answer Sets for Logic Programming Agents. Annals of Mathematics and Artiffical Intelligence, Special Issue on Computational Logic in Multi-Agent Systems. 42(1{3):103-139. Kluwer Academic Publishers. (September 2004)
  9. Marina De Vos and Dirk Vermeir. Forcing in Disjunctive Logic Programs . Journal of Computational Intelligence, 17(4):651-684. Blackwell Publishing. (November 2001)
  10. Marina De Vos and Dirk Vermeir. Forcing in Disjunctive Logic Programs. Journal of Computing and Information, 3(1):ICCI/1/7:139:1-8. (1998). ISSN 1201-851.

Book Chapters: Refereed Conference and Workshop Publications

  1. Stefanos Vatsikas, Simon Armour, Marina De Vos, and Tim Lewis. A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution. In Vehicle Technology Conference VTC 11 Fall. IEEE, (November 2011).
  2. Georg Boenn, Martin Brain, Marina De Vos, and John ffitch. Anton : a rule-based composition system. In Proceedings of ICMC 2011, pages 135-138. University of Huddersfield and ICMA, (September 2011).
  3. Marina De Vos, Julian Padget, and Ken Satoh. Legal modelling and reasoning using institutions. In Takashi Onoda, Daisuke Bekki, and Eric McCready, editors, New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers). Springer. (August 2011).
  4. Tina Balke, Marina De Vos, Julian Padget, and Dimitrios Traskas. \newblock \textbf{Normative run-time reasoning for institutionally-situated bdi agents}. \newblock Proceedings - 2011 ieee/wic/acm international joint conferences on web intelligence and intelligent agent technology - workshops, wi-iat 2011. \newblock IEEE Computer Society, (August 2011).
  5. Stefanos Vatsikas, Simon Armour, Marina De Vos, and Tim Lewis. A Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution . In Vehicle Technology Conference VTC 11 Spring . IEEE. (May 2011)
  6. Domenico Corapi, Marina De Vos, Julian Padget, Alessandra Russo, and Ken Satoh. Norm refinement and design through inductive learning. In Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, and George Vouros, editors, COIN VI, LNAI, pages 79-96. Springer Verlag, (May 2011).
  7. Tina Balke, Marina De Vos, and Julian Padget. Using a normative framework to explore the prototyping of wireless grids. In Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, and George Vouros, editors, COIN VI, LNAI, pages 97-115, (May 2011).
  8. Tina Balke, Marina De Vos, Julian Padget, and Dimitris Traskas. On-line reasoning for institutionally-situated bdi agents. In Yolum, Tumer, Stone, and Sonenberg, editors, 10th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2011), pages 1109-1110. IFAAMAS, (May 2011).
  9. Richard Watson and Marina De Vos. Astrea: Answer sets for a trusted reasoning environment for agents. In Marcello Balduccini and Tran Son, editors, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning}, volume 6565 of {\em Lecture Notes in Computer Science, pages 490-509. Springer Berlin / Heidelberg. (May 2011).
  10. Luke Hopton, Owen Cliffe, Marina De Vos, and Julian A. Padget. InstlQL: A query language for virtual institutions using answer set programming. In Jurgen Dix, Michael Fisher, and Peter Novak, editors, Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers}, volume 6214 of {\em Lecture Notes in Computer Science}, pages 102-121. Springer, (2010)
  11. Shadi Saleh Bassura, Marina De Vos, Julian Padget, Tim Lewis, and Simon Armour. A zone-based routing protocol with parallel collision guidance broadcasting for manet. In 12th IEEE International Conference on Communication Technology (ICCT), pages 1188 -- 1191. IEEE. (2010).
  12. Ashley Mills, David Lister, Marina De Vos, Yusheng Ji}. The Impact of MS velocity on The Performance of Frequency Selective Scheduling in IEEE 802.16e Mobile WiMAX. In Proceedings of the 7th Annual IEEE Consumer Communications & Networking Conference (IEEE CCNC 2010), pages 1-5, {Las Vegas, Nevada USA}, IEEE (January 2010)
  13. Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vazquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, I. Gomez, S. Hidalgo, Sergio {\'A}lvarez-Napagao, Juan Carlos Nieves, M. Palau Roig, Luigi Ceccaroni, Huib Aldewereld, Virginia Dignum, Frank Dignum, Loris Penserini, Julian A. Padget, Marina De Vos, D. Andreou, Owen Cliffe, Athanasios Staikopoulos, R. Popescu, S. Clarke, P.Sergeant, Chris Reed, T.Quillinan, and K.Nieuwenhuis. Alive: A framework for flexible and adaptive service coordination. In Huib Aldewereld, Virginia Dignum, and Gauthier Picard, editors, Engineering Societies in the Agents World X, 10th International Workshop, ESAW 2009, Utrecht, The Netherlands, November 18-20, 2009. Proceedings}, volume 5881 of Lecture Notes in Computer Science, pages 236-239. Springer. (2009)
  14. Georg Boenn, Martin Brain, Marina De Vos, and John ffitch. Anton: Composing logic and logic composing. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, LPNMR, volume 5753 of Lecture Notes in Computer Science, pages 542-547, Potsdam, Germany, Springer. (September 2009)
  15. Tom Crick, Martin Brain, Marina De Vos, and John Fitch. Generating optimal code using answer set programming. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, LPNMR, volume 5753 of Lecture Notes in Computer Science, pages 554- 559, Potsdam, Germany, Springer. (September 2009)
  16. Owen Cliffe, Marina De Vos, and Julian Padget. Modelling normative frameworks using answer set programing. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, LPNMR, volume 5753 of Lecture Notes in Computer Science, pages 548-553, Potsdam, Germany, Springer. (September 2009)
  17. Marina De Vos. Asp: The future is bright. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, LPNMR, volume 5753 of Lecture Notes in Computer Science, pages 625-627, Potsdam, Germany, Springer. (September 2009)
  18. Luke Hopton, Owen Cliffe, Marina De Vos, and Julian A. Padget. Aql: A query language for action domains modelled using answer set programming. In Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, LPNMR, volume 5753 of Lecture Notes in Computer Science, pages 437-443, Potsdam, Germany, Springer. (September 2009)
  19. Luke Hopton, Owen Cliffe, Marina De Vos, and Julian Padget. Instql: A query language for virtual institutions using answer set programming. In Jurgen Dix, Michael Fisher, and Peter Novak, editors, Proceedings of the 10th International Workshop on Com- putational Logic in Multi-Agent Systems (ClimaX), IfI Technical Report Series, pages 87-104, Hamburg, Germany. Institut fur Informatik, Technische Universitat Clausthal. (September 2009.)
  20. Owen Cliffe, Marina De Vos, Martin Brain, and Julian Padget. Aspviz: Declarative visualisation and animation using answer set programming. In International Conference on Logic Programming, Lecture Notes in Com- puter Science, pages 724-728. Springer Berlin / Heidelberg, 2008.
  21. Georg Boenn, Martin Brain, Marina De Vos, and John ffitch. Automatic Composition of Melodic and Harmonic Music by An- swer Set Programming. In International Conference on Logic Programming (ICLP), volume 4386 of Lecture Notes in Com- puter Science, pages 160-174. Springer Berlin / Heidelberg, 2008.
  22. Georg Boenn, Martin Brain, Marina De Vos, and John ffitch. Anton: Answer Set Programming in the Service of Music. In Maurice Pagnucco and Michael Thielscher, editors, Non-Monotonic Reasoning (NMR), number UNSW-CSE-TR-0819 in University of New South Wales Technical Report Series, pages 85-93, Sydney, Australia, September 2008
  23. Martin Brain and Marina De Vos. Answer set programming - a domain in need of explanation. In Exact08: International Workshop on Explanation-aware Computing, volume 391 of CEUR Workshop Proceedings, 2008. Available from http://http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-391/
  24. Martin Brain and Marina De Vos. The significance of memory costs in answer set solver implementation. In Stefania Costantini and Richard Watson, editors, Proceedings of the 4th Workshop on Answer Set Programming: Advances in Theory and Imple- mentation, pages 49-63, Porto, Portugal. (September 2007)
  25. Martin Brain, Marina De Vos, and Ken Satoh. smodels-ie: Im- proving the cache utilisation of smodels. In Stefania Costantini and Richard Watson, editors, Proceedings of the 4th Workshop on Answer Set Programming: Advances in Theory and Imple- mentation, pages 309-313, Porto, Portugal (September 2007).
  26. Owen Cliffe, Marina De Vos, and Julian A. Padget. Embedding landmarks and scenes in a computational model of institutions. In Pablo Noriega and Julian Padget, editors, Coordination, Orga- nizations, Institutions, and Norms in Agent Systems III, volume 4870 of LNCS, pages 41-57, Durham, UK (September 2008).
  27. Adrian Sureshkumar, Marina De Vos, Martin Brain, and John Fitch. Ape: An ansprolog* environment. In Marina De Vos and Torsten Schaub, editors, Proceedings of the First Interna- tional Workshop on Software Engineering for Answer Set Pro- gramming, volume 281 of CEUR Workshop Proceedings, pages 101–115, Tempe, Arizona, US, May 2007. Available on http://ceur-ws. org/Vol-281/101-115.pdf.
  28. Owen Cliffe, Marina De Vos, and Julian Padget. Specifying and reasoning about multiple institutions. In Pablo Noriega, Javier Vzquez-Salceda, Guido Boella, Olivier Boissier, Virginia Dignum, Nicoletta Fornara, and Eric Matson, editors, Coordina- tion, Organization, 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, Au- gust 28, 2006, volume 4386 of Lecture Notes in Computer Sci- ence, pages 67–85. Springer Berlin / Heidelberg, 2007.
  29. Martin Brain, Tom Crick, Marina De Vos and John Fitch. TOAST: Applying Answer Set Programming to Superoptimisation. In Sandro Etalle and Miroslaw Truszczynski, editors, Logic Programming, volume 4079 of LNCS, pages 270-284. Springer Verlag, 2006. (July 2006)
  30. Owen Cliffe, Marina De Vos, and Julian Padget. Answer set programming for representing and reasoning about virtual institutions . In Katsumi Inoue, Satoh Ken, and Francesca Toni, editors, Computational Logic for Multi-Agents (CLIMA VII), volume 4371 of ''LNCS'', pages 60-79. Springer, 2006 (May 2006)
  31. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, and Dirk Vermeir. Hierarchical decision making in multi-agent systems using answer set programming . In Katsumi Inoue, Satoh Ken, and Francesca Toni, editors, Computational Logic for Multi-Agents (CLIMA VII), volume 4371 of ''LNCS'', pages 20-40. Springer, 2006 (May 2006)
  32. Martin Brain, Tom Crick, Marina De Vos and John Fitch. An Application of Answer Set Programming: Superoptimisation - A Preliminary Report. In Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR'06), pages 258--266. IFI Technical Report Series (IFI-06-4), 2006. (May 2006)
  33. Marina De Vos, Tom Crick, Julian Padget, Martin Brain, Owen Cliffe, and Jonathan Needham. LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming . In Matteo Baldoni, Ulle Endriss, Andrea Omicini, and Paolo Torroni, editors, Declarative Agent Languages and Technologies III, volume 3904 of LNCS, pages 72--88. Springer Verlag, 2006. (February 2006)
  34. Owen Cliffe, Marina De Vos and Julian Padget. Specifying and Analysing Agent-based Social Institutions using Answer Set Programming In Olivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Sichman, Javier Vazquez-Salceda, editors, Selected revised papers from the workshops on Agent, Norms and Institutions for Regulated Multi-Agent Systems (ANIREM) and Organizations and Organization Oriented Programming (OOOP) at AAMAS'05, volume 3913 of ''LNCS'', pages 99-113. Springer Verlag, 2006.
  35. Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian Padget, Jonathan Needham and Martin Brain T-LAIMA: Answer Set Programming for Modelling Agents with Trust . In European Workshop on Multi-Agent Systems (EUMAS05), volume 3904 of {\em LNCS}, pages 126--136. (December 2005)
  36. Martin Brain and Marina De Vos. Debugging Logic Programs under the Answer Set Semantics In Marina De Vos and Alessandro Provetti, editors, Answer Set Programming: Advances in Theory and Implementation, pages 142 - 152. ISBN: 1-897851-15-4. Research Press International. Also available from http://CEUR-WS.org/Vol-142/page141.pdf (July 2005)
  37. Martin Brain, Richard Watson and Marina De Vos. An Interactive Approach to Answer Set Programming In Marina De Vos and Alessandro Provetti, editors, Answer Set Programming: Advances in Theory and Implementation, pages 190 - 202. ISBN: 1-897851-15-4. Research Press International. Also available from http://CEUR-WS.org/Vol-142/page190.pdf (July 2005)
  38. Owen Cliffe, Marina De Vos and Julian Padget. Teaching Multi-Agent Systems in the UK and Latin America.In Teaching in Multi-Agent Systems. (July 2005)
  39. Marina De Vos. Implementing Ordered Choice Logic Programming using Answer Set Solvers. In Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS'04), volume 2942, pages 59-77, Springer Verlag. (February 2004)
  40. Martin Brain and Marina De Vos. Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. In Marina De Vos and Alessandro Proveti, editors, Answer Set Programming: Advances in Theory and Implementation (ASP03), Ceur-WS. Also available from http://CEUR-WS.org/Vol-78/asp03-final-brain.ps. (September 2003)
  41. Marina De Vos. An Ordered Choice Logic Programming Front-End for Answer Set Solvers. In Francesco Buccafurri, editor, APPIA-GULP-PRODE 2003: Joint Conference on Declaritive Programming, pages 362-373. (September 2003)
  42. Marina De Vos and Dirk Vermeir. Logic Programming Agents Playing Games. In Research and Development in Intelligent Systems XIX (ES2002), BCS Conference Series, pages 323-336. Springer Verlag. (December 2002)
  43. Marina De Vos and Dirk Vermeir. Dynamic Decision Making in Logic Programming and Game Theory. In proceedings AI2002: Advances in Artificial Intelligence, Lecture Notes in Artificial Intelligence. pp. 36-57. Springer Verlag. (December 2002)
  44. Marina De Vos and Dirk Vermeir. Decisions, Agents and Games. In Johan van Benthem, editor, Theoretical Aspects of Rationality and Knowledge (TarkVII), pages 219-232. Morgan Kaufmann. (July 2001)
  45. Marina De Vos and Dirk Vermeir. Logic Programming Agents and Game Theory. In Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pages 27-33. American Association for Artificial Intelligence Press. (March 2001)
  46. Marina De Vos and Dirk Vermeir. Dynamically Ordered Probabilistic Choice Logic Programming. In Proceedings of Foundations of Software Technology and Theoretical Computer Science Conference (FST TCS 2000), number 1974 in Lecture Notes in Computer Science, pages 227 - 239. Springer Verslag. (December 2000)
  47. Marina De Vos and Dirk Vermeir. A Logic for Modelling Decision Making with Dynamic Preferences. In Proceedings of the Logic in Artificial Intelligence (Jelia2000) workshop, number 1999 in Lecture Notes in Artificial Intelligence, pages 391 - 406. Springer Verslag. (September 2000)
  48. Marina De Vos and Dirk Vermeir. On the Role of Negation in Choice Logic Programs. In Michael Gelfond, Nicola Leone, and Gerald Pfeifer, editors, Logic Programming and Non-Monotonic Reasoning Conference (LPNMR'99) volume 1730 of Lecture Notes in Artificial Intelligence, pages 236-246. Springer Verslag (November 1999)
  49. Marina De Vos and Dirk Vermeir. Choice Logic Programs and Nash Equilibria in Strategic Games . In Jorg Flum and Mario Rodriguez-Artalejo, editors, Computer Science Logic (CSL'99), volume 1683 of Lecture Notes in Computer Science, pages 266--276, Springer Verslag. (September 1999)
  50. Marina De Vos and Dirk Vermeir. Forcing in disjunctive logic programs. In Kamal Karlapalem, Amin Y. Noaman, and Ken Barker, editors, Proceedings of the Ninth International Conference on In- formation and Computation, pages 167-174. (June 1998)

Dissertations

  1. Marina De Vos. Logic Programming, Decisions and Games Doctor of Science Disstertation, Vrije Universiteit Brussel, Belgium (December 2001)
  2. Marina De Vos. Disjunctive Logic Programs Msc. Dissertation, Vrije Universiteit Brussel, Belgium (May 1998)

Misc. Refereed & Technical Reports

  1. Alessandra Mileo and Marina De~Vos. Modelling distributed policies: Interaction vs. merging. In R.i.C.e.R.c.A. 2009: Ragionamento Automatico e Rappresentazione della Conoscenza: Incontri E Confronti. (December 2009).
  2. Marina De~Vos and Julian Padget. Formalization of normative systems. In Formal Approaches to Ubiquitous Systems, (September 2009).
  3. Marina De Vos and Alan Hayes. Coffeereptile: Two languages one goal. In HEA Annual Programming Workshop. (April 2009)
  4. Athanasios Staikopoulos, Sebastien Saudrais, Siobhan Clarke, Julian Padget, Owen Cliffe, and Marina De Vos. Mutual dynamic adaptation of models and service enactment in alive. In Models@runtime, pages 26-35 (September 2008).
  5. Owen Cliffe, Marina De Vos and Julian Padget. Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. Paper Summary in European Workshop on Multi-Agent Systems (EUMAS05), pages 476 -- 477, (December 2005).
  6. Owen Cliffe, Marina De Vos and Julian Padget. Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. University of Bath, Technical Report CSBU-2005-01. ISSN: 1740-9497. (June 2005).
  7. Martin Brain and Marina De Vos. Towards Incremental Computation for the Answer Set Semantics: Preliminary Report. Shortlisted poster at The Twenty-fourth SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence. Queen's College, Cambridge, UK (December 2004).

Editorials

  1. Marina De Vos, Nicoletta Fornara, Jeremy Pitt, George Vouros, editors Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, volume 6541 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg.
  2. Marina De Vos and Torsten Schaub, editors. SEA'09: Software Engineering for Answer Set Programming, number CSBU-2009-20 in Dept. Computer Science, University of Bath, Technical Report Series, November 2009. ISSN 1740-9497 - http://opus.bath.ac.uk/17198/.
  3. Marina De Vos and Torsten Schaub, editors. SEA'09: Software Engineering for Answer Set Programming, volume 546 of CEUR Workshop Proceedings, September 2009. ISSN 1613-0073 - http://ceur-ws.org/Vol-546.
  4. Marina De Vos and Torsten Schaub, editors. SEA'07: Software Engineering for Answer Set Programming, number CSBU-2007-05 in Dept. Computer Science, University of Bath, Technical Report Series, July 2007. ISSN 1740-9497 - http://opus.bath.ac.uk/16760/.
  5. Marina De Vos and Torsten Schaub, editors. SEA'07: Software Engineering for Answer Set Programming, volume 281 of EUR Workshop Proceedings, September 2007. ISSN 1613-0073 - http://opus.bath.ac.uk/16760/.
  6. Marina De Vos and Alessandro Provetti, editors. ASP05: Answer Set Programming: Advances in Theory and Implementation, Bath, UK, July 2005. Research Press International. \newblock Also available from http://CEUR-WS.org/Vol-142/.
  7. Marina De Vos and Alessandro Provetti, editors. ASP03: Answer Set Programming: Advances in Theory and Implementation, volume 78. Ceur-WS, September 2003. Online CEUR-WS.org/Vol-78/.

Miscellaneous

  1. Marina De Vos and Martin Brain. Logic-based Multi-Agents in Industry. Clima V Panel , moderated by Marina De Vos. (September 2004).



More Information?

Please contact mdv@cs.bath.ac.uk for further information.