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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.