On this page

• Journal Papers.
• Conference and Workshop Papers.
• Book Chapters

• Amir, E. and McIlraith, S.,``Strategies for Focusing Structure-Based Theorem Proving", Accepted for publication in Artificial Intelligence.

• Amir, E. and McIlraith, S.,``Partition-Based Logical Reasoning for First-Order and Propositional Theories", Accepted for Publication in Aritificial Intelligence. draft

• Choueiry, B., Iwasaki, Y. and McIlraith, S.,``Towards a Practical Theory of Reformulation for Reasoning about Physical Systems", Accepted Publication in Aritificial Intelligence.

• Narayanan, S. and McIlraith, S. ``Analysis and Simulation of Web Services" , Computer Networks, 42 (2003), 675-693, Elsevier Science, 2003.

• McIlraith, S. and Martin, D. ``Bringing Semantics to Web Services" , IEEE Intelligent Systems, 18(1):90--93, January/February, 2003.

• Bryson, J., Martin, D., McIlraith, S. and Stein, L., ``Toward Behavioral Intelligence in the Semantic Web, Special Issue on Web Intelligence" , IEEE Computer 35(11):48--55, November, 2002.

• McIlraith, S., Son, T.C. and Zeng, H. ``Semantic Web Services" , IEEE Intelligent Systems. Special Issue on the Semantic Web. 16(2):46--53, March/April, 2001. Copyright IEEE, 2001.

• McIlraith, S. ``An Axiomatic Solution to the Ramification Problem (Sometimes)'', Artificial Intelligence., pp. 87-121, Volume 116, Issue 1-2, January, 2000. Copyright Elsevier Publishing, 2000.

• McIlraith, S. ``Further Contributions to Characterizing Diagnosis'', Annals of Mathematics and Artificial Intelligence, Vol. 11, No. 1-4, pp. 137-167, 1994.

• McIlraith, S. ``Qualitative Data Modeling: Application of a Mechanism for Interpreting Graphical Data''. Computational Intelligence, Vol. 5, No. 2, pp. 111-120, May, 1989.

• Daniel J. Mandell and Sheila A. McIlraith. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. To appear in the Proceedings of the Second International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, 2003.
• MacCartney, B., McIlraith, S., Amir, E., Uribe, T. Practical Partition-Based Theorem Proving for Large Knowledge Bases . To appear in the Proceedings of the Nineteenth International Conference on Artificial Intelligence (IJCAI-03), pp. 89--96, August 2003.

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

• Lerner, U., Moses, B., Scott, M., McIlraith, S., and Koller, S. ``Monitoring a Complex Physical System using a Hybrid Dynamic Bayes Net'' , To appear in the Proceedings of the Eighteenth Annual Conference on Uncertainty in Artificial Intelligence (UAI-2002), Edmonton, Canada, August, 2002.

• Narayanan, S. and McIlraith, S. ``Simulation, Verification and Automated Composition of Web Services''. To appear in the Proceedings of the Eleventh International World Wide Web Conference (WWW-11), May, 2002.

• McIlraith, S. and Son, T. ``Adapting Golog for Composition of Semantic Web Services''. Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), pages 482-493, April, 2002.

• McIlraith, S. and Fadel, R. ``Planning with Complex Actions''. Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning (NMR2002), pages 356-364, April, 2002.

• DAML Services Coalition (alphabetically A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara). ``DAML-S: Web Service Description for the Semantic Web '', To appear in the Proceedings of the International Semantic Web Conference (ISWC). July 2002. .

• McIlraith, S. and Amir, E. ``Theorem Proving with Structured Theories'', Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01). pp. 624 -- 631, August, 2001. Copyright 2001 International Joint Conferences on Artificial Intelligence (www.ijcai.org).

• T.C. Son, C. Baral, and S. McIlraith. ``Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach'', Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2001), Vienna, Austria, September 17-19, 2001, pp. 226-239.

• DAML Services Coalition (alphabetically A. Ankolekar, M. Burstein, J. Hobbs, O. Lassila, D. Martin, S. McIlraith, S. Narayanan, M. Paolucci, T. Payne, K. Sycara, H. Zeng). ``DAML-S: Semantic Markup for Web Services'', Proceedings of the International Semantic Web Working Symposium (SWWS). July 30-August 1, 2001. pdf version.

• Amir, E. and McIlriath, S. ``Solving Satisfiability using Decomposition and the Most Constrained Subproblem'', Proceedings of SAT 2001: the Workshop on Theory and Applications of Satisfiability Testing. Electronic Notes in Discrete Mathematics, Volume 9, Henry Kautz and Bart Selman (Ed.), June, 2001.

• McIlraith, S. and Son, T. ``Adapting Golog for Programming the Semantic Web'', Proceedings of the Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Common Sense 2001). To appear, May 2001.

• McIlraith, S., Son, T. and Zeng, H. ``Mobilizing the Web with DAML-Enabled Web Services'', The Second International Workshop on the Semantic Web (SemWeb'2001) at WWW-10. To appear, May 2001.

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

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

• Amir, E. and McIlraith, S. ``Improving the Efficiency of Reasoning Through Structure-Based Reformulation'', Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA'2000), Volume 1864, Lecture Notes in Artificial Intelligence, Springer-Verlag, Lake LBJ, Texas July 2000, To appear, 2000.

• McIlraith, S. ``Diagnosing Hybrid Systems: A Bayesian Model Selection Approach'', Proceedings of the Eleventh International Workshop on Principles of Diagnosis (DX'00), Morelia, Mexico June 2000, pp. 140--146.

• McIlraith, S. ``Modeling and Programming Devices and Web Agents'', Proceedings of the NASA Goddard Workshop on Formal Approaches to Agent-Based Systems, Lecture Notes in Computer Science, Springer-Verlag. To appear, 2000.

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

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

• McIlraith, S., Biswas, G., Clancy, D., Gupta, V. ``Hybrid Systems Diagnosis'' , Proceedings of Hybrid Systems: Computation and Control , Lecture Notes in Computer Science, Springer-Verlag. pgs 282-295, 2000.

• McIlraith, S. ``Model-Based Programming using Golog and the Situation Calculus'', Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX'99), Loch Awe, Scotland, June 1999, pp. 184-192.

• McIlraith, S., Biswas, G., Clancy, D., Gupta, V. ``Towards Diagnosing Hybrid Systems'', Proceedings of the Tenth International Workshop on Principles of Diagnosis (DX'99), Loch Awe, Scotland, June 1999, pp. 193-203.

• McIlraith, S., Biswas, G., Clancy, D., Gupta, V. ``Towards Diagnosing Hybrid Systems (Preliminary Report)'', In 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, pp 124-131, March, 1999.

• McIlraith, S. ``Explanatory Diagnosis: Conjecturing Actions to Explain Observations'', Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 1998, pp. 167-177.

• McIlraith, S. ``Towards Exploiting Generic Procedures in Model-Based Reasoning'' (Poster), Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX'98), Cape Cod, USA, May 1998, pp. 217-224.

• Choueiry, B., McIlraith, S., Iwasaki, Y., Loeser, T., Neller, T., Engelmore, B., Fikes., R. ``Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems'', Proceedings of the Symposium on Abstraction, Reformulation and Approximation (SARA-98), Pacific Grove, USA, May 1998, pp. 25-36.

• Choueiry, B., McIlraith, S., Iwasaki, Y., Loeser, T., Neller, T., Engelmore, B., Fikes., R. ``Preliminary Thoughts on a Practical Theory of Reformulation for Reasoning about Physical Systems'', Proceedings of the Twelfth International Workshop on Qualtative Reasoning (QR'98), Cape Cod, USA, May 1998, pp. 21-31.

• McIlraith, S. ``Logic-Based Abductive Inference'', Knowledge Systems Laboratory, Technical Report Number KSL-98-19, , July 1998.

• McIlraith, S. ``Explanatory Diagnosis: Conjecturing Actions to Explain Observations'', Proceedings of the Eighth International Workshop on Principles of Diagnosis (DX'97), Mont-Saint-Michel, France, September 1997, pp. 69-78.

• McIlraith, S. ``A Closed-Form Solution to the Ramification Problem (Sometimes)'', Proceedings of the IJCAI'97 Workshop on Nonmonotonic Reasoning Action and Change, Nagoya, Japan, August 1997, pp. 103-126.

• Carlson, B., Fromherz, M., Gupta, V., Hogg, T., McIlraith, S. ``Towards Model-Based Adaptive Control of Systems with Smart Matter'' Working Notes of AAAI 1997 Fall Symposium on Model-Directed Autonomous Systems. Boston, USA, October 1997, pp. 9-11.

• McIlraith, S. ``Representing Actions and State Constraints in Model-Based Diagnosis'', Proceedings Fourteenth National Conference on Artificial Intelligence (AAAI'97), Providence, USA, July 1997, pp. 43-49.

• McIlraith, S. ``SD + Actions: New Representation Problems for Model-Based Diagnosis'', Proceedings of the Seventh International Workshop on Principles of Diagnosis. Val Morin, Canada, October 1996. pp. 157-166.

• McIlraith, S. ``Incorporating Action into Diagnostic Problem Solving (An abridged report)'', in Working Notes of the 1995 AAAI Spring Symposium on Extending Theories of Actions: Formal Theory and Practical Applications., Stanford, USA, March 1995.

• McIlraith, S. ``Towards a Theory of Diagnosis, Testing and Repair'', Proceedings of the Fifth International Workshop on Principles of Diagnosis. New Paltz, USA, October 1994, pp. 185-192.

• McIlraith, S. ``Generating Tests using Abduction'', Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR'94), Bonn, Germany, May, 1994, pp. 449-460.

• McIlraith, S. ``Generating Tests using Abduction'', Proceedings of the Fourth International Workshop on Principles of Diagnosis (DX'93), Aberystwyth, Wales, September 1993, pp. 223-235.

• McIlraith, S. ``Diagnosis as Refutation'', Proceedings of the Third International Workshop on Principles of Diagnosis. Orcas Island, USA, October 1992, pp. 232-244.

• McIlraith, S. and Reiter, R. ``On Experiments for Hypothetical Reasoning'' , Proceedings of the Second International Workshop on Principles of Diagnosis (DX'91). Milano, Italy, October 1991, pp. 143-152.

• McIlraith, S. ``Qualitative Data Modeling: Application of a Mechanism for Interpreting Graphical Data''. Proceedings of the Canadian Artificial Intelligence Conference (CSCSI'88), Edmonton, Canada, June 1988, pp. 255-261.

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

• Masrani, R. and McIlraith, S. ``ISIM: Towards an Integration of Artificial Intelligence and Simulation'' Proceedings of the Second AAAI Workshop on AI and Simulation. Seattle, USA, 1987.

• McIlraith, S. ``Explanatory Diagnosis: Conjecturing Actions to Explain Observations'', in Logical Foundations for Cognitive Agents: Papers in Honour of Ray Reiter, Levesque, H. and Pirri, F. (ed.), Springer-Verlag, pp. 155--172, 1999.

• Pitassi, T., McIlraith, S., and Brecht, T. ``Computability", in Wiley Encyclopedia of Electrical and Electronics Engineering, Wiley Publishing, Volume 3, pp. 612-618, 1999.

• Brecht, T., McIlraith, S., and Pitassi, T. ``Recursion", in Wiley Encyclopedia of Electrical and Electronics Engineering, Wiley Publishing, (In print.)

• McIlraith, S. and Reiter, R. ``On Tests for Hypothetical Reasoning'', in Readings in Model-Based Diagnosis, Hamschers, W., de Kleer, J. and Console, L. (ed.), Morgan Kaufmann, 1992, pp. 89-96.