| 2008 |
|---|
| 26 | EE | Georg Boenn,
Martin Brain,
Marina De Vos,
John Fitch:
Automatic Composition of Melodic and Harmonic Music by Answer Set Programming.
ICLP 2008: 160-174 |
| 25 | EE | Owen Cliffe,
Marina De Vos,
Martin Brain,
Julian A. Padget:
ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming.
ICLP 2008: 724-728 |
| 2007 |
|---|
| 24 | EE | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Embedding Landmarks and Scenes in a Computational Model of Institutions.
COIN 2007: 41-57 |
| 23 | EE | Jonty Needham,
Marina De Vos:
A Games Semantics of ASP.
ICLP 2007: 460-461 |
| 2006 |
|---|
| 22 | EE | Davy Van Nieuwenborgh,
Marina De Vos,
Stijn Heymans,
Dirk Vermeir:
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.
CLIMA VII 2006: 20-40 |
| 21 | EE | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Answer Set Programming for Representing and Reasoning About Virtual Institutions.
CLIMA VII 2006: 60-79 |
| 20 | EE | Martin Brain,
Tom Crick,
Marina De Vos,
John Fitch:
TOAST: Applying Answer Set Programming to Superoptimisation.
ICLP 2006: 270-284 |
| 2005 |
|---|
| 19 | | Marina De Vos,
Alessandro Provetti:
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005
CEUR-WS.org 2005 |
| 18 | EE | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Specifying and Analysing Agent-Based Social Institutions Using Answer Set Programming.
AAMAS Workshops 2005: 99-113 |
| 17 | EE | Martin Brain,
Richard Watson,
Marina De Vos:
An Interactive Approach to Answer Set Programming.
Answer Set Programming 2005 |
| 16 | EE | Martin Brain,
Marina De Vos:
Debugging Logic Programs under the Answer Set Semantics.
Answer Set Programming 2005 |
| 15 | EE | Marina De Vos,
Tom Crick,
Julian A. Padget,
Martin Brain,
Owen Cliffe,
Jonathan Needham:
LAIMA: A Multi-agent Platform Using Ordered Choice Logic Programming.
DALT 2005: 72-88 |
| 14 | | Marina De Vos,
Owen Cliffe,
Richard Watson,
Tom Crick,
Julian A. Padget,
Jonathan Needham:
T-LAIMA: Answer Set Programming for Modelling Agents with Trust.
EUMAS 2005: 126-136 |
| 13 | | Owen Cliffe,
Marina De Vos,
Julian A. Padget:
Specifying and Analysing Agent-based Social Institutions using Answer Set Programming.
EUMAS 2005: 476-477 |
| 2004 |
|---|
| 12 | EE | Marina De Vos:
Implementing Ordered Choice Logic Programming using Answer Set Solvers.
FoIKS 2004: 59-77 |
| 11 | EE | Marina De Vos,
Dirk Vermeir:
Extending Answer Sets for Logic Programming Agents.
Ann. Math. Artif. Intell. 42(1-3): 103-139 (2004) |
| 2003 |
|---|
| 10 | | Marina De Vos,
Alessandro Provetti:
Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 2nd Intl. ASP'03 Workshop, Messina, Italy, September 26-28, 2003
CEUR-WS.org 2003 |
| 9 | | Marina De Vos:
An Ordered Choice Logic Programming Front-End for Answer Set Solvers.
APPIA-GULP-PRODE 2003: 362-373 |
| 8 | EE | Martin Brain,
Marina De Vos:
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice.
Answer Set Programming 2003 |
| 2002 |
|---|
| 7 | EE | Marina De Vos,
Dirk Vermeir:
Dynamic Decision-Making in Logic Programming and Game Theory.
Australian Joint Conference on Artificial Intelligence 2002: 36-47 |
| 2001 |
|---|
| 6 | EE | Marina De Vos,
Dirk Vermeir:
Logic Programming Agents and Game Theory.
Answer Set Programming 2001 |
| 5 | | Marina De Vos,
Dirk Vermeir:
Semantic Forcing in Disjunctive Logic Programs.
Computational Intelligence 17(3): 651-684 (2001) |
| 2000 |
|---|
| 4 | EE | Marina De Vos,
Dirk Vermeir:
Dynamically Ordered Probabilistic Choice Logic Programming.
FSTTCS 2000: 227-239 |
| 3 | EE | Marina De Vos,
Dirk Vermeir:
A Logic for Modeling Decision Making with Dynamic Preferences.
JELIA 2000: 391-406 |
| 1999 |
|---|
| 2 | | Marina De Vos,
Dirk Vermeir:
Choice Logic Programs and Nash Equilibria in Strategic Games.
CSL 1999: 266-276 |
| 1 | EE | Marina De Vos,
Dirk Vermeir:
On the Role of Negation in Choice Logic Programs.
LPNMR 1999: 236-246 |
