Marina De Vos

Cited by

	All	Since 2018
Citations	1743	608
h-index	22	12
i10-index	57	20

140

105

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 5 4 20 22 35 47 43 46 41 56 124 102 119 109 106 118 107 91 111 75 137 127 67

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
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
Ken SatohProfessor of National Institute of Informatics/SokendaiVerified email at nii.ac.jp
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
Tom CrickSwansea University, UK (@ProfTomCrick)Verified 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 BasurraLecturer in Computer Science, Birmingham City University, UKVerified email at bath.edu
Yusheng JiNational Institute of InformaticsVerified email at nii.ac.jp
Saeid Pourroostaei ArdakaniUniversity of Lincoln, School of Computer ScienceVerified email at lincoln.ac.uk
Guido GovernatoriVerified email at governatori.net
Leendert (Leon) van der TorreProfessor of Computer Science, University of LuxembourgVerified email at uni.lu
giulia andrighettoInstitute of Cognitive Sciences and Technologies-CNRVerified email at istc.cnr.it
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
Domenico CorapiSpotifyVerified email at spotify.com
Fatemeh JahedpariUniversity of BathVerified email at bath.ac.uk

Marina De Vos

University of Bath

Verified email at cs.bath.ac.uk - Homepage

Logic Programming 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	97	2015
Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005	88	2005
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	82	2007
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	80	2007
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	64	2019
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	54	2019
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
Choice logic programs and Nash equilibria in strategic games MD Vos, D Vermeir International Workshop on Computer Science Logic, 266-276, 1999	51	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	49	2011
TOAST: Applying answer set programming to superoptimisation M Brain, T Crick, M De Vos, J Fitch International Conference on Logic Programming, 270-284, 2006	47	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	39	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	37	2005
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	35	2004
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	33	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	33	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	29	2006
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	27	2017
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	23	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