Marina De Vos

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik: Computational Models for Normative Multi-Agent Systems. Normative Multi-Agent Systems 2013: 71-92

Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits: Annotating answer-set programs in Lana. TPLP 12(4-5): 619-637 (2012)

Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Handling change in normative specifications. AAMAS 2012: 1369-1370

Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala: LOG-IDEAH: ASP for Architectonic Asset Preservation. ICLP (Technical Communications) 2012: 393-403

Shadi Saleh Basurra, Yusheng Ji, Marina De Vos, Julian A. Padget, Tim Lewis, Simon Armour: Social-Aware Routing for Wireless Mesh Networks. VTC Fall 2012: 1-5

Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits: Annotating Answer-Set Programs in LANA? CoRR abs/1210.2195 (2012)

Tina Balke, Marina De Vos, Julian A. Padget: Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. Future Generation Comp. Syst. 27(8): 1092-1102 (2011)

Ashley Mills, David Lister, Marina De Vos: Understanding Static Intercell Interference Coordination Mechanisms in LTE. JCM 6(4): 312-318 (2011)

Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic music composition using answer set programming. TPLP 11(2-3): 397-427 (2011)

Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. TPLP 11(4-5): 783-799 (2011)

Tina Balke, Marina De Vos, Julian A. Padget: Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. COIN@AAMAS&WI-IAT 2011: 129-148

Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas: On-line reasoning for institutionally-situated BDI agents. AAMAS 2011: 1109-1110

Richard Watson, Marina De Vos: ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 490-509

Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas: Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. Web Intelligence/IAT Workshops 2011: 1-4

Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis: A Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution. VTC Spring 2011: 1-5

Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis: A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution. VTC Fall 2011: 1-5

Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, George A. Vouros (Eds.): Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers. Lecture Notes in Computer Science 6541, Springer 2011, isbn 978-3-642-21267-3

Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. CoRR abs/1107.4967 (2011)

Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW 2010: 77-94

Tina Balke, Marina De Vos, Julian A. Padget, Frank H. P. Fitzek: Using a Normative Framework to Explore the Prototyping of Wireless Grids. COIN@AAMAS&MALLOW 2010: 95-113

Marina De Vos, Julian A. Padget, Ken Satoh: Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops 2010: 129-140

Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. MALLOW 2010

Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Music Composition using Answer Set Programming. CoRR abs/1006.4948 (2010)

Martin Brain, Marina De Vos: The Significance of Memory Costs in Answer Set Solver Implementation. J. Log. Comput. 19(4): 615-641 (2009)

Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget: InstQL: A Query Language for Virtual Institutions Using Answer Set Programming. CLIMA 2009: 102-121

Joey Sik Chun Lam, Wamberto Weber Vasconcelos, Frank Guerin, David Corsar, Alison Chorley, Timothy J. Norman, Javier Vázquez-Salceda, Sofia Panagiotidi, Roberto Confalonieri, I. Gomez, S. Hidalgo, Sergio Á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, Razvan Popescu, Siobhán Clarke, Paul Sergeant, Chris Reed, Thomas B. Quillinan, Kees Nieuwenhuis: ALIVE: A Framework for Flexible and Adaptive Service Coordination. ESAW 2009: 236-239

Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget: AQL: A Query Language for Action Domains Modelled Using Answer Set Programming. LPNMR 2009: 437-443

Georg Boenn, Martin Brain, Marina De Vos, John Fitch: ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547

Owen Cliffe, Marina De Vos, Julian A. Padget: Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553

Tom Crick, Martin Brain, Marina De Vos, John Fitch: Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559

Marina De Vos: ASP: The Future Is Bright. LPNMR 2009: 625-627

Martin Brain, Marina De Vos: Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. ExaCt 2008: 37-48

Georg Boenn, Martin Brain, Marina De Vos, John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174

Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget: ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728

Owen Cliffe, Marina De Vos, Julian A. Padget: Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57

Jonty Needham, Marina De Vos: A Games Semantics of ASP. ICLP 2007: 460-461

Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir: Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming. CLIMA 2006: 20-40

Owen Cliffe, Marina De Vos, Julian A. Padget: Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA 2006: 60-79

Martin Brain, Tom Crick, Marina De Vos, John Fitch: TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284

Martin Brain, Marina De Vos: Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005

Martin Brain, Richard Watson, Marina De Vos: An Interactive Approach to Answer Set Programming. Answer Set Programming 2005

Owen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113

Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham: LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming. DALT 2005: 72-88

Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham: T-LAIMA: Answer Set Programming for Modelling Agents with Trust. EUMAS 2005: 126-136

Owen Cliffe, Marina De Vos, Julian A. Padget: Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. EUMAS 2005: 476-477

Marina De Vos, Alessandro Provetti (Eds.): Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005. CEUR Workshop Proceedings 142, CEUR-WS.org 2005

Marina De Vos, Dirk Vermeir: Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004)

Marina De Vos: Implementing Ordered Choice Logic Programming using Answer Set Solvers. FoIKS 2004: 59-77

Marina De Vos: An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373

Martin Brain, Marina De Vos: Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003

Marina De Vos, Alessandro Provetti (Eds.): Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003. CEUR Workshop Proceedings 78, CEUR-WS.org 2003

Marina De Vos, Dirk Vermeir: Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47

Marina De Vos, Dirk Vermeir: Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence 17(3): 651-684 (2001)

Marina De Vos, Dirk Vermeir: Logic Programming Agents and Game Theory. Answer Set Programming 2001

Marina De Vos, Dirk Vermeir: Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239

Marina De Vos, Dirk Vermeir: A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406

Marina De Vos, Dirk Vermeir: Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276

Marina De Vos, Dirk Vermeir: On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246