Sheila A. McIlraith

Uri Lerner, Brooks Moses, Scott Maricia, Sheila A. McIlraith, Daphne Koller: Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net. CoRR abs/1301.0582 (2013)

Farah Juma, Eric I. Hsu, Sheila A. McIlraith: Preference-Based Planning via MaxSAT. Canadian Conference on AI 2012: 109-120

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu: Dsharp: Fast d-DNNF Compilation with sharpSAT. Canadian Conference on AI 2012: 356-361

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck: Improved Non-Deterministic Planning by Exploiting State Relevance. ICAPS 2012

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck: Optimally Relaxing Partial-Order Plans with MaxSAT. ICAPS 2012

Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith (Eds.): Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press 2012, isbn 978-1-57735-560-1

Christian Fritz, Sheila A. McIlraith: Generating Optimal Plans in Highly-Dynamic Domains. CoRR abs/1205.2647 (2012)

Leora Morgenstern, Sheila A. McIlraith: John McCarthy's legacy. Artif. Intell. 175(1): 1-24 (2011)

Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith: Specifying and computing preferred plans. Artif. Intell. 175(7-8): 1308-1345 (2011)

Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos: Representing and reasoning about preferences in requirements engineering. Requir. Eng. 16(3): 227-249 (2011)

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith: Preferred Explanations: Theory and Generation via Planning. AAAI 2011

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck: Monitoring the Execution of Partial-Order Plans via Regression. IJCAI 2011: 1975-1982

Christian J. Muise, Sheila A. McIlraith, J. Christopher Beck, Eric I. Hsu: Fast d-DNNF Compilation with sharpSAT. Abstraction, Reformulation, and Approximation 2010

Vinay K. Chaudhri, Bert Bredeweg, Richard Fikes, Sheila A. McIlraith, Michael P. Wellman: A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base. FOIS 2010: 158-171

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith: Diagnosis as Planning Revisited. KR 2010

Sotirios Liaskos, Sheila A. McIlraith, Shirin Sohrabi, John Mylopoulos: Integrating Preferences into Goal Models for Requirements Engineering. RE 2010: 135-144

Shirin Sohrabi, Sheila A. McIlraith: Preference-Based Web Service Composition: A Middle Ground between Execution and Search. International Semantic Web Conference (1) 2010: 713-729

Eric I. Hsu, Sheila A. McIlraith: Computing Equivalent Transformations for Combinatorial Optimization by Branch-and-Bound Search. SOCS 2010

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)

Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos: Monitoring and diagnosing software requirements. Autom. Softw. Eng. 16(1): 3-35 (2009)

Christian Fritz, Sheila A. McIlraith: Computing Robust Plans in Continuous Domains. ICAPS 2009

Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer: Exploiting N-Gram Analysis to Predict Operator Sequences. ICAPS 2009

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

Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith: HTN Planning with Preferences. IJCAI 2009: 1790-1797

Sotirios Liaskos, Sheila A. McIlraith, John Mylopoulos: Towards Augmenting Requirements Models with Preferences. ASE 2009: 565-569

Eric I. Hsu, Sheila A. McIlraith: VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search. SAT 2009: 377-390

Shirin Sohrabi, Sheila A. McIlraith: Optimizing Web Service Composition While Enforcing Regulations. International Semantic Web Conference 2009: 601-617

Christian Fritz, Sheila A. McIlraith: Generating Optimal Plans in Highly-Dynamic Domains. UAI 2009: 177-184

Shirin Sohrabi, Sheila A. McIlraith: On Planning with Preferences in HTN. CoRR abs/0909.0682 (2009)

Jorge A. Baier, Sheila A. McIlraith: Planning with Preferences. AI Magazine 29(4): 25-36 (2008)

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)

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

Eric I. Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith: Probabilistically Estimating Backbones and Variable Bias: Experimental Overview. CP 2008: 613-617

Arnold Binas, Sheila A. McIlraith: Peer-to-Peer Query Answering with Inconsistent Knowledge. KR 2008: 329-339

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

Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher: Preface. J. Log. Comput. 17(5): 847-849 (2007)

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

Jorge A. Baier, Sheila A. McIlraith: On Domain-Independent Heuristics for Planning with Qualitative Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 7-12

Jorge A. Baier, Christian Fritz, Sheila A. McIlraith: Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners. ICAPS 2007: 26-33

Christian Fritz, Sheila A. McIlraith: Monitoring Plan Optimality During Execution. ICAPS 2007: 144-151

Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith: A Heuristic Search Approach to Planning with Temporally Extended Preferences. IJCAI 2007: 1808-1815

Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos: An automated approach to monitoring and diagnosing requirements. ASE 2007: 293-302

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

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)

Jorge A. Baier, Sheila A. McIlraith: Planning with First-Order Temporally Extended Goals using Heuristic Search. AAAI 2006: 788-795

Jorge A. Baier, Sheila A. McIlraith: Planning with Temporally Extended Goals Using Heuristic Search. ICAPS 2006: 342-345

Honglei Zeng, Sheila A. McIlraith: Experimental Results on the Satisfiable Core in Random 3SAT. ISAIM 2006

Scott Sanner, Sheila A. McIlraith: An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic. KR 2006: 100-111

Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith: Planning with Qualitative Temporal Preferences. KR 2006: 134-144

Christian Fritz, Sheila A. McIlraith: Decision-Theoretic GOLOG with Qualitative Preferences. KR 2006: 153-163

Jorge A. Baier, Sheila A. McIlraith: On Planning with Programs that Sense. KR 2006: 492-502

Eric I. Hsu, Sheila A. McIlraith: Characterizing Propagation Methods for Boolean Satisfiability. SAT 2006: 325-338

Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith: Web Service Composition Via Generic Procedures and Customizing User Preferences. International Semantic Web Conference 2006: 597-611

Eyal Amir, Sheila A. McIlraith: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162(1-2): 49-88 (2005)

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)

Sheila A. McIlraith, Dimitris Plexousakis: Preface. J. Web Sem. 3(2-3): 77-78 (2005)

Eric I. Hsu, Sheila A. McIlraith: Mechanism Design for Preference Aggregation over Coalitions. CP 2005: 852

Honglei Zeng, Sheila A. McIlraith: The Role of Redundant Clauses in Solving Satisfiability Problems. CP 2005: 873

Sheila A. McIlraith: Invited talk: towards declarative programming for web services. PEPM 2004: 1-2

Sheila A. McIlraith: Invited talk: towards declarative programming for web services. PPDP 2004: 3-4

Sheila A. McIlraith: Towards Declarative Programming for Web Services. SAS 2004: 21

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

Sheila A. McIlraith, Dimitris Plexousakis, Frank van Harmelen (Eds.): The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings. Lecture Notes in Computer Science 3298, Springer 2004, isbn 3-540-23798-4

Srini Narayanan, Sheila A. McIlraith: Analysis and simulation of Web services. Computer Networks 42(5): 675-693 (2003)

Sheila A. McIlraith, David L. Martin: Bringing Semantics to Web Services. IEEE Intelligent Systems 18(1): 90-93 (2003)

Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Tomás E. Uribe: Practical Partition-Based Theorem Proving for Large Knowledge Bases. IJCAI 2003: 89-98

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

Daniel J. Mandell, Sheila A. McIlraith: Automating Web Service Discovery, Customization, and Semantic Translation with a Semantic Discovery Service. WWW (Posters) 2003

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)

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)

Sheila A. McIlraith, Tran Cao Son: Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496

Sheila A. McIlraith, Ronald Fadel: Planning with complex actions. NMR 2002: 356-364

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

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

Srini Narayanan, Sheila A. McIlraith: Simulation, verification and automated composition of web services. WWW 2002: 77-88

Christoph Bussler, Richard Hull, Sheila A. McIlraith, Maria E. Orlowska, Barbara Pernici, Jian Yang (Eds.): Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers. Lecture Notes in Computer Science 2512, Springer 2002, isbn 3-540-00198-0

Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith: Domain-Dependent Knowledge in Answer Set Planning. CoRR cs.AI/0207023 (2002)

Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Semantic Web Services. IEEE Intelligent Systems 16(2): 46-53 (2001)

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

Renée Miller, Frank Wm. Tompa, Sheila A. McIlraith, Jacob Slonim, Eric Yu: NSERC business intelligence network: selected topics. CASCON 2001: 313-315

Sheila A. McIlraith, Eyal Amir: Theorem Proving with Structured Theories. IJCAI 2001: 624-634

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

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

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

Sheila A. McIlraith, Tran Cao Son, Honglei Zeng: Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001

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)

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)

Sheila A. McIlraith, Richard B. Scherl: What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems. AAAI/IAAI 2000: 483-490

Sheila A. McIlraith: Modeling and Programming Devices and Web Agents. FAABS 2000: 63-77

Sheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta: Hybrid Systems Diagnosis. HSCC 2000: 282-295

Chitta Baral, Sheila A. McIlraith, Tran Cao Son: Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322

Eyal Amir, Sheila A. McIlraith: Partition-Based Logical Reasoning. KR 2000: 389-400

Eyal Amir, Sheila A. McIlraith: Improving the Efficiency of Reasoning Through Structure-Based Reformulation. SARA 2000: 247-259

Sheila A. McIlraith: Explanatory Diagnosis: Conjecturing Actions to Explain Observations. KR 1998: 167-179

Sheila A. McIlraith: Representing Actions and State Constraints in Model-Based Diagnosis. AAAI/IAAI 1997: 43-49

Sheila A. McIlraith: Further Contributions to Characterizing Diagnosis. Ann. Math. Artif. Intell. 11(1-4): 137-167 (1994)

Sheila A. McIlraith: Generating Tests Using Abduction. KR 1994: 449-460

Sheila A. McIlraith: Qualitative data modeling: application of a mechanism for interpreting graphical data. Computational Intelligence 5: 111-120 (1989)