Specifying and analysing agent-based social institutions using answer set programmingCLIFFE, Owen; DE VOS, Marina; PADGET, Julian et al.Lecture notes in computer science. 2006, pp 99-113, issn 0302-9743, isbn 3-540-35173-6, 1Vol, 15 p.Conference Paper

Dynamic decision-making in logic programming and game theoryDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2002, pp 36-47, issn 0302-9743, isbn 3-540-00197-2, 12 p.Conference Paper

A Logic for modeling decision making with dynamic preferencesDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2000, pp 391-406, issn 0302-9743, isbn 3-540-41131-3Conference Paper

LAIMA : A Multi-agent Platform Using Ordered Choice Logic ProgrammingDE VOS, Marina; CRICK, Tom; PADGET, Julian et al.Lecture notes in computer science. 2006, pp 72-88, issn 0302-9743, isbn 3-540-33106-9, 1Vol, 17 p.Conference Paper

I-ABM: combining institutional frameworks and agent-based modelling for the design of enforcement policiesBALKE, Tina; DE VOS, Marina; PADGET, Julian et al.Artificial intelligence and law (Dordrecht. Print). 2013, Vol 21, Num 4, pp 371-398, issn 0924-8463, 28 p.Article

TOAST : Applying answer set programming to superoptimisationBRAIN, Martin; CRICK, Tom; DE VOS, Marina et al.Lecture notes in computer science. 2006, pp 270-284, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 15 p.Conference Paper

Dynamically ordered probabilistic choice logic programmingDE VOS, Marina; VERMEIR, Dirk.Lecture notes in computer science. 2000, pp 227-239, issn 0302-9743, isbn 3-540-41413-4Conference Paper