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 × Belgium
1 × Poland
1 × Portugal
3 × USA
Collaborated with:
G.Gupta L.Simon A.Mallya S.Kona M.B.Blake R.Min K.Marple M.F.Nowlan
Talks about:
program (5) logic (4) coinduct (3) function (2) composit (2) servic (2) registri (1) attribut (1) support (1) extend (1)

Person: Ajay Bansal

DBLP DBLP: Bansal:Ajay

Contributed to:

PPDP 20122012
SEKE 20102010
SAC 20092009
ICALP 20072007
ICLP 20072007
ICLP 20062006

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.

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.