BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Vos:Marina_De

Facilitated 1 volumes:

ICLP TC 2015Ed

Contributed to:

ICLP TC 20152015
ICLP 20122012
ICLP 20122012
ICLP 20112011
ICLP 20082008
ICLP 20072007
ICLP 20062006
CSL 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.