1 × Belgium
1 × Poland
1 × Portugal
3 × USA
G.Gupta L.Simon A.Mallya S.Kona M.B.Blake R.Min K.Marple M.F.Nowlan
program (5) logic (4) coinduct (3) function (2) composit (2) servic (2) registri (1) attribut (1) support (1) extend (1)
Person: Ajay Bansal
Wrote 6 papers:
- PPDP-2012-MarpleBMG #execution #set #source code
- Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.
- SEKE-2010-BansalKBG #composition #non-functional #weaving #web #web service
- Weaving Functional and Non-Functional Attributes for Dynamic Web Service Composition (AB, SK, MBB, GG), pp. 247–252.
- Annotating UDDI registries to support the management of composite services (MBB, MFN, AB, SK), pp. 2146–2153.
- ICALP-2007-SimonBMG #induction #logic programming
- Co-Logic Programming: Extending Logic Programming with Coinduction (LS, AB, AM, GG), pp. 472–483.
- ICLP-2007-GuptaBMSM #induction #logic programming
- Coinductive Logic Programming and Its Applications (GG, AB, RM, LS, AM), pp. 27–44.
- ICLP-2006-SimonMBG #induction #logic programming
- Coinductive Logic Programming (LS, AM, AB, GG), pp. 330–345.