Travelled to:1 × Hungary
1 × Ireland
1 × Italy
1 × Portugal
1 × Spain
1 × USA
Collaborated with:M.Brain J.A.Padget J.Needham D.Vermeir K.Satoh V.Novelli D.D'Ayala G.Boenn J.ffitch O.Cliffe T.Crick J.P.Fitch T.Li J.Padget T.Balke D.G.Kisa J.Oetsch J.Pührer H.Tompits D.Corapi A.Russo
Talks about:program (5) answer (4) set (4) use (3) asp (3) game (2) superoptimis (1) architecton (1) equilibria (1) visualis (1)
Person: Marina De Vos
DBLP: Vos:Marina_De
Facilitated 1 volumes:
EdContributed to:
2015201220122011200820072006
1999Wrote 9 papers:
- ICLP-2015-LiVPSB #debugging #using
- Debugging ASP using ILP (TL, MDV, JP, KS, TB), pp. 100–113.
- ICLP-2012-NovelliVPD #architecture #named
- LOG-IDEAH: ASP for Architectonic Asset Preservation (VN, MDV, JAP, DD), pp. 393–403.
- ICLP-J-2012-VosKOPT #source code
- Annotating answer-set programs in Lana (MDV, DGK, JO, JP, HT), pp. 619–637.
- ICLP-J-2011-CorapiRVPS #design #induction #learning #using
- Normative design using inductive learning (DC, AR, MDV, JAP, KS), pp. 783–799.
- ICLP-2008-BoennBVF #automation #composition #music #programming #set
- Automatic Composition of Melodic and Harmonic Music by Answer Set Programming (GB, MB, MDV, Jf), pp. 160–174.
- ICLP-2008-CliffeVBP #animation #declarative #named #programming #set #using #visualisation
- ASPVIZ: Declarative Visualisation and Animation Using Answer Set Programming (OC, MDV, MB, JAP), pp. 724–728.
- ICLP-2007-NeedhamV #game studies #semantics
- A Games Semantics of ASP (JN, MDV), pp. 460–461.
- ICLP-2006-BrainCVF #named #programming #set
- TOAST: Applying Answer Set Programming to Superoptimisation (MB, TC, MDV, JPF), pp. 270–284.
- CSL-1999-VosV #game studies #logic programming #nash #source code
- Choice Logic Programs and Nash Equilibria in Strategic Games (MDV, DV), pp. 266–276.