Marina De Vos

109 papers A* 2A 7B 14C 5Journal 28Unranked 45
YearRankTypeTitle / Venue / Authors
2026 J jnl
Understanding the Process of Human-AI Value Alignment.
J. Artif. Intell. Res.
Jack McKinlay, Marina De Vos, Janina A. Hoffmann, Andreas Theodorou
2025 J jnl
Policy Modeling and Reasoning in Sociotechnical Systems (Dagstuhl Seminar 25271).
Dagstuhl Reports
Marina De Vos, Nicoletta Fornara, Munindar P. Singh, Leon van der Torre, Jessica Woodgate
2025 J jnl
Understanding the Process of Human-AI Value Alignment.
CoRR
Jack McKinlay, Marina De Vos, Janina A. Hoffmann, Andreas Theodorou
2024 — conf
Context Matters: Contextual Value-Based Deliberation in Water Consumption Scenarios.
VALE
Luis Oliva Felipe, Inês Lobo, Jack McKinlay, Frank Dignum, Marina De Vos, Ulises Cortés, Atia Cortés
2024 — ed.
Proceedings of the Workshops at the Third International Conference on Hybrid Human-Artificial Intelligence co-located with (HHAI 2024), Malmö, Sweden, June 10-11, 2024.
HHAI Workshops
Petter Ericson, Nina Khairova, Marina De Vos
2023 A conf
Agent-directed Runtime Norm Synthesis.
AAMAS
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget, Oliver Ray
2022 C ed.
Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV - International Workshop, COINE 2021, London, UK, May 3, 2021, Revised Selected Papers
COINE
Andreas Theodorou, Juan Carlos Nieves, Marina De Vos
2020 — conf
A Norm Emergence Framework for Normative MAS - Position Paper.
COIN(E)@AAMAS
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2020 J jnl
A Norm Emergence Framework for Normative MAS - Position Paper.
CoRR
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2020 J jnl
Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms.
ACM Trans. Auton. Adapt. Syst.
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget
2020 A conf
Norm Emergence in Multiagent Systems: A Viewpoint Paper.
AAMAS
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2019 J jnl
Norm emergence in multiagent systems: a viewpoint paper.
Auton. Agents Multi Agent Syst.
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget
2019 B conf
ODRL Policy Modelling and Compliance Checking.
RuleML+RR
Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh
2019 — ed.
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019.
ICLP Technical Communications
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang
2018 A* conf
Deontic Sensors.
IJCAI
Julian A. Padget, Marina De Vos, Charlie Ann Page
2017 J jnl
A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks.
Int. J. Wirel. Inf. Networks
Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos
2017 J jnl
Automated multi-level governance compliance checking.
Auton. Agents Multi Agent Syst.
Thomas Christopher King, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian A. Padget, M. Birna van Riemsdijk
2017 J jnl
Online Prediction via Continuous Artificial Prediction Markets.
IEEE Intell. Syst.
Fatemeh Jahedpari, Talal Rahwan, Sattar Hashemi, Tomasz P. Michalak, Marina De Vos, Julian A. Padget, Wei Lee Woon
2017 J jnl
Practical Reasoning with Norms for Autonomous Software Agents (Full Edition).
CoRR
Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos
2017 J jnl
Practical reasoning with norms for autonomous software agents.
Eng. Appl. Artif. Intell.
Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos
2016 J jnl
CBA: A cluster-based client/server data aggregation routing protocol.
Ad Hoc Networks
Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos
2016 A* conf
Normative Practical Reasoning via Argumentation and Dialogue.
IJCAI
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget
2016 — ed.
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, New York City, USA, October 16-21, 2016
ICLP (Technical Communications)
Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos
2015 A conf
A Framework for Institutions Governing Institutions.
AAMAS
Thomas Christopher King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk
2015 — conf
Argumentation-based Normative Practical Reasoning.
TAFA
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh
2015 J jnl
Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report.
CoRR
Fatemeh Jahedpari, Marina De Vos, Sattar Hashemi, Benjamin Hirsch, Julian A. Padget
2015 — conf
Debugging ASP using ILP.
ICLP (Technical Communications)
Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke
2015 J jnl
Energy efficient zone based routing protocol for MANETs.
Ad Hoc Networks
Shadi Saleh Basurra, Marina De Vos, Julian A. Padget, Yusheng Ji, Tim Lewis, Simon Armour
2015 — conf
Implementation of Normative Practical Reasoning with Durative Actions.
COIN@AAMAS/IJCAI
Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos
2015 — ed.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015.
ICLP (Technical Communications)
Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni
2015 — conf
Revising Institutions Governed by Institutions for Compliant Regulations.
COIN@AAMAS/IJCAI
Thomas Christopher King, Tingting Li, Marina De Vos, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk
2013 C conf
A model-based approach to the automatic revision of secondary legislation.
ICAIL
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013 — conf
ArgPROLEG: A Normative Framework for the JUF Theory.
JSAI-isAI Workshops
Zohreh Shams, Marina De Vos, Ken Satoh
2013 A conf
Combining event-and state-based norms.
AAMAS
Marina De Vos, Tina Balke, Ken Satoh
2013 — ch.
Computational Models for Normative Multi-Agent Systems.
Normative Multi-Agent Systems
Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik
2013 — conf
Contextualized Institutions in Virtual Organizations.
COIN@AAMAS/PRIMA
Tingting Li, Jie Jiang, Huib Aldewereld, Marina De Vos, Virginia Dignum, Julian A. Padget
2013 J jnl
Distributed quality of service provision using coalitions and the Nash bargaining solution.
IET Commun.
Stefanos Vatsikas, Simon Armour, Tim Lewis, Marina De Vos
2013 B conf
Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example.
PRIMA
Tina Balke, Marina De Vos, Julian A. Padget
2013 A conf
Governing intelligent virtual agent behaviour with norms.
AAMAS
JeeHang Lee, Tingting Li, Marina De Vos, Julian A. Padget
2013 — conf
HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks.
ADHOCNETS
Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos
2013 J jnl
I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies.
Artif. Intell. Law
Tina Balke, Marina De Vos, Julian A. Padget
2013 C conf
Legal Conflict Detection in Interacting Legal Systems.
JURIX
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013 — conf
Legal Conflict Detection in Interacting Legal Systems.
DoCoPe@JURIX
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2012 — conf
An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms.
COIN@AAMAS
Tina Balke, Marina De Vos, Julian A. Padget
2012 J jnl
Annotating Answer-Set Programs in LANA?
CoRR
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 J jnl
Annotating answer-set programs in Lana.
Theory Pract. Log. Program.
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits
2012 — conf
Computational Music Theory.
MUME@AIIDE
Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2012 — conf
Detecting Conflicts in Legal Systems.
JSAI-isAI Workshops
Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget
2012 — conf
Handling Change in Normative Specifications.
DALT
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012 A conf
Handling change in normative specifications.
AAMAS
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012 — conf
LOG-IDEAH: ASP for Architectonic Asset Preservation.
ICLP (Technical Communications)
Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala
2012 — conf
Modelling Legitimate Expectations.
JSAI-isAI Workshops
Marina De Vos, Tina Balke, Ken Satoh
2012 — conf
Social-Aware Routing for Wireless Mesh Networks.
VTC Fall
Shadi Saleh Basurra, Yusheng Ji, Marina De Vos, Julian A. Padget, Tim Lewis, Simon Armour
2011 — conf
A Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution.
VTC Spring
Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis
2011 — conf
A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution.
VTC Fall
Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis
2011 — conf
ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Richard Watson, Marina De Vos
2011 J jnl
Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation.
Future Gener. Comput. Syst.
Tina Balke, Marina De Vos, Julian A. Padget
2011 — conf
Anton - A Rule-Based Composition System.
ICMC
Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2011 J jnl
Automatic music composition using answer set programming.
Theory Pract. Log. Program.
Georg Boenn, Martin Brain, Marina De Vos, John P. Fitch
2011 — ed.
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
COIN@AAMAS&MALLOW
Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, George A. Vouros
2011 — conf
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents.
COIN@AAMAS&WI-IAT
Tina Balke, Marina De Vos, Julian A. Padget
2011 — conf
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents.
Web Intelligence/IAT Workshops
Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas
2011 J jnl
Normative design using inductive learning
CoRR
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011 J jnl
Normative design using inductive learning.
Theory Pract. Log. Program.
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2011 A conf
On-line reasoning for institutionally-situated BDI agents.
AAMAS
Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas
2011 J jnl
Understanding Static Intercell Interference Coordination Mechanisms in LTE.
J. Commun.
Ashley Mills, David Lister, Marina De Vos
2010 J jnl
Automatic Music Composition using Answer Set Programming
CoRR
Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2010 — conf
Legal Modelling and Reasoning Using Institutions.
JSAI-isAI Workshops
Marina De Vos, Julian A. Padget, Ken Satoh
2010 — conf
Norm Refinement and Design through Inductive Learning.
COIN@AAMAS&MALLOW
Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010 — conf
Norm Refinement and Design through Inductive Learning.
MALLOW
Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh
2010 — conf
The Impact of MS Velocity on the Performance of Frequency Selective Scheduling in IEEE 802.16e Mobile WiMAX.
CCNC
Ashley Mills, David Lister, Marina De Vos, Yusheng Ji
2010 — conf
Using a Normative Framework to Explore the Prototyping of Wireless Grids.
COIN@AAMAS&MALLOW
Tina Balke, Marina De Vos, Julian A. Padget, Frank H. P. Fitzek
2009 — conf
ALIVE: A Framework for Flexible and Adaptive Service Coordination.
ESAW
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
2009 B conf
ANTON: Composing Logic and Logic Composing.
LPNMR
Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2009 B conf
AQL: A Query Language for Action Domains Modelled Using Answer Set Programming.
LPNMR
Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget
2009 B conf
ASP: The Future Is Bright.
LPNMR
Marina De Vos
2009 J jnl
CLIMA-X, SEA'09 and LPNMR'09.
Künstliche Intell.
Marina De Vos
2009 B conf
Generating Optimal Code Using Answer Set Programming.
LPNMR
Tom Crick, Martin Brain, Marina De Vos, John P. Fitch
2009 — conf
Inst
CLIMA
Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget
2009 B conf
Modelling Normative Frameworks Using Answer Set Programing.
LPNMR
Owen Cliffe, Marina De Vos, Julian A. Padget
2009 J jnl
The Significance of Memory Costs in Answer Set Solver Implementation.
J. Log. Comput.
Martin Brain, Marina De Vos
2008 B conf
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.
ICLP
Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget
2008 — conf
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper.
ExaCt
Martin Brain, Marina De Vos
2008 B conf
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.
ICLP
Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2007 B conf
A Games Semantics of ASP.
ICLP
Jonty Needham, Marina De Vos
2007 — conf
Embedding Landmarks and Scenes in a Computational Model of Institutions.
COIN
Owen Cliffe, Marina De Vos, Julian A. Padget
2006 — conf
Answer Set Programming for Representing and Reasoning About Virtual Institutions.
CLIMA
Owen Cliffe, Marina De Vos, Julian A. Padget
2006 — conf
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.
CLIMA
Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
2006 — conf
Specifying and Reasoning About Multiple Institutions.
COIN@AAMAS/ECAI
Owen Cliffe, Marina De Vos, Julian A. Padget
2006 B conf
TOAST: Applying Answer Set Programming to Superoptimisation.
ICLP
Martin Brain, Tom Crick, Marina De Vos, John P. Fitch
2005 — conf
An Interactive Approach to Answer Set Programming.
Answer Set Programming
Martin Brain, Richard Watson, Marina De Vos
2005 — ed.
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005
Answer Set Programming
Marina De Vos, Alessandro Provetti
2005 — conf
Debugging Logic Programs under the Answer Set Semantics.
Answer Set Programming
Martin Brain, Marina De Vos
2005 — conf
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.
DALT
Marina De Vos, Tom Crick, Julian A. Padget, Martin Brain, Owen Cliffe, Jonathan Needham
2005 — conf
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming.
AAMAS Workshops
Owen Cliffe, Marina De Vos, Julian A. Padget
2005 C conf
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming.
EUMAS
Owen Cliffe, Marina De Vos, Julian A. Padget
2005 C conf
T-LAIMA: Answer Set Programming for Modelling Agents with Trust.
EUMAS
Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham
2004 J jnl
Extending Answer Sets for Logic Programming Agents.
Ann. Math. Artif. Intell.
Marina De Vos, Dirk Vermeir
2004 — conf
Implementing Ordered Choice Logic Programming using Answer Set Solvers.
FoIKS
Marina De Vos
2003 — conf
An Ordered Choice Logic Programming Front-End for Answer Set Solvers.
APPIA-GULP-PRODE
Marina De Vos
2003 — ed.
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003
Answer Set Programming
Marina De Vos, Alessandro Provetti
2003 — conf
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
Answer Set Programming
Martin Brain, Marina De Vos
2002 — conf
Dynamic Decision-Making in Logic Programming and Game Theory.
Australian Joint Conference on Artificial Intelligence
Marina De Vos, Dirk Vermeir
2001 — conf
Logic Programming Agents and Game Theory.
Answer Set Programming
Marina De Vos, Dirk Vermeir
2001 J jnl
Semantic Forcing in Disjunctive Logic Programs.
Comput. Intell.
Marina De Vos, Dirk Vermeir
2000 B conf
A Logic for Modeling Decision Making with Dynamic Preferences.
JELIA
Marina De Vos, Dirk Vermeir
2000 — conf
Dynamically Ordered Probabilistic Choice Logic Programming.
FSTTCS
Marina De Vos, Dirk Vermeir
1999 B conf
Choice Logic Programs and Nash Equilibria in Strategic Games.
CSL
Marina De Vos, Dirk Vermeir
1999 B conf
On the Role of Negation in Choice Logic Programs.
LPNMR
Marina De Vos, Dirk Vermeir