default search action

combined dblp search
author search
venue search
publication search

ask others

Marina De Vos

> Home > Persons

Person information

affiliation: University of Bath, UK

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Morris-MartinVP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Morris-MartinVP23
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget, Oliver Ray:
Agent-directed Runtime Norm Synthesis. AAMAS 2023: 2271-2279
2022
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/coin-ws/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coin-ws/2021
Andreas Theodorou, Juan Carlos Nieves, Marina De Vos:
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. Lecture Notes in Computer Science 13239, Springer 2022, ISBN 978-3-031-16616-7 [contents]
2020
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/taas/ShamsVOP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taas/ShamsVOP20
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget:
Argumentation-Based Reasoning about Plans, Maintenance Goals, and Norms. ACM Trans. Auton. Adapt. Syst. 14(3): 9:1-9:39 (2020)
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/Morris-MartinVP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/Morris-MartinVP20
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget:
Norm Emergence in Multiagent Systems: A Viewpoint Paper. AAMAS 2020: 2152-2154
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/coin-ws/Morris-MartinVP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coin-ws/Morris-MartinVP20
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget:
A Norm Emergence Framework for Normative MAS - Position Paper. COIN(E)@AAMAS 2020: 156-174
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2004-02575
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-02575
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget:
A Norm Emergence Framework for Normative MAS - Position Paper. CoRR abs/2004.02575 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/aamas/Morris-MartinVP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/Morris-MartinVP19
Andreasa Morris-Martin, Marina De Vos, Julian A. Padget:
Norm emergence in multiagent systems: a viewpoint paper. Auton. Agents Multi Agent Syst. 33(6): 706-749 (2019)
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/VosKPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/VosKPS19
Marina De Vos, Sabrina Kirrane, Julian A. Padget, Ken Satoh:
ODRL Policy Modelling and Compliance Checking. RuleML+RR 2019: 36-51
[e6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1909-07646
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-07646
Bart Bogaerts, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents]
2018
[c67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/PadgetVP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/PadgetVP18
Julian A. Padget, Marina De Vos, Charlie Ann Page:
Deontic Sensors. IJCAI 2018: 475-481
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/KingVDJLPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/KingVDJLPR17
Thomas Christopher King, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Tingting Li, Julian A. Padget, M. Birna van Riemsdijk:
Automated multi-level governance compliance checking. Auton. Agents Multi Agent Syst. 31(6): 1283-1343 (2017)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/eaai/ShamsVPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/ShamsVPV17
Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos:
Practical reasoning with norms for autonomous software agents. Eng. Appl. Artif. Intell. 65: 388-399 (2017)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/expert/JahedpariRHMVPW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/expert/JahedpariRHMVPW17
Fatemeh Jahedpari, Talal Rahwan, Sattar Hashemi, Tomasz P. Michalak, Marina De Vos, Julian A. Padget, Wei Lee Woon:
Online Prediction via Continuous Artificial Prediction Markets. IEEE Intell. Syst. 32(1): 61-68 (2017)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwin/ArdakaniPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwin/ArdakaniPV17
Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos:
A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks. Int. J. Wirel. Inf. Networks 24(1): 27-41 (2017)
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ShamsVPV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ShamsVPV17
Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos:
Practical Reasoning with Norms for Autonomous Software Agents (Full Edition). CoRR abs/1701.08306 (2017)
2016
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/adhoc/ArdakaniPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adhoc/ArdakaniPV16
Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos:
CBA: A cluster-based client/server data aggregation routing protocol. Ad Hoc Networks 50: 68-87 (2016)
[c66]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/ShamsVOP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ShamsVOP16
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget:
Normative Practical Reasoning via Argumentation and Dialogue. IJCAI 2016: 1244-1250
[e5]
- view
- export record
  dblp key:
  - conf/iclp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/2016
Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1 [contents]
2015
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/adhoc/BasurraVPJLA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/adhoc/BasurraVPJLA15
Shadi Saleh Basurra, Marina De Vos, Julian A. Padget, Yusheng Ji, Tim Lewis, Simon Armour:
Energy efficient zone based routing protocol for MANETs. Ad Hoc Networks 25: 16-37 (2015)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/KingLVJPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KingLVJPR15
Thomas Christopher King, Tingting Li, Marina De Vos, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk:
Revising Institutions Governed by Institutions for Compliant Regulations. COIN@AAMAS/IJCAI 2015: 191-208
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/ShamsVPV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/ShamsVPV15
Zohreh Shams, Marina De Vos, Julian A. Padget, Wamberto Weber Vasconcelos:
Implementation of Normative Practical Reasoning with Durative Actions. COIN@AAMAS/IJCAI 2015: 335-353
[c63]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/KingLVDJPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/KingLVDJPR15
Thomas Christopher King, Tingting Li, Marina De Vos, Virginia Dignum, Catholijn M. Jonker, Julian A. Padget, M. Birna van Riemsdijk:
A Framework for Institutions Governing Institutions. AAMAS 2015: 473-481
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/iclp/LiVPSB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/LiVPSB15
Tingting Li, Marina De Vos, Julian A. Padget, Ken Satoh, Tina Balke:
Debugging ASP using ILP. ICLP (Technical Communications) 2015
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/tafa/ShamsVOPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tafa/ShamsVOPS15
Zohreh Shams, Marina De Vos, Nir Oren, Julian A. Padget, Ken Satoh:
Argumentation-based Normative Practical Reasoning. TAFA 2015: 226-242
[e4]
- view
- export record
  dblp key:
  - conf/iclp/2015tc
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/2015tc
Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni:
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. CEUR Workshop Proceedings 1433, CEUR-WS.org 2015 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/JahedpariVHHP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JahedpariVHHP15
Fatemeh Jahedpari, Marina De Vos, Sattar Hashemi, Benjamin Hirsch, Julian A. Padget:
Artificial Prediction Markets for Online Prediction of Continuous Variables-A Preliminary Report. CoRR abs/1508.02681 (2015)
2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/BalkeVP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/BalkeVP13
Tina Balke, Marina De Vos, Julian A. Padget:
I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policies. Artif. Intell. Law 21(4): 371-398 (2013)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/iet-com/VatsikasALV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-com/VatsikasALV13
Stefanos Vatsikas, Simon Armour, Tim Lewis, Marina De Vos:
Distributed quality of service provision using coalitions and the Nash bargaining solution. IET Commun. 7(4) (2013)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/adhocnets/ArdakaniPV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhocnets/ArdakaniPV13
Saeid Pourroostaei Ardakani, Julian A. Padget, Marina De Vos:
HRTS: A Hierarchical Reactive Time Synchronization Protocol for Wireless Sensor Networks. ADHOCNETS 2013: 47-62
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/LiJAVDP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LiJAVDP13
Tingting Li, Jie Jiang, Huib Aldewereld, Marina De Vos, Virginia Dignum, Julian A. Padget:
Contextualized Institutions in Virtual Organizations. COIN@AAMAS/PRIMA 2013: 136-154
[c58]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/VosBS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/VosBS13
Marina De Vos, Tina Balke, Ken Satoh:
Combining event-and state-based norms. AAMAS 2013: 1157-1158
[c57]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/LeeLVP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/LeeLVP13
Jeehang Lee, Tingting Li, Marina De Vos, Julian A. Padget:
Governing intelligent virtual agent behaviour with norms. AAMAS 2013: 1205-1206
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/LiBVPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/LiBVPS13
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
A model-based approach to the automatic revision of secondary legislation. ICAIL 2013: 202-206
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/ShamsVS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/ShamsVS13
Zohreh Shams, Marina De Vos, Ken Satoh:
ArgPROLEG: A Normative Framework for the JUF Theory. JSAI-isAI Workshops 2013: 183-198
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/LiBVPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/LiBVPS13
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Conflict Detection in Interacting Legal Systems. JURIX 2013: 107-116
[c53]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jurix/LiBVPS13a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/LiBVPS13a
Tingting Li, Tina Balke, Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Conflict Detection in Interacting Legal Systems. DoCoPe@JURIX 2013
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/BalkeVP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/BalkeVP13
Tina Balke, Marina De Vos, Julian A. Padget:
Evaluating the Cost of Enforcement by Agent-Based Simulation: A Wireless Mobile Grid Example. PRIMA 2013: 21-36
[p1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/AlechinaBDVLMMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/AlechinaBDVLMMS13
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
2012
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/VosKOPT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/VosKOPT12
Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits:
Annotating answer-set programs in Lana. Theory Pract. Log. Program. 12(4-5): 619-637 (2012)
[c51]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/aamas/AthakraviCRVPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/AthakraviCRVPS12
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling change in normative specifications. AAMAS 2012: 1369-1370
[c50]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiide/BoennBVf12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiide/BoennBVf12
Georg Boenn, Martin Brain, Marina De Vos, John ffitch:
Computational Music Theory. MUME@AIIDE 2012
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BalkeVP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BalkeVP12
Tina Balke, Marina De Vos, Julian A. Padget:
An Agent-Based Simulation Approach to Comparative Analysis of Enforcement Mechanisms. COIN@AAMAS 2012: 53-70
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AthakraviCRVPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AthakraviCRVPS12
Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Handling Change in Normative Specifications. DALT 2012: 1-19
[c47]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/iclp/NovelliVPD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/NovelliVPD12
Viviana Novelli, Marina De Vos, Julian A. Padget, Dina D'Ayala:
LOG-IDEAH: ASP for Architectonic Asset Preservation. ICLP (Technical Communications) 2012: 393-403
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/VosBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/VosBS12
Marina De Vos, Tina Balke, Ken Satoh:
Modelling Legitimate Expectations. JSAI-isAI Workshops 2012: 141-156
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/LiBVSP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/LiBVSP12
Tingting Li, Tina Balke, Marina De Vos, Ken Satoh, Julian A. Padget:
Detecting Conflicts in Legal Systems. JSAI-isAI Workshops 2012: 174-189
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/BasurraJVPLA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/BasurraJVPLA12
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
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1210-2195
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2195
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)
2011
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/BalkeVP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/BalkeVP11
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 Gener. Comput. Syst. 27(8): 1092-1102 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jcm/MillsLV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcm/MillsLV11
Ashley Mills, David Lister, Marina De Vos:
Understanding Static Intercell Interference Coordination Mechanisms in LTE. J. Commun. 6(4): 312-318 (2011)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/BoennBVF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/BoennBVF11
Georg Boenn, Martin Brain, Marina De Vos, John P. Fitch:
Automatic music composition using answer set programming. Theory Pract. Log. Program. 11(2-3): 397-427 (2011)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/CorapiRVPS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/CorapiRVPS11
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. Theory Pract. Log. Program. 11(4-5): 783-799 (2011)
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BalkeVP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BalkeVP11
Tina Balke, Marina De Vos, Julian A. Padget:
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents. COIN@AAMAS&WI-IAT 2011: 129-148
[c42]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/BalkeVPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BalkeVPT11
Tina Balke, Marina De Vos, Julian A. Padget, Dimitris Traskas:
On-line reasoning for institutionally-situated BDI agents. AAMAS 2011: 1109-1110
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/WatsonV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/WatsonV11
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
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/BalkeVPT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/BalkeVPT11
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
[c39]
- view
  - electronic edition via handle.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/icmc/BoennBVf11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icmc/BoennBVf11
Georg Boenn, Martin Brain, Marina De Vos, John ffitch:
Anton - A Rule-Based Composition System. ICMC 2011
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/VatsikasAVL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/VatsikasAVL11
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
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/vtc/VatsikasAVL11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vtc/VatsikasAVL11a
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
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/2010coin
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/2010coin
Marina De Vos, Nicoletta Fornara, Jeremy V. Pitt, George A. Vouros:
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 [contents]
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1107-4967
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1107-4967
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh:
Normative design using inductive learning. CoRR abs/1107.4967 (2011)
2010
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/CorapiVPRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/CorapiVPRS10
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
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/BalkeVPF10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/BalkeVPF10
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
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/ccnc/MillsLVJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccnc/MillsLVJ10
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. CCNC 2010: 1-5
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/VosPS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/VosPS10
Marina De Vos, Julian A. Padget, Ken Satoh:
Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops 2010: 129-140
[c32]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/mallow/CorapiVPRS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mallow/CorapiVPRS10
Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh:
Norm Refinement and Design through Inductive Learning. MALLOW 2010
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1006-4948
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1006-4948
Georg Boenn, Martin Brain, Marina De Vos, John ffitch:
Automatic Music Composition using Answer Set Programming. CoRR abs/1006.4948 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j4]
- view
  - electronic edition @ kuenstliche-intelligenz.de (archived)
  - details & citations
- export record
  dblp key:
  - journals/ki/Vos09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ki/Vos09
Marina De Vos:
CLIMA-X, SEA'09 and LPNMR'09. Künstliche Intell. 23(4): 63 (2009)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/BrainV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/BrainV09
Martin Brain, Marina De Vos:
The Significance of Memory Costs in Answer Set Solver Implementation. J. Log. Comput. 19(4): 615-641 (2009)
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/HoptonCVP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/HoptonCVP09
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
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/esaw/LamVGCCNVPCGHANRCADDPPVACSPCSRQN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esaw/LamVGCCNVPCGHANRCADDPPVACSPCSRQN09
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
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/HoptonCVP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/HoptonCVP09
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
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/BoennBVF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/BoennBVF09
Georg Boenn, Martin Brain, Marina De Vos, John ffitch:
ANTON: Composing Logic and Logic Composing. LPNMR 2009: 542-547
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/CliffeVP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/CliffeVP09
Owen Cliffe, Marina De Vos, Julian A. Padget:
Modelling Normative Frameworks Using Answer Set Programing. LPNMR 2009: 548-553
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/CrickBVF09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/CrickBVF09
Tom Crick, Martin Brain, Marina De Vos, John P. Fitch:
Generating Optimal Code Using Answer Set Programming. LPNMR 2009: 554-559
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/Vos09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/Vos09
Marina De Vos:
ASP: The Future Is Bright. LPNMR 2009: 625-627
2008
[c24]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/exact/BrainV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/exact/BrainV08
Martin Brain, Marina De Vos:
Answer Set Programming ? a Domain in Need of Explanation: A Position Paper. ExaCt 2008: 37-48
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/BoennBVF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BoennBVF08
Georg Boenn, Martin Brain, Marina De Vos, John ffitch:
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming. ICLP 2008: 160-174
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/CliffeVBP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/CliffeVBP08
Owen Cliffe, Marina De Vos, Martin Brain, Julian A. Padget:
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming. ICLP 2008: 724-728
2007
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/CliffeVP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/CliffeVP07
Owen Cliffe, Marina De Vos, Julian A. Padget:
Embedding Landmarks and Scenes in a Computational Model of Institutions. COIN 2007: 41-57
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/NeedhamV07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/NeedhamV07
Jonty Needham, Marina De Vos:
A Games Semantics of ASP. ICLP 2007: 460-461
2006
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/CliffeVP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/CliffeVP06
Owen Cliffe, Marina De Vos, Julian A. Padget:
Specifying and Reasoning About Multiple Institutions. COIN@AAMAS/ECAI 2006: 67-85
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/NieuwenborghVHV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/NieuwenborghVHV06
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
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/CliffeVP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/CliffeVP06
Owen Cliffe, Marina De Vos, Julian A. Padget:
Answer Set Programming for Representing and Reasoning About Virtual Institutions. CLIMA 2006: 60-79
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/iclp/BrainCVF06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/BrainCVF06
Martin Brain, Tom Crick, Marina De Vos, John P. Fitch:
TOAST: Applying Answer Set Programming to Superoptimisation. ICLP 2006: 270-284
2005
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/asp/BrainV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/BrainV05
Martin Brain, Marina De Vos:
Debugging Logic Programs under the Answer Set Semantics. Answer Set Programming 2005
[c14]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/asp/BrainWV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/BrainWV05
Martin Brain, Richard Watson, Marina De Vos:
An Interactive Approach to Answer Set Programming. Answer Set Programming 2005
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/CliffeVP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/CliffeVP05
Owen Cliffe, Marina De Vos, Julian A. Padget:
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming. AAMAS Workshops 2005: 99-113
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/VosCPBCN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/VosCPBCN05
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
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/eumas/VosCWCPN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/VosCWCPN05
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
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/eumas/CliffeVP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/CliffeVP05
Owen Cliffe, Marina De Vos, Julian A. Padget:
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming. EUMAS 2005: 476-477
[e2]
- view
- export record
  dblp key:
  - conf/asp/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/2005
Marina De Vos, Alessandro Provetti:
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 [contents]
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/VosV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/VosV04
Marina De Vos, Dirk Vermeir:
Extending Answer Sets for Logic Programming Agents. Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/Vos04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/Vos04
Marina De Vos:
Implementing Ordered Choice Logic Programming using Answer Set Solvers. FoIKS 2004: 59-77
2003
[c8]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/agp/Vos03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/Vos03
Marina De Vos:
An Ordered Choice Logic Programming Front-End for Answer Set Solvers. APPIA-GULP-PRODE 2003: 362-373
[c7]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/asp/BrainV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/BrainV03
Martin Brain, Marina De Vos:
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice. Answer Set Programming 2003
[e1]
- view
- export record
  dblp key:
  - conf/asp/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/2003
Marina De Vos, Alessandro Provetti:
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 [contents]
2002
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/VosV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/VosV02
Marina De Vos, Dirk Vermeir:
Dynamic Decision-Making in Logic Programming and Game Theory. Australian Joint Conference on Artificial Intelligence 2002: 36-47
2001
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ci/VosV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ci/VosV01
Marina De Vos, Dirk Vermeir:
Semantic Forcing in Disjunctive Logic Programs. Comput. Intell. 17(3): 651-684 (2001)
[c5]
- view
  - electronic edition @ nmsu.edu (open access)
  - details & citations
- export record
  dblp key:
  - conf/asp/VosV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asp/VosV01
Marina De Vos, Dirk Vermeir:
Logic Programming Agents and Game Theory. Answer Set Programming 2001
2000
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fsttcs/VosV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/VosV00
Marina De Vos, Dirk Vermeir:
Dynamically Ordered Probabilistic Choice Logic Programming. FSTTCS 2000: 227-239
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/VosV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/VosV00
Marina De Vos, Dirk Vermeir:
A Logic for Modeling Decision Making with Dynamic Preferences. JELIA 2000: 391-406

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/csl/VosV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/VosV99
Marina De Vos, Dirk Vermeir:
Choice Logic Programs and Nash Equilibria in Strategic Games. CSL 1999: 266-276
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/VosV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/VosV99
Marina De Vos, Dirk Vermeir:
On the Role of Negation in Choice Logic Programs. LPNMR 1999: 236-246

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.