Edit Profile (opens in new tab) McIlraith, Sheila A. Compute Distance To: Compute Author ID: mcilraith.sheila-a Published as: McIlraith, Sheila; McIlraith, Sheila A.; Mcilraith, Sheila A.; Mcilraith, Sheila; McIlraith, S. A. more...less Documents Indexed: 23 Publications since 1994 2 Contributions as Editor Co-Authors: 39 Co-Authors with 20 Joint Publications 558 Co-Co-Authors all top 5 Co-Authors 5 single-authored 4 Amir, Eyal 2 Baier, Jorge A. 2 Baral, Chitta R. 2 Muise, Christian 2 Narayanan, Srini 2 Son, Tran Cao 1 Ankolekar, Anupriya 1 Bacchus, Fahiem 1 Beck, J. Christopher 1 Belle, Vaishak 1 Bienvenu, Meghyn 1 Biswas, Gautam 1 Burstein, Mark 1 Bussler, Christoph 1 Choueiry, Berthe Y. 1 Clancy, Dan 1 Felli, Paolo 1 Fritz, Christian 1 Gupta, Vineet 1 Hobbs, Jerry R. 1 Hsu, Eric I. 1 Hull, Rick 1 Iwasaki, Yumi 1 Klassen, Toryn Qwyllyn 1 Lakemeyer, Gerhard 1 Lassila, Ora 1 McDermott, Drew V. 1 Miller, Tim 1 Morgenstern, Leora 1 Orlowska, Maria E. 1 Paolucci, Massimo 1 Payne, Terry R. 1 Pearce, Adrian R. 1 Pernici, Barbara 1 Sonenberg, Liz 1 Sycara, Katia P. 1 Toro Icarte, Rodrigo 1 Valenzano, Richard 1 Yang, Jiang all top 5 Serials 8 Artificial Intelligence 2 The Journal of Artificial Intelligence Research (JAIR) 1 Annals of Mathematics and Artificial Intelligence 1 Computer Networks 1 ACM Transactions on Computational Logic 1 Lecture Notes in Computer Science 1 Tributes all top 5 Fields 22 Computer science (68-XX) 3 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Mathematical logic and foundations (03-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 90 times in 84 Documents Cited by ▼ Year ▼ Partition-based logical reasoning for first-order and propositional theories. Zbl 1132.68672Amir, Eyal; McIlraith, Sheila 21 2005 Hybrid systems diagnosis. Zbl 0938.93553McIlraith, Sheila; Biswas, Gautam; Clancy, Dan; Gupta, Vineet 10 2000 Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Zbl 0939.68840McIlraith, S. A. 9 2000 Explanatory diagnosis: Conjecturing actions to explain observations. Zbl 0938.03055McIlraith, Sheila A. 7 1999 A heuristic search approach to planning with temporally extended preferences. Zbl 1191.68623Baier, Jorge A.; Bacchus, Fahiem; McIlraith, Sheila A. 6 2009 Domain-dependent knowledge in answer set planning. Zbl 1367.68271Son, Tran Cao; Baral, Chitta; Tran, Nam; Mcilraith, Sheila 6 2006 Planning with different forms of domain-dependent control knowledge – an answer set programming approach. Zbl 1007.68591Son, Tran Cao; Baral, Chitta; McIlraith, Sheila 4 2001 DAML-S: Web service description for the semantic web. Zbl 1048.68662Ankolekar, Anupriya; Burstein, Mark; Hobbs, Jerry R.; Lassila, Ora; Martin, David; McDermott, Drew; McIlraith, Sheila A.; Narayanan, Srini; Paolucci, Massimo; Payne, Terry; Sycara, Katia 4 2002 Towards a practical theory of reformulation for reasoning about physical systems. Zbl 1132.68694Choueiry, Berthe Y.; Iwasaki, Yumi; McIlraith, Sheila 3 2005 Optimal partial-order plan relaxation via MaxSAT. Zbl 1386.68155Muise, Christian; Beck, J. Christopher; McIlraith, Sheila A. 3 2016 Analysis and simulation of Web services. Zbl 1059.68517Narayanan, Srini; McIlraith, Sheila 3 2003 Theorem proving with structured theories. (Preliminary report). Zbl 0990.90558McIlraith, Sheila; Amir, Eyal 2 2001 Solving satisfiability using decomposition and the most constrained subproblem. Zbl 0990.90552Amir, Eyal; McIlraith, Sheila 2 2001 Further contributions to characterizing diagnosis. Zbl 0858.68094McIlraith, Sheila 2 1994 Improving the efficiency of reasoning through structure-based reformulation. Zbl 0989.68525Amir, Eyal; McIlraith, Sheila 2 2000 Characterizing propagation methods for Boolean satisfiability. Zbl 1187.68547Hsu, Eric I.; McIlraith, Sheila A. 1 2006 Specifying and computing preferred plans. Zbl 1225.68241Bienvenu, Meghyn; Fritz, Christian; Mcilraith, Sheila A. 1 2011 Knowing, reasoning, and acting. Essays in honour of Hector J. Levesque. Zbl 1246.68046 1 2011 Web services, e-business, and the semantic web. CAiSE 2002 international workshop, WES 2002, Toronto, Canada, May 27–28, 2002. Revised papers. Zbl 1014.68958 1 2002 Towards declarative programming for web services. Zbl 1104.68355McIlraith, Sheila 1 2004 Reward machines: exploiting reward function structure in reinforcement learning. Zbl 07470384Toro Icarte, Rodrigo; Klassen, Toryn Q.; Valenzano, Richard; McIlraith, Sheila A. 1 2022 Reward machines: exploiting reward function structure in reinforcement learning. Zbl 07470384Toro Icarte, Rodrigo; Klassen, Toryn Q.; Valenzano, Richard; McIlraith, Sheila A. 1 2022 Optimal partial-order plan relaxation via MaxSAT. Zbl 1386.68155Muise, Christian; Beck, J. Christopher; McIlraith, Sheila A. 3 2016 Specifying and computing preferred plans. Zbl 1225.68241Bienvenu, Meghyn; Fritz, Christian; Mcilraith, Sheila A. 1 2011 Knowing, reasoning, and acting. Essays in honour of Hector J. Levesque. Zbl 1246.68046 1 2011 A heuristic search approach to planning with temporally extended preferences. Zbl 1191.68623Baier, Jorge A.; Bacchus, Fahiem; McIlraith, Sheila A. 6 2009 Domain-dependent knowledge in answer set planning. Zbl 1367.68271Son, Tran Cao; Baral, Chitta; Tran, Nam; Mcilraith, Sheila 6 2006 Characterizing propagation methods for Boolean satisfiability. Zbl 1187.68547Hsu, Eric I.; McIlraith, Sheila A. 1 2006 Partition-based logical reasoning for first-order and propositional theories. Zbl 1132.68672Amir, Eyal; McIlraith, Sheila 21 2005 Towards a practical theory of reformulation for reasoning about physical systems. Zbl 1132.68694Choueiry, Berthe Y.; Iwasaki, Yumi; McIlraith, Sheila 3 2005 Towards declarative programming for web services. Zbl 1104.68355McIlraith, Sheila 1 2004 Analysis and simulation of Web services. Zbl 1059.68517Narayanan, Srini; McIlraith, Sheila 3 2003 DAML-S: Web service description for the semantic web. Zbl 1048.68662Ankolekar, Anupriya; Burstein, Mark; Hobbs, Jerry R.; Lassila, Ora; Martin, David; McDermott, Drew; McIlraith, Sheila A.; Narayanan, Srini; Paolucci, Massimo; Payne, Terry; Sycara, Katia 4 2002 Web services, e-business, and the semantic web. CAiSE 2002 international workshop, WES 2002, Toronto, Canada, May 27–28, 2002. Revised papers. Zbl 1014.68958 1 2002 Planning with different forms of domain-dependent control knowledge – an answer set programming approach. Zbl 1007.68591Son, Tran Cao; Baral, Chitta; McIlraith, Sheila 4 2001 Theorem proving with structured theories. (Preliminary report). Zbl 0990.90558McIlraith, Sheila; Amir, Eyal 2 2001 Solving satisfiability using decomposition and the most constrained subproblem. Zbl 0990.90552Amir, Eyal; McIlraith, Sheila 2 2001 Hybrid systems diagnosis. Zbl 0938.93553McIlraith, Sheila; Biswas, Gautam; Clancy, Dan; Gupta, Vineet 10 2000 Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes). Zbl 0939.68840McIlraith, S. A. 9 2000 Improving the efficiency of reasoning through structure-based reformulation. Zbl 0989.68525Amir, Eyal; McIlraith, Sheila 2 2000 Explanatory diagnosis: Conjecturing actions to explain observations. Zbl 0938.03055McIlraith, Sheila A. 7 1999 Further contributions to characterizing diagnosis. Zbl 0858.68094McIlraith, Sheila 2 1994 all cited Publications top 5 cited Publications all top 5 Cited by 183 Authors 4 Amir, Eyal 4 McIlraith, Sheila A. 4 Pontelli, Enrico 4 Son, Tran Cao 3 Aranda-Corral, Gonzalo A. 3 Borrego-Díaz, Joaquín 3 Levesque, Hector J. 2 Alechina, Natasha 2 Baral, Chitta R. 2 Belle, Vaishak 2 Dovier, Agostino 2 Fernández-Lebrón, M. Magdalena 2 Hernando, Antonio 2 Kangas, Kustaa 2 Keisler, Howard Jerome 2 Keisler, Jeffrey M. 2 Koivisto, Mikko 2 Lamperti, Gianfranco 2 Logan, Brian 2 Ponomaryov, Denis K. 2 Rakib, Abdur 2 Salonen, Sami 2 Soutchanski, Mikhail 2 Vardi, Moshe Ya’akov 2 Wang, Wenhui 2 Zanella, Marina 2 Zhou, Donghua 1 Aha, David W. 1 Aiello, Marco 1 Alekhnovich, Michael 1 Alonso-Jiménez, José Antonio 1 Bäckström, Christer 1 Barták, Roman 1 Basu, Anupam 1 Bhowal, Prodip 1 Bienvenu, Meghyn 1 Bonet, Blai 1 Borrajo, Daniel 1 Bourgne, Gauvain 1 Bradley, Elizabeth 1 Bresolin, Davide 1 Cambronero, María Emilia 1 Capiluppi, Marta 1 Chen, Wenxiang 1 Chen, Xiaoping 1 Cheng, Xiaochun 1 Cialdea Mayer, Marta 1 Clempner, Julio B. 1 Combarro, Elías F. 1 Crosby, Matthew 1 Cugola, Gianpaolo 1 Dang, Thao 1 De Giacomo, Giuseppe 1 De La Rosa, Tomás 1 De Ledesma Otamendi, Luis 1 De Santis, Elena 1 Denecker, Marc 1 Deutsch, Alin 1 Di Benedetto, Maria Domenica 1 Diaconescu, Răzvan 1 Diaz, Gregorio 1 Díaz, Irene 1 Dimopoulos, Yannis 1 Eiter, Thomas 1 Fan, Yushun 1 Fink, Michael 1 Fiore, Gabriella 1 Fischer, Eldar 1 Formisano, Andrea 1 Fritz, Christian 1 Galán-Páez, Juan 1 García-Olaya, Ángel 1 Gebser, Martin 1 Geffner, Hector 1 Gelfond, Gregory 1 Gelfond, Michael 1 Gerede, Cagdas Evren 1 Gerevini, Alfonso Emilio 1 Gheerbrant, Amélie 1 Ghezzi, Carlo 1 Giordano, Laura 1 Gößler, Gregor 1 Gu, Yilan 1 Hamann, Peter 1 Harirchi, Farshad 1 Herzig, Andreas 1 Hindriks, Koen V. 1 Hogan, Apollo 1 Hurtado de Saracho, Julen 1 Ianni, Giovambattista 1 Ibarra, Oscar H. 1 Jin, Guoqiang 1 Jin, Zhi 1 Jonsson, Peter 1 José Hidalgo-Doblado, M. 1 Kaldeli, Eirini 1 Kazakov, Yevgeny 1 Krennwallner, Thomas 1 Kroc, Lukas 1 Krötzsch, Markus ...and 83 more Authors all top 5 Cited in 37 Serials 19 Artificial Intelligence 5 Theory and Practice of Logic Programming 3 Theoretical Computer Science 3 Annals of Mathematics and Artificial Intelligence 2 Information Sciences 2 Annals of Pure and Applied Logic 2 Algorithmica 2 Journal of Automated Reasoning 2 International Journal of Approximate Reasoning 2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 2 The Journal of Logic and Algebraic Programming 1 Computer Methods in Applied Mechanics and Engineering 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Automatica 1 Computing 1 Journal of Computer and System Sciences 1 Mathematics and Computers in Simulation 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Siberian Mathematical Journal 1 Studia Logica 1 Synthese 1 AI Communications 1 Annals of Operations Research 1 Machine Learning 1 Advances in Engineering Software 1 Computational Complexity 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 International Journal of Applied Mathematics and Computer Science 1 Journal of Systems Science and Complexity 1 ACM Transactions on Computational Logic 1 Computational Intelligence 1 Journal of Applied Logic 1 International Journal of Semantic Computing 1 Nonlinear Analysis. Hybrid Systems 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 11 Fields 72 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 9 Systems theory; control (93-XX) 7 Operations research, mathematical programming (90-XX) 3 Information and communication theory, circuits (94-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Probability theory and stochastic processes (60-XX) 1 Mechanics of particles and systems (70-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year