dblp.uni-trier.dewww.uni-trier.de

Sheila A. McIlraith Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
71EEShirin 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
70EEShirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith: HTN Planning with Preferences. IJCAI 2009: 1790-1797
69EEEric I. Hsu, Sheila A. McIlraith: VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. SAT 2009: 377-390
68EEJorge 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)
67EEYiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos: Monitoring and diagnosing software requirements. Autom. Softw. Eng. 16(1): 3-35 (2009)
66EEShirin 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
64EEEric 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
61EEMichael 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
59EEYiqiao 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
56EEJorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815
55EEDavid 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
54EESheila 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
51EEShirin 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
46EEEric I. Hsu, Sheila A. McIlraith: Characterizing Propagation Methods for Boolean Satisfiability. SAT 2006: 325-338
45EETran 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
44EEEric I. Hsu, Sheila A. McIlraith: Mechanism Design for Preference Aggregation over Coalitions. CP 2005: 852
43EEHonglei Zeng, Sheila A. McIlraith: The Role of Redundant Clauses in Solving Satisfiability Problems. CP 2005: 873
42EEBerthe 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)
41EEEyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005)
40EESheila 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
38EESheila A. McIlraith: Invited talk: towards declarative programming for web services. PEPM 2004: 1-2
37EESheila A. McIlraith: Invited talk: towards declarative programming for web services. PPDP 2004: 3-4
36EESheila A. McIlraith: Towards Declarative Programming for Web Services. SAS 2004: 21
35EEDavid 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
33EEDaniel 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
32EEDaniel J. Mandell, Sheila A. McIlraith: Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. WWW (Posters) 2003
31EESrini Narayanan, Sheila A. McIlraith: Analysis and simulation of Web services. Computer Networks 42(5): 675-693 (2003)
30EESheila 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
28EEMark 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
24EESrini 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)
22EETran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning CoRR cs.AI/0207023: (2002)
21EEJoanna 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
20EETran 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
18EETran 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
17EEAnupriya 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
16EESheila 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
14EESheila 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
12EESheila A. McIlraith: Modeling and Programming Devices and Web Agents. FAABS 2000: 63-77
11EESheila 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
8EEEyal 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)
6EESheila 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)