BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × Belgium
Collaborated with:
G.Gupta A.Bansal R.Min
Talks about:
direct (3) answer (3) goal (3) set (3) program (2) galliwasp (1) consist (1) solver (1) execut (1) dynam (1)

Person: Kyle Marple

DBLP DBLP: Marple:Kyle

Contributed to:

ICLP 20142014
LOPSTR 20122012
PPDP 20122012

Wrote 3 papers:

ICLP-J-2014-MarpleG #consistency #programming #set
Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.
LOPSTR-2012-MarpleG #named #set
Galliwasp: A Goal-Directed Answer Set Solver (KM, GG), pp. 122–136.
PPDP-2012-MarpleBMG #execution #set #source code
Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.

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.