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.