Travelled to:1 × Austria
1 × Canada
1 × France
1 × Germany
1 × New Zealand
1 × United Kingdom
2 × Australia
3 × USA
4 × Italy
Collaborated with:∅ J.A.Baier C.Fritz E.I.Hsu J.Mylopoulos T.C.Son S.Sohrabi S.Liaskos A.Binas S.Sanner E.Amir B.Mombourquette M.Bienvenu C.Baral Y.Wang Y.Yu
Talks about:plan (5) program (4) toward (4) servic (4) prefer (4) golog (4) web (4) requir (3) declar (3) action (3)
Person: Sheila A. McIlraith
DBLP: McIlraith:Sheila_A=
Facilitated 1 volumes:
EdContributed to:
20142010
2010
2009
20092008200720062006
2004
2004
20042002200019981994Wrote 21 papers:
- KR-2014-BaierMM #problem
- Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).
- KR-2010-SohrabiBM #revisited
- Diagnosis as Planning Revisited (SS, JAB, SAM).
- RE-2010-LiaskosMSM #modelling #requirements
- Integrating Preferences into Goal Models for Requirements Engineering (SL, SAM, SS, JM), pp. 135–144.
- ASE-2009-LiaskosMM #modelling #requirements #towards
- Towards Augmenting Requirements Models with Preferences (SL, SAM, JM), pp. 565–569.
- SAT-2009-HsuM #named #novel #probability
- VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search (EIH, SAM), pp. 377–390.
- KR-2008-BinasM #consistency #peer-to-peer #query
- Peer-to-Peer Query Answering with Inconsistent Knowledge (AB, SAM), pp. 329–339.
- KR-2008-FritzBM #compilation
- ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond (CF, JAB, SAM), pp. 600–610.
- ASE-2007-WangMYM #approach #automation #monitoring #requirements
- An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.
- KR-2006-BaierM #on the #source code
- On Planning with Programs that Sense (JAB, SAM), pp. 492–502.
- KR-2006-BienvenuFM
- Planning with Qualitative Temporal Preferences (MB, CF, SAM), pp. 134–144.
- KR-2006-FritzM
- Decision-Theoretic GOLOG with Qualitative Preferences (CF, SAM), pp. 153–163.
- KR-2006-SannerM #calculus #first-order #hybrid #logic #reasoning
- An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic (SS, SAM), pp. 100–111.
- SAT-2006-HsuM #satisfiability
- Characterizing Propagation Methods for Boolean Satisfiability (EIH, SAM), pp. 325–338.
- PEPM-2004-McIlraith #declarative #programming #towards #web #web service
- Invited talk: towards declarative programming for web services (SAM), pp. 1–2.
- PPDP-2004-McIlraith #declarative #programming #towards #web #web service
- Invited talk: towards declarative programming for web services (SAM), pp. 3–4.
- SAS-2004-McIlraith #declarative #programming #towards #web #web service
- Towards Declarative Programming for Web Services (SAM), p. 21.
- KR-2002-McIlraithS #adaptation #composition #semantics #web #web service
- Adapting Golog for Composition of Semantic Web Services (SAM, TCS), pp. 482–496.
- KR-2000-AmirM #logic #reasoning
- Partition-Based Logical Reasoning (EA, SAM), pp. 389–400.
- KR-2000-BaralMS #problem #using
- Formulating diagnostic problem solving using an action language with narratives and sensing (CB, SAM, TCS), pp. 311–322.
- KR-1998-McIlraith
- Explanatory Diagnosis: Conjecturing Actions to Explain Observations (SAM), pp. 167–179.
- KR-1994-McIlraith #abduction #generative #testing #using
- Generating Tests Using Abduction (SAM), pp. 449–460.