The following are sorted by reverse chronological order of publication.
15 publications found:
Jarvis, P., Lunt, T., and Myers, K. Identifying Terrorist Activity with AI Plan Recognition Technology, in The Sixteenth Innovative Applications of Artificial Intelligence Conference (IAAI 04), AAAI Press, 2004. [PDF, Details]
Waldinger, R. and Appelt, D. E. and Fry, J. and Israel, D. J. and Jarvis, P. and Martin, D. and Riehemann, S. and Stickel, M. E. and Tyson, M. and Hobbs, J. and Dungan, J. L. Deductive Question Answering from Multiple Resourcesin New Directions in Question Answering, AAAI, 2004. [PDF, Details]
Waldinger, R. , Jarvis, P., and Dungan, J. Using Deduction to Choreograph Multiple Data Sources, in Semantic Web Technologies for Searching and Retrieving, Sanibel Island, Florida, Oct 2003. [PDF, Details]
Waldinger, R., Jarvis, P., and Dungan, J. Program Synthesis for Multi-Agent Question Answeringin International Symposium on Verification (Theory and Practice); Festschrift celebrating Zohar Manna’s 64th Birthday, Springer Verlag, Lecture Notes in Computer Science, July 2003. [PDF, Details]
Myers, K. L. and Jarvis, P. A. and Tyson, W. M. and Wolverton, M. J. Mixed-initiative Planning in PASSAT, in Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS) -- Demonstration Track, 2003. [PDF, Details]
Myers, K. L. and Jarvis, P. A. and Tyson, W. M. and Wolverton, M. J. A Mixed-initiative Framework for Robust Plan Sketching, in Thirteenth International Conference on Automated Planning and Scheduling (ICAPS-03), 2003. [PDF, Details]
Waldinger, R., Jarvis, P., and Dungan, J. Pointing to Places in a Deductive Geospatial Theory, in Workshop on Analysis of Geographical References; Human Language Technology Conference , Edmonton, Canada, pp. 10–17, May–Jun 2003. [PDF, Details]
Myers, K. L. and Tyson, W. M. and Wolverton, M. J. and Jarvis, P. A. and Lee, T. J. and desJardins, M. . PASSAT: A User-centric Planning Framework, in Proceedings of the Third International NASA Workshop on Planning and Scheduling for Space, October 2002. [PDF, Details]
Miguel, I., and Shen, Q., and Jarvis, P. Flexible Planning by Leximin Fuzzy Constraint Satisfaction, in Proceedings of the 4th International Workshop on Soft Constraints, pp. 43-55, 2002. [Details]
Myers, K. L. and Jarvis, P. and Lee, T. Active Coordination of Distributed Human Planners. Proceedings of the Sixth International Conference on Artificial Intelligence Planning and Scheduling Systems, 2002. [PDF, Details]
Waldinger, R., Reddy, M., Culy, C., Hobbs, J., and Dungan, J. Deductive Coordination of Multiple Geospatial Knowledge Sources, in American Geophysical Union, Fall Meeting, San Francisco, CA, December 4-10 2002. [PDF, Details]
Miguel, I. and Shen, Q. and Jarvis, P. Efficient Flexible Planning via Dynamic Flexible Constraint Satisfaction. Engineering Applications of Artificial Intelligence, vol. 14, pp. 301-327, 2001. [Details]
Myers, K. and Jarvis, P., and Lee, T. CODA: Coordinating Human Planners. Proceedings of the 6th European Conference on Planning (ECP-01), 2001. [PDF, Details]
Myers, K. L. and Smith, S. F. and Hildum, D. W. and Jarvis, P. A. and de Lacaze, R. Integrating Planning and Scheduling through Intensity Adaptation, in Proceedings of the IJCAI-01 Workshop on Planning with Resources, 2001. [PDF, Details]
Myers, L. and Smith, S. and Hildum, D. and Jarvis, P. and de Lacaze, R. Integrating Planning and Scheduling through Adaptation of Resource Intensity Estimates. Proceedings of the 6th European Conference on Planning (ECP-01), 2001. [PDF, Details]
