Marina De Vos

Cited by

	All	Since 2016
Citations	1515	569
h-index	18	12
i10-index	51	18

160

120

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020215 5 4 20 27 37 45 39 46 45 55 113 104 122 113 145 121 128 96 116 95 10

Co-authors

Julian PadgetUniversity of BathVerified email at cs.bath.ac.uk
Martin BrainUniversity of OxfordVerified email at cs.ox.ac.uk
Tina BalkeUniversity of SurreyVerified email at surrey.ac.uk
Owen CliffeUniversity of BathVerified email at bath.ac.uk
Ken SatohProfessor of National Institute of Informatics/SokendaiVerified email at nii.ac.jp
Tingting LiCardiff University; Imperial College LondonVerified email at cardiff.ac.uk
Tom CrickSwansea 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
Yusheng JiNational Institute of InformaticsVerified email at nii.ac.jp
alessandra russoProfessor in Applied Computational LogicVerified email at imperial.ac.uk
Virginia DignumUmeå UniversityVerified email at cs.umu.se
Hans TompitsAssociate Professor of Computer Science, Vienna University of TechnologyVerified email at kr.tuwien.ac.at
Johannes OetschInstitute of Logic and Computation, Vienna University of TechnologyVerified email at tuwien.ac.at
Torsten SchaubUniversity of PotsdamVerified email at cs.uni-potsdam.de
James DavenportHebron & Medlock Professor of Information Technology, University of Bath; Vice-President, BCSVerified email at bath.ac.uk
Nitin ParmarDigital Education ConsultantVerified email at learningfive.com
Dina D'AyalaProfessor of Structural Engineering, University College LondonVerified email at ucl.ac.uk
Fornara NicolettaUniversità della Svizzera italiana, Lugano, SwitzerlandVerified email at usi.ch
Frank H.P. FitzekTU DresdenVerified email at tu-dresden.de
Edgar CasasolaProfessor of Computer Science, University of Costa RicaVerified email at ucr.ac.cr

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
Normative Multi-Agent Systems G Andrighetto, G Governatori, P Noriega, LWN van der Torre, T Balke, ...	120	2013
Debugging Logic Programs under the Answer Set Semantics. M Brain, M De Vos Answer Set Programming, 2005	79	2005
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	73	2015
Answer set programming for representing and reasoning about virtual institutions O Cliffe, M De Vos, J Padget International Workshop on Computational Logic in Multi-Agent Systems, 60-79, 2006	69	2006
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	68	2007
Choice logic programs and Nash equilibria in strategic games M De Vos, D Vermeir International Workshop on Computer Science Logic, 266-276, 1999	46	1999
Choice logic programs and Nash equilibria in strategic games M De Vos, D Vermeir International Workshop on Computer Science Logic, 266-276, 1999	46	1999
Contributed Papers-Logic Programming, Modal Logic, Description Logic-Choice Logic Programs and Nash Equilibria in Strategic Games MD Vos, D Vermeir Lecture Notes in Computer Science 1683, 266-276, 1999	46*	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	44	2011
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	44	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	43	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	43	2006
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
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
Ape: An ansprolog* environment A Sureshkumar, M De Vos, M Brain, J Fitch Proc. SEA 7, 101-115, 2007	34	2007
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	31	2008
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	30	2011
LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005	28	2005
LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005	28	2005
LAIMA: A multi-agent platform using ordered choice logic programming M De Vos, T Crick, J Padget, M Brain, O Cliffe, J Needham International Workshop on Declarative Agent Languages and Technologies, 72-88, 2005	28	2005

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

Upload PDF

Follow this author

Cited by

Co-authors