Marina De Vos

Cited by

	All	Since 2020
Citations	1881	545
h-index	22	11
i10-index	59	15

160

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202510 5 4 20 24 35 47 41 46 41 57 120 100 120 103 110 117 108 93 111 72 141 135 76 116 5

Public access

View all

6 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Julian PadgetUniversity of BathVerified email at cs.bath.ac.uk
Martin BrainCity, University of LondonVerified email at city.ac.uk
Ken SatohNational Institute of InformaticsVerified email at nii.ac.jp
Tina BalkeUniversity of SurreyVerified email at surrey.ac.uk
Owen CliffeUniversity of BathVerified email at bath.ac.uk
Dirk VermeirVrije Universiteit BrusselVerified email at vub.ac.be
Tingting LiCardiff University; Imperial College LondonVerified email at cardiff.ac.uk
Tim LewisSenior Lecturer, The Open UniversityVerified email at open.ac.uk
Georg BoennAssistant ProfessorVerified email at boenn.org
Zohreh ShamsML Researcher, University of Cambridge | ML Scientist, Builder.aiVerified email at cam.ac.uk
Tom CrickProfessor of Digital Policy, Swansea University, UKVerified email at swansea.ac.uk
Pablo NoriegaScientist. IIIA-CSIC (Artificial Intelligence Research Institute of the Spanish National Scientific Research Council)Verified email at iiia.csic.es
Shadi BasurraProfessor of Intelligent Systems, Birmingham City University, UKVerified email at bath.edu
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
Saeid Pourroostaei ArdakaniUniversity of Lincoln, School of Computer ScienceVerified email at lincoln.ac.uk
Yusheng JiNational Institute of InformaticsVerified email at nii.ac.jp
Guido GovernatoriCentral Queensland UniversityVerified email at governatori.net
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
giulia andrighettoResearch Director, Institute of Cognitive Sciences and Technologies-CNR,Verified email at istc.cnr.it
Fatemeh JahedpariUniversity of BathVerified email at bath.ac.uk

Marina De Vos

University of Bath

Verified email at bath.ac.uk - Homepage

Logic Programming Sociotechnical Systems multi-agent systems declarative programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Energy efficient zone based routing protocol for MANETs SS Basurra, M De Vos, J Padget, Y Ji, T Lewis, S Armour Ad Hoc Networks 25, 16-37, 2015	104	2015
ODRL policy modelling and compliance checking M De Vos, S Kirrane, J Padget, K Satoh Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019	95	2019
Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005	90	2005
Specifying and reasoning about multiple institutions O Cliffe, M De Vos, J Padget Coordination, Organizations, Institutions, and Norms in Agent Systems II, 67-85, 2007	79	2007
Answer set programming for representing and reasoning about virtual institutions O Cliffe, M De Vos, J Padget Computational Logic in Multi-Agent Systems: 7th International Workshop …, 2007	76	2007
Norm emergence in multiagent systems: a viewpoint paper A Morris-Martin, M De Vos, J Padget Autonomous Agents and Multi-Agent Systems 33 (6), 706-749, 2019	73	2019
Choice logic programs and Nash equilibria in strategic games MD Vos, D Vermeir International Workshop on Computer Science Logic, 266-276, 1999	53	1999
Automatic music composition using answer set programming G Boenn, M Brain, M De Vos, J Ffitch Theory and practice of logic programming 11 (2-3), 397-427, 2011	52	2011
Automatic composition of melodic and harmonic music by answer set programming G Boenn, M Brain, M De Vos, J Ffitch Logic Programming, 160-174, 2008	52	2008
TOAST: Applying answer set programming to superoptimisation M Brain, T Crick, M De Vos, J Fitch International Conference on Logic Programming, 270-284, 2006	46	2006
Normative design using inductive learning D Corapi, A Russo, M De Vos, J Padget, K Satoh Theory and Practice of Logic Programming 11 (4-5), 783-799, 2011	44	2011
ASPVIZ: Declarative visualisation and animation using answer set programming O Cliffe, M De Vos, M Brain, J Padget International Conference on Logic Programming, 724-728, 2008	40	2008
Specifying and analysing agent-based social institutions using answer set programming O Cliffe, M De Vos, J Padget Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems …, 2005	40	2005
Online Prediction via Continuous Artificial Prediction Markets F Jahedpari, T Rahwan, S Hashemi, TP Michalak, M De Vos, J Padget, ... IEEE Intelligent Systems 32 (1), 61-68, 2017	35	2017
Online Prediction via Continuous Artificial Prediction Markets F Jahedpari, T Rahwan, S Hashemi, TP Michalak, M De Vos, J Padget, ... IEEE Intelligent Systems 32 (1), 61-68, 2017	35	2017
Ape: An ansprolog* environment A Sureshkumar, M De Vos, M Brain, J Fitch Proc. SEA 7, 101-115, 2007	35	2007
Extending answer sets for logic programming agents M De Vos, D Vermeir Annals of Mathematics and Artificial Intelligence 42 (1-3), 103-139, 2004	34	2004
A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks SP Ardakani, J Padget, M De Vos International Journal of Wireless Information Networks 24 (1), 27-41, 2017	31	2017
LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham Declarative Agent Languages and Technologies III: Third International …, 2006	28	2006
A model-based approach to the automatic revision of secondary legislation T Li, T Balke, M De Vos, J Padget, K Satoh Proceedings of the Fourteenth International Conference on Artificial …, 2013	25	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors