Seguir
Marina De Vos
Marina De Vos
Dirección de correo verificada de cs.bath.ac.uk - Página principal
Título
Citado por
Citado por
Año
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
1012015
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
882005
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
822007
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
822007
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
742019
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
602019
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
522008
Choice logic programs and Nash equilibria in strategic games
MD Vos, D Vermeir
International Workshop on Computer Science Logic, 266-276, 1999
511999
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
482011
TOAST: Applying answer set programming to superoptimisation
M Brain, T Crick, M De Vos, J Fitch
International Conference on Logic Programming, 270-284, 2006
462006
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
422011
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
402008
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
392005
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
Proc. SEA 7, 101-115, 2007
352007
Extending answer sets for logic programming agents
M De Vos, D Vermeir
Annals of Mathematics and Artificial Intelligence 42 (1-3), 103-139, 2004
352004
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
342017
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
342017
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
312017
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
292006
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
242013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20