Skip to content

Marina De Vos

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

26

Venues

11

Active years

1999–2018

Best venue rank

A*

Where they publish

Papers

26 indexed papers, newest first.

YearVenueTitleAuthors
2018IJCAIDeontic Sensors.Julian A. Padget, Marina De Vos, Charlie Ann Page
2016IJCAINormative Practical Reasoning via Argumentation and Dialogue.Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget
2015ICLPDebugging ASP using ILP.Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke
2013ICAILA model-based approach to the automatic revision of secondary legislation.Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013JURIXLegal Conflict Detection in Interacting Legal Systems.Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013JURIXLegal Conflict Detection in Interacting Legal Systems.Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh
2013PRIMAEvaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example.Tina Balke, Marina De Vos, Julian A. Padget
2012AAMASHandling change in normative specifications.Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh
2012ICLPLOG-IDEAH: ASP for Architectonic Asset Preservation.Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala
2012VTCSocial-Aware Routing for Wireless Mesh Networks.Shadi Saleh Basurra, Yusheng Ji, Marina De Vos, Julian A. Padget, Tim Lewis, Simon Armour
2011VTCA Distributed Algorithm for Wireless Resource Allocation Using Coalitions and the Nash Bargaining Solution.Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis
2011VTCA Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution.Stefanos Vatsikas, Simon Armour, Marina De Vos, Tim Lewis
2009LPNMRANTON: Composing Logic and Logic Composing.Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2009LPNMRModelling Normative Frameworks Using Answer Set Programing.Owen Cliffe, Marina De Vos, Julian A. Padget
2009LPNMRGenerating Optimal Code Using Answer Set Programming.Tom Crick, Martin Brain, Marina De Vos, John P. Fitch
2009LPNMRAQL: A Query Language for Action Domains Modelled Using Answer Set Programming.Luke Hopton, Owen Cliffe, Marina De Vos, Julian A. Padget
2009LPNMRASP: The Future Is Bright.Marina De Vos
2008ICLPAutomatic Composition of Melodic and Harmonic Music by Answer Set Programming.Georg Boenn, Martin Brain, Marina De Vos, John ffitch
2008ICLPASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget
2007ICLPA Games Semantics of ASP.Jonty Needham, Marina De Vos
2006ICLPTOAST: Applying Answer Set Programming to Superoptimisation.Martin Brain, Tom Crick, Marina De Vos, John P. Fitch
2005EUMASSpecifying and Analysing Agent-based Social Institutions using Answer Set Programming.Owen Cliffe, Marina De Vos, Julian A. Padget
2005EUMAST-LAIMA: Answer Set Programming for Modelling Agents with Trust.Marina De Vos, Owen Cliffe, Richard Watson, Tom Crick, Julian A. Padget, Jonathan Needham
2000JELIAA Logic for Modeling Decision Making with Dynamic Preferences.Marina De Vos, Dirk Vermeir
1999CSLChoice Logic Programs and Nash Equilibria in Strategic Games.Marina De Vos, Dirk Vermeir
1999LPNMROn the Role of Negation in Choice Logic Programs.Marina De Vos, Dirk Vermeir