Marina De Vos
Title
Cited by
Cited by
Year
Normative Multi-Agent Systems
G Andrighetto, G Governatori, P Noriega, LWN van der Torre, T Balke, ...
1212013
Debugging Logic Programs under the Answer Set Semantics.
M Brain, M De Vos
Answer Set Programming, 2005
782005
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
722006
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
712015
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
662007
Choice logic programs and Nash equilibria in strategic games
M De Vos, D Vermeir
International Workshop on Computer Science Logic, 266-276, 1999
491999
Choice logic programs and Nash equilibria in strategic games
M De Vos, D Vermeir
International Workshop on Computer Science Logic, 266-276, 1999
491999
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
49*1999
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
452008
TOAST: Applying answer set programming to superoptimisation
M Brain, T Crick, M De Vos, J Fitch
International Conference on Logic Programming, 270-284, 2006
442006
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
412011
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
412011
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
362005
Extending answer sets for logic programming agents
M De Vos, D Vermeir
Annals of Mathematics and Artificial Intelligence 42 (1-3), 103-139, 2004
342004
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
322008
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
312011
Ape: An ansprolog* environment
A Sureshkumar, M De Vos, M Brain, J Fitch
Proc. SEA 7, 101-115, 2007
292007
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
282005
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
282005
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
282005
The system can't perform the operation now. Try again later.
Articles 1–20