Home / Authors / Sheila McIlraith

Author: Sheila McIlraith [RDF, Bibtex, BibBase] has 147 publications

Specifying and Generating Preferred Plans Meghyn Bienvenu, Christian Fritz, Sheila McIlraith. Artificial Intelligence 2010

Fast d-DNNF Compilation with sharpSAT Christian Muise, Sheila McIlraith, J. Christopher Beck, Sheila McIlraith. Workshop on Abstraction, Reformulation, and Approximation (AAAI-10) 2010

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

VARSAT: Integrating Novel Probabilistic Inference Techniques with DPLL Search Eric I. Hsu, Sheila McIlraith. Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing (SAT09) 377-390 2009

HTN Planning with Preferences Shirin Sohrabi, Jorge A. Baier, Sheila McIlraith. Twenty First International Joint Conference on Artificial Intelligence (IJCAI) 2009

HTN Planning with Preferences Shirin Sohrabi, Jorge Baier, Sheila McIlraith. Twenty First International Joint Conference on Artificial Intelligence (IJCAI) 1790--1797 2009

On the Use of Planning Technology for Verification Aws Albarghouthi, Jorge Baier, Sheila McIlraith. Proceedings of the ICAPS09 Workshop on Heuristics for Domain Independent Planning 2009

Viewing Landmarks as Temporally Extended Goals Letao Wang, Jorge Baier, Sheila McIlraith. Proceedings of the ICAPS09 Workshop on Heuristics for Domain Independent Planning 2009

Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise, Sheila McIlraith, Jorge A. Baier, Michael Reimer. 19th International Conference on Automated Planning and Scheduling 2009

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

Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise, Sheila McIlraith, Jorge A. Baier, Michael Reimer. 19th International Conference on Automated Planning and Scheduling 2009

A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge A. Baier, Fahiem Bacchus, Sheila McIlraith. Artificial Intelligence 593-618 2009

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

Exploiting N-gram Analysis to Predict Operator Sequences Christian Muise, Sheila McIlraith, Jorge A. Baier, Michael Reimer. Workshop on Planning and Learning (ICAPS 2009) 2009

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

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

Exploiting N-gram Analysis to Predict Operator Sequences Christian J. Muise, Sheila McIlraith, Jorge Baier, Michael Reimer. 19th International Conference on Automated Planning and Scheduling (ICAPS09) 2009

Monitoring and Diagnosing Software Requirements Y. Wang, Sheila McIlraith, Y. Yu, John Mylopoulos. Journal of Automated Software Engineering 2009

A Heuristic Search Approach to Planning with Temporally Extended Preferences Jorge Baier, Fahiem Bacchus, Sheila McIlraith. Artificial Intelligence 593-618 2009

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview Eric I. Hsu, Christian Muise, J. Christopher Beck, Sheila McIlraith. Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings 613-617 2008

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

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

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

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

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

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

A Short Overview of FLOWS: A First-Order Logic Ontology of Web Services M. Gruninger, R. Hull, Sheila McIlraith. IEEE Data Engineering Bulletin. 3-7 2008

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

HTN Planning with Quantitative Preferences via Heuristic Search Shirin Sohrabi, Jorge Baier, Sheila McIlraith. Oversubscribed Planning and and Scheduling Workshop (at ICAPS) 2008

On Planning with Preferences in HTN Shirin Sohrabi, Sheila McIlraith. Twelfth International Workshop on Non-Monotonic Reasoning (NMR08) 2008

Planning with Preferences Jorge Baier, Sheila McIlraith. AI Magazine 25-36 2008

On Planning with Preferences in HTN Shirin Sohrabi, Sheila McIlraith. Fourth Multidisciplinary Workshop on Advances in Preference Handling (MPref08) (at AAAI-08) 103--109 2008

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

Planning with Preferences Jorge A. Baier, Sheila McIlraith. AI Magazine 25-36 2008

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

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

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

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

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

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

Monitoring Plan Optimality During Execution Christian Fritz, Sheila McIlraith. Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS) 144--151 2007

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

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

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

Monitoring Plan Optimality During Execution Christian Fritz, Sheila McIlraith. Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS) 144--151 2007

An Automated Approach for Monitoring and Diagnosing Requirements Y. Wang, Sheila McIlraith, Y. Yu, John Mylopoulos. Proceedings of the 22nd Conference on Automated Software Engineering (ASE'07) 2007

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

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

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

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

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

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

Web Service Composition via Generic Procedures and Customizing User Preferences Shirin Sohrabi, Nataliya Prokoshyna, Sheila McIlraith. Fifth International Semantic Web Conference (ISWC2006) 597-611 2006

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

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

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

An Ordered Theory Resolution Calculus for Hybrid Reasoning in First-Order Extensions of Description Logic S. Sanner, Sheila McIlraith. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR06) 100-111 2006

Experimental Results on the Satisfiable Core in Random 3SAT H. Zeng, Sheila McIlraith. Proceedings of the Ninth International Symposium on Artificial Intelligence and Mathematics (AIMath06) 2006

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

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

Decision-Theoretic GOLOG with Qualitative Preferences Christian Fritz, Sheila 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 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 McIlraith. Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR) 153-163 2006

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

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

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

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

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

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

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

Compiling Qualitative Preferences into Decision-Theoretic Golog Programs: Extended Version with Proofs Christian Fritz, Sheila McIlraith. 2005

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

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

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

Compiling Qualitative Preferences into Decision-Theoretic Golog Programs Christian Fritz, Sheila McIlraith. Proceedings of The 6th Workshop on Nonmonotonic Reasoning, Action, and Change (at IJCAI05) 2005

Mechanism Design for Preference Aggregation over Coalitions (short paper) Eric I. Hsu, Sheila McIlraith. Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP05) 852 2005

Bringing Semantics to Web Services: The OWL-S Approach D. Martin, M. Paolucci, Sheila 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 McIlraith, D. Martin. IEEE Intelligent Systems 90-93 2003

A Bottom-Up Approach to Automating Web Service Discovery, Customization, and Semantic Translation D.J. Mandell, Sheila 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 McIlraith, E. Amir, T. Uribe. Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03) 89-98 2003

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

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

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

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

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

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

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

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

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

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

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

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

Theorem Proving with Structured Theories (Preliminary Report) E. Amir, Sheila 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

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report) E. Amir, Sheila 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

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

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

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

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

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

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

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

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

Hybrid Systems Diagnosis Sheila 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

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

Towards Diagnosing Hybrid Systems Sheila 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

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

Logical Foundations for Cognitive Agents: Papers in Honour of Ray Reiter Sheila McIlraith, H. Levesque, F. Pirri. 155-172 1999

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

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

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

Logic-Based Abductive Inference Sheila McIlraith. 1998

Towards Exploiting Generic Procedures in Model-Based Reasoning [Poster] Sheila 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 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

Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems B. Choueiry, Sheila 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

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

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

Explanatory Diagnosis: Conjecturing Actions to Explain Observations Sheila McIlraith. 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 McIlraith. Working Notes of AAAI 1997 Fall Symposium on Model-Directed Autonomous Systems 9-11 1997

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

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

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

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

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

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

Readings in Model-Based Diagnosis Sheila McIlraith, R. Reiter, , L. Console. 89-95 1992

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

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

Author: Sheila McIlraith [RDF, Bibtex, BibBase] has 147 publications

You may be referring to (disambiguation):

See also: