The "Limit" Domain

Proceedings of the 4th International Conference on Artificial Intelligence Planning Systems, AIPS 1998

Volumn , Issue , 1998, Pages 199-206

  Melis, Erica ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AI PLANNING; APPLICATIONS OF AI; BLOCKS WORLDS; CONSTRAINT SOLVERS; CONTROL CONSTRAINT; CONTROL-RULES; DOMAIN KNOWLEDGE; KNOWLEDGE ENGINEERING AND REPRESENTATION; PROOF-PLANNING; RULE AND CONSTRAINT;

DOMAIN KNOWLEDGE;

EID: 0343163652     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Bartle, R., and Sherbert, D. 1982. Introdue:tion to Real Analysis. NewYork: John Wiley&Sons.
2. Benzmueller, C.; Cheikhrouhou, L.; Fe.hrer, D.: Fiedler, A.; Huang, X.; Kerber, M.; Kohlhase, M.: Konrad, K.; Meier, A.; Melis, E.; Schaarschmidt, W.: Siekmann, J.; and Sorge, V. 1997. OMEGA: T>wards a mathematical assistant.. In McCune.W.: ed.. Proceedings 14th International Confervnce on Automated Deduction (CADE-14), 252-255. Townsvillc: Springer.
3. Bledsoe, W., and Hines, L. 1980. Variable elimination and chaining in a resolution-b&sed prover for inequalities. In Proceedingso[ the Fi[t.h Con[erenceon Automated Deduction (CADE).
4. Bledsoe, W.; Bo}’er, R.; and Henneman, W. 1972. Computerproofs of limit theorems. Artificial lnteUigence3(1):27-40.
5. Bledsoe, W. 1990. Challenge problems in elementary,analysis. Journal of AutomatedReasoning 6:341- 359.
6. Bundy, A.: van Harmelen, F:; Hesketh, J.; and Smaill. A. 1991. Experiments with proof plans for induction. Journal of Automated Reasoning 7:303 324.
7. Bundy, A. 1988. The use of explicit plans to guide inductive proofs. In Lusk, E., and Overbeek, R, eds.. Proc. 9th International Conference on Automated Deduction (CADE-9), volume 310 of Lectm Notes in ComputerScience, 111-120. Argonrm: Springer.
8. Gordon, M.; Milner, R.; and Wadsworth. C. 1979. Edinburgh LCF: A Mechanized Logic of Computation. Lecture Notes in Computer Sciencc 78. Berlin: Springer.
9. Hentenryck, P. V. 1989. Constraint Saris]action in Logic Programming. Cambridge, MA, London: MIT Press.
10. Jaffar, J.; Michaylow, S.; Stuckey, P.; and Yap, R. 1992. The CLP(R) language and system. ACMTransactions on ProgrammingLanguages 14(3):339-395.
11. Kambhampati, S.; Knoblock, C.; and Yang, Q. 1995. Planning as refinement search: A unified framework for evaluating design tradeoffs in partial-order planning. Artificial Intelligence, special issue on Planning and Scheduling 76:167-238.
12. Leron, U. 1983. Structuring mathematical proofs. The American Mathematical Monthly 90:174- 185.
13. . W. 1990. Otter 2.0 users guide. Techni¢:al Report ANL-90/9, Argonne National Laboratory, Mathsand CSDivision.. Argonne, Illinois.
14. Melis, E., and Bundy.. A. 1996. Planning-and proof planning. In Biundo, S., ed., ECAI-96Wr.kshop on Cross-Fertilization in Planning, 37-40.
15. Melis, E. 1996. Island planning and refi.aement. Seki Report SR-96-10, Universittit des Snraldes, FB Informatik. available from http://www.ags.unisb.de/publications/deduktion/seki/SR, 96/index.html.
16. Melis, E. 1997. Progress in proof planning: Planning limit theorems automatically. Technical Report SR-97-08, Fachbcrcich hfformatik, Uni.versitt des Saarlandes. available from http://www.ags.nnisb.de / publications/ded ukt ion/ seki / SR-97/index.html.
17. Minton, S.; Knoblock. C.: Koukka.D.; Gil, Y.; Joseph. R.; and Carbonell, J. 1989. PRODIGY.0: The Manualand Tutorial. School of Comput’e..r Science. Carnegie Mellon University: Pittsburgh. CMU-CS-89-146.
18. Minton. S. 1989. Explanation-based learnitg: A prob-h:m solving perspective. Artificial Intelicee 40:63-118.
19. Schoenfeld, A. 1985. MathemicalProblem.. Solving. NewYork: Academic Press.
20. Sehn, A. 1995. DECLAME eiiae deldaative Sprache zur Reprisentation yon Met hodea. Master’s hesis, Universitat des Saarlaldes. pu’llislmd as SEKtWorking Paper SWP-95-02.
21. Tate, A. 1977. Generating project networks. In Proceedings of the Fifth/nterrmt.ional Joint Confere.neeon Artificial Intelligence. 888 89. MorgalKanfmann.
22. Weld, D. 1994. An introduction to least commitment planning. AI magazine 15(1):27-61.