2 × Belgium
G.Gupta A.Bansal R.Min
direct (3) answer (3) goal (3) set (3) program (2) galliwasp (1) consist (1) solver (1) execut (1) dynam (1)
Person: Kyle Marple
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.