Here is a partial list of potential papers, compiled from suggestions from several people including Alon Levy, Pandu Nayak, Rob Holte and Mike Genesereth, Daphne Koller and Silvia Misch.

• Abstraction in Automated Reasoning
  • Giunchiglia and Walsh A theory of Abstraction Artif. Intell. 57(2-3):323-389.
  • Pandu Nayak and Alon Levy, A Semantic Theory of Abstraction IJCAI-95, pp 196-192.
  • Plaisted Theorem Proving with Abstraction Artificial Intelligence 16:47-108.
• Abstraction in Search
  • Armand Prieditis, Machine Discovery of Effective Admissible Heuristics . Machine Learning, 12, 117-141 (1993).
  • Holte Speeding Up Problem-Solving by Abstraction: A Graph-Oriented Approach, to appear in the special issue of Artificial Intelligence (spring 1996) on Empirical AI edited by Paul Cohen and Bruce Porter.
  • Hobbs, J., "Granualarity," Proceedings IJCAI-85, Los Angeles, CA, 1985, pp. 432-435
• Abstraction in Classical Planning
  • Korf Planning as Search: A Quantitative Approach AIJ, vol. 33(1985), pp. 65-88.
  • Knoblock Automatically Generating Abstractions for Problem Solving Artificial Intelligence, vol. 68920, pp. 243-302.
  • Christensen A hierarchical planner that generates its own Abstraction Hierarchies AAAI-90, 1004-1009.
  • Bacchus and Yang Downward refinement and the efficiency of hierarchical problem solving Artificial Intelligence 71 (1994) 43-100.
• Abstraction in Decision Theoretic Planning and Markov Decision Processes:
  • Craig Boutillier and Rchard Dearden, "Using Abstraction for Decision-Theoretic Planning with Time Constraints" AAAI94
  • Peter Haddawy & Meliani Suwandi "Decision-Theoretic Refinement Planning using Inheritance Abstraction", AIPS94.
  • Peter Haddawy & AnHai Doan "Abstracting Probabilistic Actions", UAI94
  • Sutton , R.S. (1995) "TD Models: Modeling the World at a Mixture of Time Scales," Proceedings of the Twelfth International Conference on Machine Learning, Morgan Kaufmann. (99K)
  • Horovitz and Klein, "Utility-based Abstraction and Categorization", UAI93.
  • Gregory Provan
• Abstraction in Probabilistic Networks:
  • Sampath Srinivas, "Proabailistic approach to hierarchical model-based diagnosis", KSL-94-14.
  • Srinivas & Horvitz, "Exploiting System Hierarchy to Compute Repair Plans in Probabilistic Model-based Diagnosis", UAI95
• Domain Abstractions
  • Imielinski Domain abstraction and limited reasoning IJCAI-87, 997-1003.
• Diagnosis
  • Randy Davis
  • Mike Genesereth
  • Peter Struss
• Qualitative Reasoning
  • Ben Kuipers. "Abstraction by time-scale in qualitative simulation", AAAI-87
  • Peter Struss, "A theory of abstraction and simplification for relation models" Workshop on approximation and abstraction, AAAI-92
  • Brian Williams, "Critical abstraction: generating simplest models for causal explanation" QR-91
  • Falkenhainer&Forbus AIJ paper on Compositional modeling
  • Nayak on Causal Approximations
  • Dan Weld on fitting approximations
• CSPs
  • Ellman's IJCAI-93 article on abstractions in constraint satisfaction
  • Abstraction by Interchangeability for Resource Allocation. Berthe Y. Choueiry, Boi Faltings and Rainer Weigel . In International Joint Conference on Artificial Intelligence pages 1694--1701, IJCAI'1995, Montreal Canada. 1995

  • Using Abstractions for Resource Allocation. Berthe Y. Choueiry and Boi Faltings . In Proceedings of IEEE 1995 International Conference on Robotics and Automation, ICRA'95, pages 1027-1033, Nagoya, Japan. 1995

  • Abstraction Methods for Resource Management in Distributed Information Networks. Berthe Y. Choueiry and Dean Allemang. Workshop on Artificial Intelligence in Distributed Information Networks, IJCAI'95. Montreal, Canada

  • Abstraction Methods for Resource Allocation (+ errata). Berthe Yazid Choueiry. PhD thesis (No. 1292) . Department of Computer Science. EPFL. 1994.

  • Abstraction Methods for Resource Allocation. Berthe Y. Choueiry, Boi Faltings, and Guevara Noubir. The 1994 Workshop on Theory Reformulation and Abstraction, pp. 2-72/2-90, Jackson Hole, Wyoming. 1994. Long version as Technical Report TR-94/47 from the Department of CS, EPFL, 1994

  • A Decomposition Heuristic for Resource Allocation Berthe Y. Choueiry and Boi Faltings 11th European Conference on Artificial Intelligence, ECAI'94, pp 585-589. Amesterdan, The Netherlands. 1994

• Temporal Abstraction
  • Interactive Resource Allocation by Problem Decomposition and Temporal Abstractions. Berthe Y. Choueiry and Boi Faltings. Second European Workshop on Planning. Vadstena, Sweden. December 8-10, 1993. In Current Trends in AI Planning. In series Frontiers in AI and Applications. Editors Christer Backstrom and Erik Sandewall. IOS Press. Amesterdam, pages 87-104. 1994. Long version Technical Report TR-94/43 from the Department of CS, EPFL, 1994

  • Temporal Abstractions and a Partitioning Heuristic for Interactive Resource Allocation. Berthe Y. Choueiry and Boi Faltings. Workshop on Knowledge-Based Production Planning Scheduling and Control W20, IJCAI-93, Chambéry, France. August 29, 1993

  • Interactive Resource Allocation Using Temporal Abstractions and Value-Assignment Delay Heuristics: A CSP Perspective (with Errata). Berthe Y. Choueiry and Boi Faltings. Technical Report TR-92/17 from the Department of CS, EPFL, 1992.

  • Blum, R. L.: Discovery and Representation of Causal Relationships from Large Time-Oriented Clinical Databases: The RX Project. In Lindberg, D. A. & Reichartz, P. L. (eds.), Lecture Notes in Medical Informatics, Vol. 19, (New York: Springer, 1982.
  • Downs, S. M., Walker, M. G. & Blum, R. L.: Automated Summarization of On-line Medical Records, In Salamon, R., Blum, B., et al. (eds.), Proceedings of the Fifth Conference on Medical Informatics (MEDINFO-86), North-Holland, Amsterdam, pp. 800-4, 1986.
  • Fagan, L. M., Shortliffe, E. H. & Buchanan, B. G.: Computer-Based Medical Decision Making: from MYCIN to VM. Automedica, 3,pp. 97-106, 1980.
  • Haimowitz, I. J. & Kohane, I. S.: Automated Trend Detection with Alternative Temporal Hypotheses, Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Morgan Kaufmann, San Mateo, pp. 146-51, 1993.
  • Haimowitz, I. J., Le, P. P. & Kohane, I. S.: Clinical Monitoring Using Regression-Based Trend Templates. Artificial Intelligence in Medicine, 7(6), pp. 473-96, 1995.
  • Kahn, M. G.: Model-Based Interpretation of Time-Ordered Medical Data. PhD Thesis, University of California, San Francisco (UCSF), 1989.
  • Kahn, M. G.: Combining Physiologic Models and Symbolic Methods to Interpret Time-Varing Patient Data. Methods of Information in Medicine, 30(3), pp. 167-78, 1991.
  • Kohane, I. S.: Medical Reasoning in Medical Expert Systems, In Salamon, R. & al., e. (eds.), Proceedings of the Fifth Conference on Medical Informatics (MEDINFO-86), North-Holland, Amsterdam, pp. 170-4, 1986.
  • Larizza, C., Moglia, A. & Stefanelli, M.: M-HTP: A System for Monitoring Heart Transplant Patients. Artificial Intelligence in Medicine, 4(2), pp. 111-26, 1992.
  • Miksch, S., Horn, W., Popow, C. & Paky, F.: Context-Sensitive and Expectation-Guided Temporal Abstraction of High-Frequency Data, =D6sterreichisches Forschungsinstitut f=FCr Artificial Intelligence, TR-96-0= 2, 1996.
  • Russ, T. A.: Using Hindsight in Medical Decision Making, In Kingsland, L. C. (ed.) Proceedings of the Thirteenth Annual Symposium on Computer Applications in Medical Care (SCAMC-89), IEEE Computer Society Press, Washington D.C., pp. 38-44, 1989.
  • Russ, T. A.: Use of Data Abstraction Methods to Simplify Monitoring. Artificial Intelligence in Medicine, 7(6), pp. 497-, 1995.
  • Shahar, Y.: A Knowledge-Based Method for Temporal Abstraction od Clinical Data. PhD Thesis, Stanford University, Department of Computer Science, 1994.
  • Shahar: A Framework for Knowledge-Based Temporal Abstraction. Knowledge Systems Laboratory, Medical Computer Science, KSL-95-29, March 1995.
  • Shahar, Y. & Musen, M. A.: Knowledge-Based Temporal Abstraction in Clinical Domains. Artificial Intelligence in Medicine, Special Issue Temporal Reasoning in Medicine, forthcoming,1996.