McIlraith, S.

KSL-06-01

Zeng, H.; McIlraith, S. Experimental Results on the Satisfiable Core in Random 3SAT. Ninth International Symposium on Artificial Intelligence and Mathematics, January 4-6, 2006, Fort Lauderdale, Florida 2006.

KSL-06-21

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

KSL-05-10

Zeng, H.; McIlraith, S. The Role of Redundant Clauses in Solving Satisfiability Problems (extended abstract), CP-2005 (the Eleventh International Conference on Principles and Practice of Constraint Programming), October 1-5, 2005, Barcelona, Spain. 2005.

KSL-03-11

Mandell, D. & 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, 2003.

KSL-03-12

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

KSL-03-13

Mandell, D. J. & McIlraith, S. A. Adapting BPEL4WS for the Semantic Web: The Bottom-Up Approach to Web Service Interoperation. The Proceedings of the Second International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, 2003, 2003.

KSL-02-08

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

KSL-02-14

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

KSL-02-15

McIlraith, S. & Son, T. Adapting Golog for Composition of Semantic Web Services. Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR2002), April, 2002, 2002.

KSL-02-16

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

KSL-01-04

McIlraith, S. A. & Amir, E. Theorem Proving with Structed Theories (Full Report). Knowledge Systems Laboratory, April 6, 2001.

KSL-01-13

Son, T.; Baral, C.; & 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., March, 2001, 2001.

KSL-01-14

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

KSL-01-15

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

KSL-01-16

Amir, E. & McIlraith, 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, 2001.

KSL-01-17

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

KSL-01-18

Son, T. C.; Baral, C.; & McIlraith, S. 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, 2001.

KSL-00-02

Amir, E. & McIlraith, S. A. Partition-Based Logical Reasoning. Knowledge Systems Laboratory, February, 2000.

KSL-99-01

McIlraith, S. A.; Biswas, G.; Clancy, D.; & Gupta, V. Towards Diagnosing Hybrid Systems. Knowledge Systems Laboratory, February, 1999.

KSL-98-18

Choueiry, B. Y.; McIlraith, S. A.; Iwasaki, Y.; Loeser, T.; Neller, T.; Engelmore, R.; & Fikes, R. Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems. Knowledge Systems Laboratory, June, 1998.

KSL-98-19

McIlraith, S. A. Logic-Based Abductive Inference. Knowledge Systems Laboratory, July, 1998.

KSL-98-20

McIlraith, S. A. Towards Exploiting Generic Procedures in Model-Based Computing. Knowledge Systems Laboratory, July, 1998.

KSL-98-21

McIlraith, S. A. Explanatory Diagnosis: Conjecturing actions to explain observations. Knowledge Systems Laboratory, July, 1998.

KSL-98-22

McIlraith, S.; Biswas, G.; Fromherz, M.; Howe, J.; Fikes, R.; Bobrow, D.; Cutkosky, M.; Engelmore, R.; & Neller, T. Model-Enabled Control of Hybrid Systems. Knowledge Systems Laboratory, July, 1998.