Choice Logic Programs and Nash Equilibria in Strategic Games. - Marina De Vos; Dirk Vermeir (CSL, 1999)

On the Role of Negation in Choice Logic Programs. - Marina De Vos; Dirk Vermeir (LPNMR, 1999)

Dynamically Ordered Probabilistic Choice Logic Programming. - Marina De Vos; Dirk Vermeir (FSTTCS, 2000)

A Logic for Modeling Decision Making with Dynamic Preferences. - Marina De Vos; Dirk Vermeir (JELIA, 2000)

Logic Programming Agents and Game Theory. - Marina De Vos; Dirk Vermeir (Answer Set Programming, 2001)

Semantic Forcing in Disjunctive Logic Programs. - Marina De Vos; Dirk Vermeir (Comput. Intell., 2001)

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

An Ordered Choice Logic Programming Front-End for Answer Set Solvers. - Marina De Vos (APPIA-GULP-PRODE, 2003)

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

Implementing Ordered Choice Logic Programming using Answer Set Solvers. - Marina De Vos (FoIKS, 2004)

Extending Answer Sets for Logic Programming Agents. - Marina De Vos; Dirk Vermeir (Ann. Math. Artif. Intell., 2004)

Debugging Logic Programs under the Answer Set Semantics. - Martin Brain; Marina De Vos (Answer Set Programming, 2005)

An Interactive Approach to Answer Set Programming. - Martin Brain; Richard Watson 003; Marina De Vos (Answer Set Programming, 2005)

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

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

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

Specifying and Reasoning About Multiple Institutions. - Owen Cliffe; Marina De Vos; Julian A. Padget (COIN@AAMAS/ECAI, 2006)

Answer Set Programming for Representing and Reasoning About Virtual Institutions. - Owen Cliffe; Marina De Vos; Julian A. Padget (CLIMA, 2006)

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

TOAST: Applying Answer Set Programming to Superoptimisation. - Martin Brain; Tom Crick; Marina De Vos; John P. Fitch (ICLP, 2006)

Embedding Landmarks and Scenes in a Computational Model of Institutions. - Owen Cliffe; Marina De Vos; Julian A. Padget (COIN, 2007)

A Games Semantics of ASP. - Jonty Needham; Marina De Vos (ICLP, 2007)

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

Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. - Georg Boenn; Martin Brain; Marina De Vos; John ffitch (ICLP, 2008)

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

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

ALIVE: A Framework for Flexible and Adaptive Service Coordination. - Joey Sik Chun Lam; Wamberto Weber Vasconcelos; Frank Guerin; David Corsar; Alison Chorley; Timothy J. Norman; Javier Vázquez-Salceda; Sofia Panagiotidi; Roberto Confalonieri 001; I. Gomez; S. Hidalgo; Sergio Álvarez-Napagao; et al. (ESAW, 2009)

ANTON: Composing Logic and Logic Composing. - Georg Boenn; Martin Brain; Marina De Vos; John ffitch (LPNMR, 2009)

Modelling Normative Frameworks Using Answer Set Programing. - Owen Cliffe; Marina De Vos; Julian A. Padget (LPNMR, 2009)

Generating Optimal Code Using Answer Set Programming. - Tom Crick; Martin Brain; Marina De Vos; John P. Fitch (LPNMR, 2009)

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

ASP: The Future Is Bright. - Marina De Vos (LPNMR, 2009)

CLIMA-X, SEA'09 and LPNMR'09. - Marina De Vos (Künstliche Intell., 2009)

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

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

The Impact of MS Velocity on the Performance of Frequency Selective Scheduling in IEEE 802.16e Mobile WiMAX. - Ashley Mills; David Lister; Marina De Vos; Yusheng Ji (CCNC, 2010)

Legal Modelling and Reasoning Using Institutions. - Marina De Vos; Julian A. Padget; Ken Satoh (JSAI-isAI Workshops, 2010)

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

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

On-line reasoning for institutionally-situated BDI agents. - Tina Balke; Marina De Vos; Julian A. Padget; Dimitris Traskas (AAMAS, 2011)

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

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

Anton - A Rule-Based Composition System. - Georg Boenn; Martin Brain; Marina De Vos; John ffitch (ICMC, 2011)

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

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

Analysing energy-incentivized cooperation in next generation mobile networks using normative frameworks and an agent-based simulation. - Tina Balke; Marina De Vos; Julian A. Padget (Future Gener. Comput. Syst., 2011)

Understanding Static Intercell Interference Coordination Mechanisms in LTE. - Ashley Mills; David Lister; Marina De Vos (J. Commun., 2011)

Automatic music composition using answer set programming. - Georg Boenn; Martin Brain; Marina De Vos; John P. Fitch (Theory Pract. Log. Program., 2011)

Normative design using inductive learning. - Domenico Corapi; Alessandra Russo; Marina De Vos; Julian A. Padget; Ken Satoh (Theory Pract. Log. Program., 2011)

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

Computational Music Theory. - Georg Boenn; Martin Brain; Marina De Vos; John ffitch (MUME@AIIDE, 2012)

An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms. - Tina Balke; Marina De Vos; Julian A. Padget (COIN@AAMAS, 2012)

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

Detecting Conflicts in Legal Systems. - Tingting Li 001; Tina Balke; Marina De Vos; Ken Satoh; Julian A. Padget (JSAI-isAI Workshops, 2012)

Modelling Legitimate Expectations. - Marina De Vos; Tina Balke; Ken Satoh (JSAI-isAI Workshops, 2012)

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

Annotating answer-set programs in Lana. - Marina De Vos; Doga Gizem Kisa; Johannes Oetsch; Jörg Pührer; Hans Tompits (Theory Pract. Log. Program., 2012)

HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. - Saeid Pourroostaei Ardakani; Julian A. Padget; Marina De Vos (ADHOCNETS, 2013)

Governing intelligent virtual agent behaviour with norms. - Jeehang Lee; Tingting Li 001; Marina De Vos; Julian A. Padget (AAMAS, 2013)

Contextualized Institutions in Virtual Organizations. - Tingting Li 001; Jie Jiang 004; Huib Aldewereld; Marina De Vos; Virginia Dignum; Julian A. Padget (COIN@AAMAS/PRIMA, 2013)

Combining event-and state-based norms. - Marina De Vos; Tina Balke; Ken Satoh (AAMAS, 2013)

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

A model-based approach to the automatic revision of secondary legislation. - Tingting Li 001; Tina Balke; Marina De Vos; Julian A. Padget; Ken Satoh (ICAIL, 2013)

ArgPROLEG: A Normative Framework for the JUF Theory. - Zohreh Shams; Marina De Vos; Ken Satoh (JSAI-isAI Workshops, 2013)

Legal Conflict Detection in Interacting Legal Systems. - Tingting Li 001; Tina Balke; Marina De Vos; Julian A. Padget; Ken Satoh (DoCoPe@JURIX, 2013)

Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example. - Tina Balke; Marina De Vos; Julian A. Padget (PRIMA, 2013)

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies. - Tina Balke; Marina De Vos; Julian A. Padget (Artif. Intell. Law, 2013)

Distributed quality of service provision using coalitions and the Nash bargaining solution. - Stefanos Vatsikas; Simon Armour; Tim Lewis; Marina De Vos (IET Commun., 2013)

A Framework for Institutions Governing Institutions. - Thomas Christopher King; Tingting Li 001; Marina De Vos; Virginia Dignum; Catholijn M. Jonker; Julian A. Padget; M. Birna van Riemsdijk (AAMAS, 2015)

Revising Institutions Governed by Institutions for Compliant Regulations. - Thomas Christopher King; Tingting Li 001; Marina De Vos; Catholijn M. Jonker; Julian A. Padget; M. Birna van Riemsdijk (COIN@AAMAS/IJCAI, 2015)

Implementation of Normative Practical Reasoning with Durative Actions. - Zohreh Shams; Marina De Vos; Julian A. Padget; Wamberto Weber Vasconcelos (COIN@AAMAS/IJCAI, 2015)

Debugging ASP using ILP. - Tingting Li 001; Marina De Vos; Julian A. Padget; Ken Satoh; Tina Balke (ICLP (Technical Communications), 2015)

Argumentation-based Normative Practical Reasoning. - Zohreh Shams; Marina De Vos; Nir Oren; Julian A. Padget; Ken Satoh (TAFA, 2015)

Energy efficient zone based routing protocol for MANETs. - Shadi Saleh Basurra; Marina De Vos; Julian A. Padget; Yusheng Ji; Tim Lewis; Simon Armour (Ad Hoc Networks, 2015)

Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report. - Fatemeh Jahedpari; Marina De Vos; Sattar Hashemi; Benjamin Hirsch; Julian A. Padget (CoRR, 2015)

Normative Practical Reasoning via Argumentation and Dialogue. - Zohreh Shams; Marina De Vos; Nir Oren; Julian A. Padget (IJCAI, 2016)

CBA: A cluster-based client/server data aggregation routing protocol. - Saeid Pourroostaei Ardakani; Julian A. Padget; Marina De Vos (Ad Hoc Networks, 2016)

Automated multi-level governance compliance checking. - Thomas Christopher King; Marina De Vos; Virginia Dignum; Catholijn M. Jonker; Tingting Li 001; Julian A. Padget; M. Birna van Riemsdijk (Auton. Agents Multi Agent Syst., 2017)

Practical Reasoning with Norms for Autonomous Software Agents (Full Edition). - Zohreh Shams; Marina De Vos; Julian A. Padget; Wamberto Weber Vasconcelos (CoRR, 2017)

Practical reasoning with norms for autonomous software agents. - Zohreh Shams; Marina De Vos; Julian A. Padget; Wamberto Weber Vasconcelos (Eng. Appl. Artif. Intell., 2017)

Online Prediction via Continuous Artificial Prediction Markets. - Fatemeh Jahedpari; Talal Rahwan; Sattar Hashemi; Tomasz P. Michalak; Marina De Vos; Julian A. Padget; Wei Lee Woon (IEEE Intell. Syst., 2017)

A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks. - Saeid Pourroostaei Ardakani; Julian A. Padget; Marina De Vos (Int. J. Wirel. Inf. Networks, 2017)

Deontic Sensors. - Julian A. Padget; Marina De Vos; Charlie Ann Page (IJCAI, 2018)

ODRL Policy Modelling and Compliance Checking. - Marina De Vos; Sabrina Kirrane; Julian A. Padget; Ken Satoh (RuleML+RR, 2019)

Norm emergence in multiagent systems: a viewpoint paper. - Andreasa Morris-Martin; Marina De Vos; Julian A. Padget (Auton. Agents Multi Agent Syst., 2019)

A Norm Emergence Framework for Normative MAS - Position Paper. - Andreasa Morris-Martin; Marina De Vos; Julian A. Padget (COIN(E)@AAMAS, 2020)

Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms. - Zohreh Shams; Marina De Vos; Nir Oren; Julian A. Padget (ACM Trans. Auton. Adapt. Syst., 2020)

Agent-directed Runtime Norm Synthesis. - Andreasa Morris-Martin; Marina De Vos; Julian A. Padget; Oliver Ray (AAMAS, 2023)

Context Matters: Contextual Value-Based Deliberation in Water Consumption Scenarios. - Luis Oliva Felipe; Inês Lobo; Jack McKinlay; Frank Dignum; Marina De Vos; Ulises Cortés; Atia Cortés (VALE, 2024)