Sheila A. McIlraith

	2009
74		Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith: Web Service Composition via the Customization of Golog Programs with User Preferences. Conceptual Modeling: Foundations and Applications 2009: 319-334
73		Christian Fritz, Sheila A. McIlraith: Computing Robust Plans in Continuous Domains. ICAPS 2009
72		Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer: Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS 2009
71		Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith: HTN Planning with Preferences. IJCAI 2009: 1790-1797
70		Shirin Sohrabi, Sheila A. McIlraith: Optimizing Web Service Composition While Enforcing Regulations. International Semantic Web Conference 2009: 601-617
69		Eric I. Hsu, Sheila A. McIlraith: VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. SAT 2009: 377-390
68		Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A heuristic search approach to planning with temporally extended preferences. Artif. Intell. 173(5-6): 593-618 (2009)
67		Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos: Monitoring and diagnosing software requirements. Autom. Softw. Eng. 16(1): 3-35 (2009)
66		Shirin Sohrabi, Sheila A. McIlraith: On Planning with Preferences in HTN CoRR abs/0909.0682: (2009)
	2008
65		Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith: Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners. AAAI 2008: 1509-1512
64		Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith: Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP 2008: 613-617
63		Arnold Binas, Sheila A. McIlraith: Peer-to-Peer Query Answering with Inconsistent Knowledge. KR 2008: 329-339
62		Christian Fritz, Jorge A. Baier, Sheila A. McIlraith: ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond. KR 2008: 600-610
61		Michael Grüninger, Richard Hull, Sheila A. McIlraith: A Short Overview of FLOWS: A First-Order Logic Ontology for Web Services. IEEE Data Eng. Bull. 31(3): 3-7 (2008)
	2007
60		Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith: Using Expectation Maximization to Find Likely Assignments for Solving CSP's. AAAI 2007: 224-230
59		Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos: An automated approach to monitoring and diagnosing requirements. ASE 2007: 293-302
58		Christian Fritz, Sheila A. McIlraith: Monitoring Plan Optimality During Execution. ICAPS 2007: 144-151
57		Jorge A. Baier, Christian Fritz, Sheila A. McIlraith: Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS 2007: 26-33
56		Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815
55		David L. Martin, Mark H. Burstein, Drew V. McDermott, Sheila A. McIlraith, Massimo Paolucci, Katia P. Sycara, Deborah L. McGuinness, Evren Sirin, Naveen Srinivasan: Bringing Semantics to Web Services with OWL-S. World Wide Web 2007: 243-277
54		Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher: Preface. J. Log. Comput. 17(5): 847-849 (2007)
	2006
53		Jorge A. Baier, Sheila A. McIlraith: Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI 2006
52		Jorge A. Baier, Sheila A. McIlraith: Planning with Temporally Extended Goals Using Heuristic Search. ICAPS 2006: 342-345
51		Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith: Web Service Composition Via Generic Procedures and Customizing User Preferences. International Semantic Web Conference 2006: 597-611
50		Scott Sanner, Sheila A. McIlraith: An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. KR 2006: 100-111
49		Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith: Planning with Qualitative Temporal Preferences. KR 2006: 134-144
48		Christian Fritz, Sheila A. McIlraith: Decision-Theoretic GOLOG with Qualitative Preferences. KR 2006: 153-163
47		Jorge A. Baier, Sheila A. McIlraith: On Planning with Programs that Sense. KR 2006: 492-502
46		Eric I. Hsu, Sheila A. McIlraith: Characterizing Propagation Methods for Boolean Satisfiability. SAT 2006: 325-338
45		Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith: Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. 7(4): 613-657 (2006)
	2005
44		Eric I. Hsu, Sheila A. McIlraith: Mechanism Design for Preference Aggregation over Coalitions. CP 2005: 852
43		Honglei Zeng, Sheila A. McIlraith: The Role of Redundant Clauses in Solving Satisfiability Problems. CP 2005: 873
42		Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlraith: Towards a practical theory of reformulation for reasoning about physical systems. Artif. Intell. 162(1-2): 145-204 (2005)
41		Eyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005)
40		Sheila A. McIlraith, Dimitris Plexousakis: Preface. J. Web Sem. 3(2-3): 77-78 (2005)
	2004
39		Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen: The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings Springer 2004
38		Sheila A. McIlraith: Invited talk: towards declarative programming for web services. PEPM 2004: 1-2
37		Sheila A. McIlraith: Invited talk: towards declarative programming for web services. PPDP 2004: 3-4
36		Sheila A. McIlraith: Towards Declarative Programming for Web Services. SAS 2004: 21
35		David L. Martin, Massimo Paolucci, Sheila A. McIlraith, Mark H. Burstein, Drew V. McDermott, Deborah L. McGuinness, Bijan Parsia, Terry R. Payne, Marta Sabou, Monika Solanki, Naveen Srinivasan, Katia P. Sycara: Bringing Semantics to Web Services: The OWL-S Approach. SWSWPC 2004: 26-42
	2003
34		Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98
33		Daniel J. Mandell, Sheila A. McIlraith: Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. International Semantic Web Conference 2003: 227-241
32		Daniel J. Mandell, Sheila A. McIlraith: Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. WWW (Posters) 2003
31		Srini Narayanan, Sheila A. McIlraith: Analysis and simulation of Web services. Computer Networks 42(5): 675-693 (2003)
30		Sheila A. McIlraith, David L. Martin: Bringing Semantics to Web Services. IEEE Intelligent Systems 18(1): 90-93 (2003)
	2002
29		Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang: Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers Springer 2002
28		Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Drew V. McDermott, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara: DAML-S: Web Service Description for the Semantic Web. International Semantic Web Conference 2002: 348-363
27		Sheila A. McIlraith, Tran Cao Son: Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496
26		Sheila A. McIlraith, Ronald Fadel: Planning with complex actions. NMR 2002: 356-364
25		Uri Lerner, Brooks Moses, Scott Maricia, Sheila A. McIlraith, Daphne Koller: Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. UAI 2002: 301-310
24		Srini Narayanan, Sheila A. McIlraith: Simulation, verification and automated composition of web services. WWW 2002: 77-88
23		M. Brian Blake, Karen Zita Haigh, Henry Hexmoor, Rino Falcone, Leen-Kiat Soh, Chitta Baral, Sheila A. McIlraith, Piotr J. Gmytrasiewicz, Simon Parsons, Rainer Malaka, Antonio Krüger, Paolo Bouquet, Bill Smart, Koichi Kurumantani, Adam Pease, Michael Brenner, Marie desJardins, Ulrich Junker, James P. Delgrande, Jon Doyle, Francesca Rossi, Torsten Schaub, Carla P. Gomes, Toby Walsh, Haipeng Guo, Eric Horvitz, Nancy Ide, Christopher A. Welty, Frank D. Anger, Hans W. Guesgen, Gérard Ligozat: AAAI 2002 Workshops. AI Magazine 23(4): 113-121 (2002)
22		Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning CoRR cs.AI/0207023: (2002)
21		Joanna Bryson, David L. Martin, Sheila A. McIlraith, Lynn Andrea Stein: Toward Behavioral Intelligence in the Semantic Web. IEEE Computer 35(11): 48-54 (2002)
	2001
20		Tran Cao Son, Chitta Baral, Sheila A. McIlraith: Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming 2001
19		Sheila A. McIlraith, Eyal Amir: Theorem Proving with Structured Theories. IJCAI 2001: 624-634
18		Tran Cao Son, Chitta Baral, Sheila A. McIlraith: Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR 2001: 226-239
17		Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng: DAML-S: Semantic Markup for Web Services. SWWS 2001: 411-430
16		Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001
15		Anupriya Ankolekar, Mark H. Burstein, Jerry R. Hobbs, Ora Lassila, David L. Martin, Sheila A. McIlraith, Srini Narayanan, Massimo Paolucci, Terry R. Payne, Katia P. Sycara, Honglei Zeng: DAML-S: Semantic Markup for Web Services. The Emerging Semantic Web 2001
14		Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001)
	2000
13		Sheila A. McIlraith, Richard B. Scherl: What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI 2000: 483-490
12		Sheila A. McIlraith: Modeling and Programming Devices and Web Agents. FAABS 2000: 63-77
11		Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta: Hybrid Systems Diagnosis. HSCC 2000: 282-295
10		Chitta Baral, Sheila A. McIlraith, Tran Cao Son: Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322
9		Eyal Amir, Sheila A. McIlraith: Partition-Based Logical Reasoning. KR 2000: 389-400
8		Eyal Amir, Sheila A. McIlraith: Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259
7		David J. Musliner, Barney Pell, Wolff Dobson, Kai Goebel, Gautam Biswas, Sheila A. McIlraith, Giuseppina C. Gini, Sven Koenig, Shlomo Zilberstein, Weixiong Zhang: Reports on the AAAI Spring Symposia (March 1999). AI Magazine 21(2): 79-84 (2000)
6		Sheila A. McIlraith: Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Artif. Intell. 116(1-2): 87-121 (2000)
	1998
5		Sheila A. McIlraith: Explanatory Diagnosis: Conjecturing Actions to Explain Observations. KR 1998: 167-179
	1997
4		Sheila A. McIlraith: Representing Actions and State Constraints in Model-Based Diagnosis. AAAI/IAAI 1997: 43-49
	1994
3		Sheila A. McIlraith: Generating Tests Using Abduction. KR 1994: 449-460
2		Sheila A. McIlraith: Further Contributions to Characterizing Diagnosis. Ann. Math. Artif. Intell. 11(1-4): 137-167 (1994)
	1989
1		Sheila A. McIlraith: Qualitative data modeling: application of a mechanism for interpreting graphical data. Computational Intelligence 5: 111-120 (1989)

Coauthor Index

1	Eyal Amir	[8] [9] [19] [34] [41]
2	Frank D. Anger	[23]
3	Anupriya Ankolekar	[15] [17]
4	Fahiem Bacchus	[56] [60] [68]
5	Jorge A. Baier	[47] [52] [53] [56] [57] [62] [65] [68] [71] [72]
6	Chitta Baral	[10] [18] [20] [22] [23] [45]
7	J. Christopher Beck	[64]
8	Meghyn Bienvenu	[49] [65]
9	Arnold Binas	[63]
10	Gautam Biswas	[7] [11]
11	M. Brian Blake	[23]
12	Paolo Bouquet	[23]
13	Michael Brenner	[23]
14	Joanna Bryson	[21]
15	Mark H. Burstein	[15] [17] [28] [35] [55]
16	Christoph Bussler	[29]
17	Berthe Y. Choueiry	[42]
18	Dan Clancy	[11]
19	James P. Delgrande	[23]
20	Wolff Dobson	[7]
21	Jon Doyle	[23]
22	Ronald Fadel	[26]
23	Rino Falcone	[23]
24	Christian Fritz	[48] [49] [57] [58] [62] [65] [73]
25	Giuseppina C. Gini	[7]
26	Piotr J. Gmytrasiewicz	[23]
27	Kai Goebel	[7]
28	Carla P. Gomes	[23]
29	Michael Grüninger	[61]
30	Hans W. Guesgen	[23]
31	Haipeng Guo	[23]
32	Vineet Gupta	[11]
33	Karen Zita Haigh	[23]
34	Frank van Harmelen	[39]
35	Henry Hexmoor	[23]
36	Jerry R. Hobbs	[15] [17] [28]
37	Eric Horvitz	[23]
38	Eric I. Hsu	[44] [46] [60] [64] [69]
39	Richard Hull	[29] [61]
40	Nancy Ide	[23]
41	Yumi Iwasaki	[42]
42	Ulrich Junker	[23]
43	Matthew Kitching	[60]
44	Sven Koenig	[7]
45	Daphne Koller	[25]
46	Antonio Krüger	[23]
47	Koichi Kurumantani	[23]
48	Ora Lassila	[15] [17] [28]
49	Uri Lerner	[25]
50	Gérard Ligozat (Gerard Ligozat)	[23]
51	Bill MacCartney	[34]
52	Rainer Malaka	[23]
53	Daniel J. Mandell	[32] [33]
54	Scott Maricia	[25]
55	David L. Martin	[15] [17] [21] [28] [30] [35] [55]
56	Drew V. McDermott	[28] [35] [55]
57	Deborah L. McGuinness	[35] [55]
58	Brooks Moses	[25]
59	Christian J. Muise	[64] [72]
60	David J. Musliner	[7]
61	John Mylopoulos	[59] [67]
62	Tran Hoai Nam	[22]
63	Srini Narayanan	[15] [17] [24] [28] [31]
64	Maria E. Orlowska	[29]
65	Massimo Paolucci	[15] [17] [28] [35] [55]
66	Bijan Parsia	[35]
67	Simon Parsons	[23]
68	Terry R. Payne	[15] [17] [28] [35]
69	Adam Pease	[23]
70	Barney Pell	[7]
71	Pavlos Peppas	[54]
72	Barbara Pernici	[29]
73	Dimitris Plexousakis	[39] [40]
74	Nataliya Prokoshyna	[51] [74]
75	Michael Reimer	[72]
76	Francesca Rossi	[23]
77	Marta Sabou	[35]
78	Scott Sanner	[50]
79	Torsten Schaub	[23]
80	Richard B. Scherl	[13]
81	Evren Sirin	[55]
82	Bill Smart	[23]
83	Leen-Kiat Soh	[23]
84	Shirin Sohrabi	[51] [66] [70] [71] [74]
85	Monika Solanki	[35]
86	Tran Cao Son	[10] [14] [16] [18] [20] [22] [27] [45]
87	Naveen Srinivasan	[35] [55]
88	Lynn Andrea Stein	[21]
89	Katia P. Sycara (Katia Sycara-Cyranski)	[15] [17] [28] [35] [55]
90	Michael Thielscher	[54]
91	Nam Tran	[45]
92	Tomás E. Uribe	[34]
93	Toby Walsh	[23]
94	Yiqiao Wang	[59] [67]
95	Christopher A. Welty	[23]
96	Jian Yang	[29]
97	Yijun Yu	[59] [67]
98	Honglei Zeng	[14] [15] [16] [17] [43]
99	Weixiong Zhang	[7]
100	Shlomo Zilberstein	[7]
101	Marie desJardins	[23]

Colors in the list of coauthors