Author: Sheila A. McIlraith [RDF, Bibtex, BibBase] has 128 publications

You may be referring to (disambiguation):

See also:


Diagnosis as Planning Revisited Shirin Sohrabi, Jorge Baier, Sheila A. McIlraith. Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-10) 26-36 2010


Diagnosis as Planning Revisited Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith. Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 2010


Web Service Composition via the Customization of Golog Programs with User Preferences Shirin Sohrabi, Nataliya Prokoshyna, Sheila A. McIlraith, Alexander T. Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu. Conceptual Modeling: Foundations and Applications: Essays in Honor of John Mylopoulos 319--334 2009


A heuristic search approach to planning with temporally extended preferences Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith. 593-618 2009


HTN Planning with Preferences Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlraith. IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009 1790-1797 2009


A heuristic search approach to planning with temporally extended preferences Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith. Artif. Intell. 593-618 2009


HTN Planning with Preferences Shirin Sohrabi, Jorge Baier, Sheila A. McIlraith. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09) 1790 --1797 2009


Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Revisited Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith. Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece 2009


Web Service Composition via the Customization of Golog Programs with User Preferences Shirin Sohrabi, Nataliya Prokoshyna, , Sheila A. McIlraith. Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control. September 20th, 2009, Thessaloniki, Greece 2009


Exploiting N-Gram Analysis to Predict Operator Sequences Christian J. Muise, Sheila A. McIlraith, Jorge A. Baier, Michael Reimer. Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009 2009


Computing Robust Plans in Continuous Domains Christian Fritz, Sheila A. McIlraith. Proceedings of the 19th International Conference on Automated Planning and Scheduling, ICAPS 2009, Thessaloniki, Greece, September 19-23, 2009 2009


Computing Robust Plans in Continuous Domains Christian Fritz, Sheila A. McIlraith. Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAPS), September 19-23, 2009, Thessaloniki, Greece 346--349 2009


Generating Optimal Plans in Highly-Dynamic Domains Christian Fritz, Sheila A. McIlraith. Proceedings of The 25th Conference on Uncertainty in Artificial Intelligence (UAI), Montreal, Canada, June 18-21 2009


Optimizing Web Service Composition while Enforcing Regulations Shirin Sohrabi, Sheila A. McIlraith. Proceedings of the 8th International Semantic Web Conference (ISWC09) 601-617 2009


ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond Christian Fritz, Jorge Baier, Sheila A. McIlraith. Proceedings on the 11th International Conference on Principles of Knowledge Representation and Reasoning 600--610 2008


ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond Christian Fritz, Jorge A. Baier, Sheila A. McIlraith. Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008 600-610 2008


Applying Probabilistic Inference to Heuristic Search by Estimating Variable Bias Eric Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith. Proceedings of the 1st International Symposium on Search Techniques in Artificial Intelligence and Robotics (at AAAI08) 2008


HTN Planning with Quantitative Preferences via Heuristic Search Shirin Sohrabi, Jorge Baier, Sheila A. McIlraith. Eighteeth International Conference on Automated Planning and Scheduling (ICAPS) Workshop on Oversubscribed Planning and Scheduling 2008


Probabilistically Estimating Backbones and Variable Bias: Experimental Overview Eric Hsu, Christian J. Muise, J. Christopher Beck, Sheila A. McIlraith. Proceedings of The 14th International Conference on Principles and Practice of Constraint Programming 2008


Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Jorge Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI), Nectar Track 1509--1512 2008


Beyond Classical Planning: Procedural Control Knowledge and Preferences in State-of-the-Art Planners Jorge A. Baier, Christian Fritz, Meghyn Bienvenu, Sheila A. McIlraith. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008 1509-1512 2008


Peer-to-peer Query Answering with Inconsistent Knowledge Arnold Binas, Sheila A. McIlraith. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning 329--339 2008


On Planning with Preferences in HTN Shirin Sohrabi, Sheila A. McIlraith. the 12th International Workshop on Non-Monotonic Reasoning (NMR08) 241-248 2008


On Planning with Preferences in HTN Shirin Sohrabi, Sheila A. McIlraith. the 4th Multidisciplinary Workshop on Advances in Preference Handling (M-Pref08) at AAAI-08 103-109 2008


Planning in the Face of Frequent Exogenous Events Christian Fritz, Sheila A. McIlraith. Online Poster Proceedings of the 18th International Conference on Automated Planning and Scheduling (ICAPS) 2008


Peer-to-peer Query Answering with Inconsistent Knowledge Arnold Binas, Sheila A. McIlraith. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008, Sydney, Australia) 329-339 2008


Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners Jorge A. Baier, Christian Fritz, Sheila A. McIlraith. Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 26-33 2007


A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith. Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007) 1808-1815 2007


A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge Baier, Fahiem Bacchus, Sheila A. McIlraith. Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07) 1808-1815 2007


A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlraith. IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007 1808-1815 2007


Exploiting Procedural Domain Control Knowledge in State-of-the-Art Planners Jorge Baier, Christian Fritz, Sheila A. McIlraith. Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007) 2007


Using Expectation Maximization to Find Likely Assignments for Solving CSP's Eric I. Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith. Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-2007) 224-230 2007


Using Expectation Maximization to Find Likely Assignments for Solving CSP's Eric Hsu, Matthew Kitching, Fahiem Bacchus, Sheila A. McIlraith. Proc. of 22nd Conference on Artificial Intelligence (AAAI '07), Vancouver, Canada 2007


Monitoring Plan Optimality During Execution Christian Fritz, Sheila A. McIlraith. Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS 2007) 2007


Distributed Query Answering in Peer-to-peer Reasoning Systems Arnold Binas, Sheila A. McIlraith. 2007


Exploiting Prefereces over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering Arnold Binas, Sheila A. McIlraith. Proceedings of the 2007 AAAI Workshop on Preference Handling for Artificial Intelligence (AIPref-2007, Vancouver, British Columbia) 15-22 2007


Monitoring Policy Execution Christian Fritz, Sheila A. McIlraith. Proceedings of the 3rd Workshop on Planning and Plan Execution for Real-World Systems 2007


On Domain-Independent Heuristics for Planning with Qualitative Preferences Jorge Baier, Sheila A. McIlraith. Proceedings of the 7th IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-07) 2007


Monitoring Plan Optimality during Execution: Theory and Implementation Christian Fritz, Sheila A. McIlraith. The 18th International Workshop on Principles of Diagnosis (DX-07) 2007


Monitoring Plan Optimality During Execution Christian Fritz, Sheila A. McIlraith. Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 144-151 2007


Planning with Qualitative Temporal Preferences Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR) 134-144 2006


Web Service Composition Via Generic Procedures and Customizing User Preferences Shirin Sohrabi, Natasha Prokoshyna, Sheila A. McIlraith. Proceedings of the 5th International Semantic Web Conference (ISWC06) 597-611 2006


Planning with Qualitative Temporal Preferences Meghyn Bienvenu, Christian Fritz, Sheila A. McIlraith. Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 134-144 2006


Bringing Semantics to Web Services with OWL-S D. Martin, M. Burstein, D. McDermott, Sheila A. McIlraith, M. Paolucci, K. Sycara, D. McGuinness, E. Sirin, N. Srinivasan. World Wide Web Journal 2006


Domain-dependent knowledge in answer set planning Tran Cao Son, Chitta Baral, Nam Tran, Sheila A. McIlraith. ACM Trans. Comput. Log. 613-657 2006


Planning with Temporally Extended Preferences by Heuristic Search Jorge Baier, J. Hussell, Fahiem Bacchus, Sheila A. McIlraith. Proceedings of the ICAPS06 Workshop on Planning with Preferences 7-10 2006


Planning with Temporally Extended Goals Using Heuristic Search Jorge Baier, Sheila A. McIlraith. Proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS06) 342-345 2006


Planning with First-Order Temporally Extended Goals using Heuristic Search Jorge A. Baier, Sheila A. McIlraith. Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA 2006


Planning with Temporally Extended Goals Using Heuristic Search Jorge A. Baier, Sheila A. McIlraith. Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, ICAPS 2006, Cumbria, UK, June 6-10, 2006 342-345 2006


Planning with First-Order Temporally Extended Goals Using Heuristic Search Jorge Baier, Sheila A. McIlraith. Proceedings of the 21st National Conference on Artificial Intelligence (AAAI06) 788-795 2006


Decision-Theoretic GOLOG with Qualitative Preferences Christian Fritz, Sheila A. McIlraith. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06) 153-163 2006


On Planning with Programs that Sense Jorge A. Baier, Sheila A. McIlraith. Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 492-502 2006


An Ordered theory resolution calculus for hybrid reasoning in first-order extensions of description logic Scott Sanner, Sheila A. McIlraith. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06) 100-111 2006


Characterizing Propagation Methods for Boolean Satisfiability Eric Hsu, Sheila A. McIlraith. Proceedings of The Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT'06) 325-338 2006


On Planning with Programs that Sense Jorge Baier, Sheila A. McIlraith. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06) 492-502 2006


Decision-Theoretic GOLOG with Qualitative Preferences Christian Fritz, Sheila A. McIlraith. Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 153-163 2006


Towards a Practical Theory of Reformulation for Reasoning about Physical Systems B. Choueiry, Y. Iwasaki, Sheila A. McIlraith. Artificial Intelligence 145-204 2005


Specifying and Generating Preferred Plans Meghyn Bienvenu, Sheila A. McIlraith. Seventh International Symposium on Logical Formalizations of Commonsense Reasoning 25-31 2005


Planning with Programs that Sense Jorge Baier, Sheila A. McIlraith. Proceedings of the 6th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-05) 7-14 2005


Partition-Based Logical Reasoning for First-Order and Propositional Theories E. Amir, Sheila A. McIlraith. Artificial Intelligence 49--88 2005


Compiling Qualitative Preferences into Decision-Theoretic GOLOG Christian Fritz, Sheila A. McIlraith. Proceedings of the 6th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC-05) 45-52 2005


The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings Sheila A. McIlraith, Dimitris Plexousakis, Frank Harmelen. The Semantic Web - ISWC 2004: Third International Semantic Web Conference,Hiroshima, Japan, November 7-11, 2004. Proceedings Lecture Notes in Computer Science 2004


Bringing Semantics to Web Services: The OWL-S Approach D. Martin, M. Paolucci, Sheila A. McIlraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. Payne, M. Sabou, M. Solanki, N. Srinivasan, K. Sycara. First International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004) 26-42 2004


Bringing Semantics to Web Services Sheila A. McIlraith, D. Martin. IEEE Intelligent Systems 90-93 2003


Analysis and Simulation of Web Services S. Narayanan, Sheila A. McIlraith. Computer Networks 675-693 2003


A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation D.J. Mandell, Sheila A. McIlraith. Proceedings of the Twelfth International World Wide Web Conference, Workshop on E-Services and the Semantic Web (ESSW'03) 2003


Practical Partition-Based Theorem Proving for Large Knowledge Bases B. MacCartney, Sheila A. McIlraith, E. Amir, T. Uribe. Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03) 89-98 2003


Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation D.J. Mandell, Sheila A. McIlraith. Second International Semantic Web Conference (ISWC2003) 227-241 2003


Planning with Complex Actions Sheila A. McIlraith, R. Fadel. Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning (NMR2002) 356-364 2002


Toward Behavioral Intelligence in the Semantic Web J. Bryson, D. Martin, Sheila A. McIlraith, L. Stein. IEEE Computer, Special Issue on Web Intelligence 48-55 2002


AAAI 2002 Workshops 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. AI Magazine 113-121 2002


Domain-Dependent Knowledge in Answer Set Planning Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith. CoRR 2002


Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net U. Lerner, B. Moses, M. Scott, Sheila A. McIlraith, Daphne Koller. Proceedings of the Eighteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2002) 301-310 2002


Simulation, Verification and Automated Composition of Web Services S. Narayanan, Sheila A. McIlraith. Proceedings of the Eleventh International World Wide Web Conference (WWW-11) 77-88 2002


Adapting Golog for Composition of Semantic Web Services Sheila A. McIlraith, T.C. Son. Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002) 482-493 2002


DAML-S: Web Service Description for the Semantic Web (DAML Services Coalition), A. Ankolekar, M. Burstein, J.R. Hobbs, O. Lassila, D. Martin, D. McDermott, Sheila A. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara. Proceedings of the International Semantic Web Conference (ISWC) 348-363 2002


Theorem Proving with Structured Theories Sheila A. McIlraith, E. Amir. Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01) 624-634 2001


Mobilizing the Web with DAML-Enabled Web Services Sheila A. McIlraith, T.C. Son, H. Zeng. The Second International Workshop on the Semantic Web (SemWeb'2001) at WWW-10 2001


Semantic Web Services Sheila A. McIlraith, T.C. Son, H. Zeng. IEEE Intelligent Systems. Special Issue on the Semantic Web 46-53 2001


Adapting Golog for Programming the Semantic Web Sheila A. McIlraith, T.C. Son. Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001) 195-202 2001


Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs T.C. Son, C. Baral, Sheila A. McIlraith. Proceedings of the AAAI Spring Symposium on Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning 202-209 2001


Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach Tran Cao Son, Chitta Baral, Sheila A. McIlraith. Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings 226-239 2001


Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach T.C. Son, C. Baral, Sheila A. McIlraith. Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001) 226-239 2001


Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs Tran Cao Son, Chitta Baral, Sheila A. McIlraith. Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, March 26-28, 2001 2001


Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) E. Amir, Sheila A. McIlraith, Henry Kautz, Bart Selman. Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001) Electronics Notes in Discrete Mathematics 2001


Theorem Proving with Structured Theories (Preliminary Report) E. Amir, Sheila A. McIlraith, Henry Kautz, Bart Selman. Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001) Electronics Notes in Discrete Mathematics 2001


DAML-S: Semantic Markup for Web Services (DAML Services Coalition), A. Ankolekar, M. Burstein, J.R. Hobbs, O. Lassila, D. Martin, D. McDermott, Sheila A. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara. Proceedings of the International Semantic Web Working Symposium (SWWS) 411-430 2001


Modeling and Programming Devices and Web Agents Sheila A. McIlraith. Proceedings of the NASA Goddard Workshop on Formal Approaches to Agent-Based Systems (FAABS 2000) Lecture Notes in Computer Science 63-77 2000


What Sensing Tells Us: Towards a Formal Theory of Testing for Dynamical Systems Sheila A. McIlraith, Richard Scherl. Proceedings of the Seventeenth National Conference on Artificial Intelligence (AAAI'2000) 483-490 2000


Hybrid Systems Diagnosis Sheila A. McIlraith, G. Biswas, D. Clancy, V. Gupta. Proceedings of The Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000) Lecture Notes in Computer Science 282-295 2000


Integrating Actions and State Constraints: A Closed-Form Solution to the Ramification Problem (Sometimes) Sheila A. McIlraith. Artificial Intelligence 87-121 2000


Improving the Efficiency of Reasoning Through Structure-Based Reformulation E. Amir, Sheila A. McIlraith. Proceedings of the Forth International Symposium on Abstraction, Reformulation and Approximation (SARA'2000) Lecture Notes in Artificial Intelligence 247-259 2000


Diagnosing Hybrid Systems: A Bayesian Model Selection Approach Sheila A. McIlraith. Proceedings of the Eleventh International Workshop on Principles of Diagnosis (DX'00) 140-146 2000


Partition-Based Logical Reasoning E. Amir, Sheila A. McIlraith. Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000) 389-400 2000


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


Formulating Diagnostic Problem Solving Using an Action Language with Narratives and Sensing C. Baral, Sheila A. McIlraith, T.C. Son. Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000) 311-322 2000


Towards Diagnosing Hybrid Systems Sheila A. McIlraith, G. Biswas, D. Clancy, V. Gupta. Hybrid Systems and AI: Modeling, Analysis and Control of Discrete + Continuous Systems, AAAI 1999 Spring Symposium on Hybrid Systems and AI, AAAI Technical Report SS-99-05 128--135 1999


Wiley Encyclopedia of Electrical and Electronics Engineering T. Pitassi, Sheila A. McIlraith, T. Brecht, John G. Webster. 612-618 1999


Logical Foundations for Cognitive Agents: Papers in Honour of Ray Reiter Sheila A. McIlraith, Hector J. Levesque, Fiora Pirri. 155-172 1999


Wiley Encyclopedia of Electrical and Electronics Engineering T. Brecht, Sheila A. McIlraith, T. Pitassi, John G. Webster. 314-315 1999


Model-Based Programming using Golog and the Situation Calculus Sheila A. McIlraith. Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX'99) 184-192 1999


Towards Diagnosing Hybrid Systems Sheila A. McIlraith, G. Biswas, D. Clancy, V. Gupta. Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX'99) 193-202 1999


Logic-Based Abductive Inference Sheila A. McIlraith. 1998


Towards Exploiting Generic Procedures in Model-Based Reasoning [Poster] Sheila A. McIlraith. Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX'98) 217-224 1998


Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems B. Choueiry, Sheila A. McIlraith, Y. Iwasaki, T. Loeser, T. Neller, B. Engelmore, R. Fikes.. Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98) 25-36 1998


Explanatory Diagnosis: Conjecturing Actions to Explain Observations Sheila A. McIlraith. Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98) 167-179 1998


Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems B. Choueiry, Sheila A. McIlraith, Y. Iwasaki, T. Loeser, T. Neller, B. Engelmore, R. Fikes.. Proceedings of the Twelfth International Workshop on Qualitative Reasoning (QR'98) 21-31 1998


A Closed-Form Solution to the Ramification Problem (Sometimes) Sheila A. McIlraith. Proceedings of the IJCAI'97 Workshop on Nonmonotonic Reasoning Action and Change 103-126 1997


A Closed-Form Solution to the Ramification Problem (Sometimes) Sheila A. McIlraith. In Proceedings the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-97) 1997


Towards a Formal Account of Diagnostic Problem Solving Sheila A. McIlraith. Department of Computer Science, University of Toronto 1997


Explanatory Diagnosis: Conjecturing Actions to Explain Observations Sheila A. McIlraith. Proceedings of the Eighth International Workshop on Principles of Diagnosis (DX'97) 69-78 1997


Explanatory Diagnosis: Conjecturing actions to explain obsevations Sheila A. McIlraith. In Proceedings of the Eighth International Workshop on Principles of Diagnosis (DX'97) 69--78 1997


Towards Model-Based Adaptive Control of Systems with Smart Matter B. Carlson, M. Fromherz, V. Gupta, T. Hogg, Sheila A. McIlraith. Working Notes of AAAI 1997 Fall Symposium on Model-Directed Autonomous Systems 9-11 1997


Representing Actions and State Constraints in Model-Based Diagnosis Sheila A. McIlraith. Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI'97) 43-49 1997


Representing Actions and State Constraints in Model-Based Diagnosis Sheila A. McIlraith. In Proceedings of the National Conference on Artificial Intelligence (AAAI-97) 43--49 1997


SD + Actions: New Representation Problems for Model-Based Diagnosis Sheila A. McIlraith. Proceedings of the Seventh International Workshop on Principles of Diagnosis 157-166 1996


Incorporating Action into Diagnostic Problem Solving (An abridged report) Sheila A. McIlraith. Working Notes of the 1995 AAAI Spring Symposium on Extending Theories of Action: Formal Theory and Practical Applications 139-144 1995


Generating Tests using Abduction Sheila A. McIlraith. Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94) 449-460 1994


Towards a Theory of Diagnosis, Testing and Repair Sheila A. McIlraith. Proceedings of the Fifth International Workshop on Principles of Diagnosis 185-192 1994


Further Contributions to Characterizing Diagnosis Sheila A. McIlraith. Annals of Mathematics and Artificial Intelligence 137-167 1994


Generating Tests using Abduction Sheila A. McIlraith. Proceedings of the Fourth International Workshop on Principles of Diagnosis (DX'93) 223-235 1993


Diagnosis as Refutation Sheila A. McIlraith. Proceedings of the Third International Workshop on Principles of Diagnosis 232-244 1992


Readings in Model-Based Diagnosis Sheila A. McIlraith, Ray Reiter, W. Hamschers, J. Kleer, L. Console. 89-95 1992


On Experiments for Hypothetical Reasoning Sheila A. McIlraith, Ray Reiter. Proceedings of the Second International Workshop on Principles of Diagnosis (DX'91) 143-152 1991


Qualitative Data Modeling: Application of a Mechanism for Interpreting Graphical Data Sheila A. McIlraith. Computational Intelligence 111-120 1989


Qualitative Data Modeling: Application of a Mechanism for Interpreting Graphical Data Sheila A. McIlraith. Proceedings of the Canadian Artificial Intelligence Conference (CSCSI'88) 1988


The Process Planner PI: an Application of AI to Manufacturing E.J.G. Chang, K. Gamble, R. Masrani, Sheila A. McIlraith. IEEE Montech '87 Conference 1987


ISIM: Towards an Integration of Artificial Intelligence and Simulation R. Masrani, Sheila A. McIlraith. Proceedings of the Second AAAI Workshop on AI and Simulation 1987