Skip to main content
SpringerLink
Log in

Topics in planning

  • Conference paper
  • First Online:
Advanced Topics in Artificial Intelligence (ACAI 1987)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 345))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Allen JF, 1983 Maintaining knowledge about temporal intervals CACM 26:11

    Google Scholar 

  • Allen JF, Koomen JA, 1983 Planning using a temporal world model IJCAI 8

    Google Scholar 

  • Allen JF, Hayes Pat: 1985 A common-sense theory of time IJCAI-85 528:531

    Google Scholar 

  • Bartle R, Forthcoming Cross-level planning PhD thesis, Dept Computer Science, Essex University

    Google Scholar 

  • Brown, Frank M (ed), 1987 The fram problem in artificial intelligence Morgan Kaufman

    Google Scholar 

  • Chapman D, 1987 Planning for conjunctive goals Artificial Intelligence 32 (1987) 333:377

    Google Scholar 

  • Dean, Thomas; McDermott, Drew: 1987 Temporal data base management Artificial Intelligence 32 (1987) 1:55

    Google Scholar 

  • Dershowitz, N, 1985 Synthetic programming Artificial Intelligence 25(3) 323–373

    Google Scholar 

  • Fox, Mark S: 1983 Constraint-directed search: a case study of job-shop scheduling PhD thesis, Carnegie-Mellon University University Microfilms 84-06442

    Google Scholar 

  • Fox MS, Smith SF, 1984 ISIS — a knowledge-based system for factory scheduling Expert Systems vol 1 # 1 Learned Information Inc

    Google Scholar 

  • Friedland PE, Iwasaki Y, 1985 The concept and implementation of skeletal plans Journal of automated reasoning vol 1 # 2

    Google Scholar 

  • Georgeff, Michael; Lansky, Amy (eds):1987 Reasoning about actions and plans Proceeding of 1986 conference Morgan Kauffman

    Google Scholar 

  • Green CC, 1969 Applications of theorem proving to problem solving IJCAI-69 reprinted in Readings in AI, eds Nilsson N, Webber BN Tioga

    Google Scholar 

  • Hallam J, Mellish CS (eds): 1987 Advances in artificial intelligence John Wiley

    Google Scholar 

  • Hoare, CAR: 1969 An axiomatic basis for computer programming CACM 12(10)

    Google Scholar 

  • Kautz, Henry A: 1982 A first-order dynamic logic for programming PhD thesis, University of Toronto Computer systems research group technical report CSRG-144

    Google Scholar 

  • McCarthy J, Hayes Pat J, 1969 Some philosophical problems from the standpoint of AI in Machine Intelligence 4, eds Meltzer B, Michie D, Edinburgh University Press

    Google Scholar 

  • Manna, Zohar; Waldinger, Richard: 1986 A theory of plans in (Georgeff & Lansky 86)

    Google Scholar 

  • Nilsson Nils, 1973 Hieracrchical robot planning and execution system SRI AI center technical note 76

    Google Scholar 

  • Rosenschein, Stanley J: 1981 Plan synthesis: a logical perspective IJCAI 1981 331:337

    Google Scholar 

  • Sacerdoti ED, 1977 A structure for plans and behaviour American Elsevier

    Google Scholar 

  • Schank RC, Abelson RP, 1977 Scripts, plans, goals and understanding Lawrence Erlbaum

    Google Scholar 

  • Stefik MJ, 1981a Planning with constraints — MOLGEN: Part 1 Artificial Intelligence 16(2) 111–139

    Google Scholar 

  • Stefik MJ, 1981b Planning and meta-planning — MOLGEN: Part 2 Artificial Intelligence 16(2) 141–169

    Google Scholar 

  • Steel SWD, 1987 On trying to do dependency-directed backtracking... in (Hallam & Mellish 87)

    Google Scholar 

  • Tate A, 1976 Project planning using a hierarchical non-linear planner Tech report 25, Dept Artificial Intelligence, Edinburgh Univ

    Google Scholar 

  • Tsang EPK: 1987 Planning in a temporal frame; a partial world description approach PhD thesis, Dept Computer Science, Essex University

    Google Scholar 

  • Van Benthem, JFAK: 1983 The logic of time D. Reidel publishing co.

    Google Scholar 

  • Vere SA, 1983 Planning in time: windows and durations for activities and goals IEEE PAMI vol 5

    Google Scholar 

  • Wilensky R, 1983 Planning and understanding Addison Wesley

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept Computer Science, University of Essex, C04 3SQ, Colchester, United Kingdom

    Sam Steel

Authors
  1. Sam Steel
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rolf T. Nossum

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Steel, S. (1988). Topics in planning. In: Nossum, R.T. (eds) Advanced Topics in Artificial Intelligence. ACAI 1987. Lecture Notes in Computer Science, vol 345. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50676-4_13

Download citation

  • DOI: https://doi.org/10.1007/3-540-50676-4_13

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50676-8

  • Online ISBN: 978-3-540-46068-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation