Stem underspecifi$ (all stems)
6 papers:
KR-2012-ChaudhriS #knowledge base #programming #reasoning #set #specification #using- Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming (VKC, TCS).
POPL-2012-JoshiLL #debugging- Underspecified harnesses and interleaved bugs (SJ, SKL, AL), pp. 19–30.
RTA-2010-KollerT #normalisation- Underspecified computation of normal forms (AK, ST), pp. 177–192.
ICEIS-DISI-2008-StoitsevSFM #architecture #composition #process- Architecture for End User-Driven Composition of Underspecified, Human-Centric Business Processes (TS, SS, FF, MM), pp. 165–172.
ICEIS-HCI-2008-StoitsevSFM08a #modelling #process #programming- Enabling end Users to Proactively Tailor Underspecified, Human-Centric Business Processes — “Programming by Example” of Weakly-Structured Process Models (TS, SS, FF, MM), pp. 38–46.
ICEIS-J-2008-StoitsevSFM08b #modelling #process #programming- Enabling End Users to Proactively Tailor Underspecified, Human-Centric Business Processes: “Programming by Example” of Weakly-Structured Process Models (TS, SS, FF, MM), pp. 307–320.