AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge.

@article{DBLP:journals/tkde/LiATT94,
  author    = {Jianzhong Li and
               James S. K. Ang and
               Xuejun Tong and
               Michel Tueni},
  title     = {AMS: A Declarative Formalism for Hierarchical Representation
               of Procedural Knowledge},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {4},
  year      = {1994},
  pages     = {639-643},
  ee        = {db/journals/tkde/LiATT94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1994 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

James F. Allen, C. Raymond Perrault: Analyzing Intention in Utterances. Artif. Intell. 15(3): 143-178(1980) BibTeX

[3]

Richard Alterman: An Adaptive Planner. AAAI 1986: 65-69 BibTeX

[4]

Richard Alterman: Adaptive Planning. Cognitive Science 12(3): 393-421(1988) BibTeX

[5]

John S. Anderson, Arthur M. Farley: Plan Abstraction Based on Operator Generalization. AAAI 1988: 100-104 BibTeX

[6]

...

[7]

...

[8]

...

[9]

Jérôme Chailloux, Matthieu Devin, Jean-Marie Hullot: LE LISP, a Portable and Efficient LISP System. LISP and Functional Programming 1984: 113-122 BibTeX

[10]

Richard Fikes, Nils J. Nilsson: STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving. Artif. Intell. 2(3/4): 189-208(1971) BibTeX

[11]

Peter Friedland, Yumi Iwasaki: The Concept and Implementation of Skeletal Plans. J. Autom. Reasoning 1(2): 161-208(1985) BibTeX

[12]

Michael P. Georgeff, Umberto Bonollo: Procedural Expert Systems. IJCAI 1983: 151-157 BibTeX

[13]

Michael P. Georgeff, Amy L. Lansky, Pierre Bessière: A Procedural Logic. IJCAI 1985: 516-523 BibTeX

[14]

Henry A. Kautz, James F. Allen: Generalized Plan Recognition. AAAI 1986: 32-37 BibTeX

[15]

...

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...

[21]

Diane J. Litman, James F. Allen: A Plan Recognition Model for Subdialogues in Conversations. Cognitive Science 11(2): 163-200(1987) BibTeX

[22]

James L. Peterson: Petri Nets. ACM Comput. Surv. 9(3): 223-252(1977) BibTeX

[23]

...

[24]

...

[25]

Earl D. Sacerdoti: Planning in a Hierarchy of Abstraction Spaces. Artif. Intell. 5(2): 115-135(1974) BibTeX

[26]

...

[27]

...

[28]

...

[29]

Mark Stefik: Planning with Constraints (MOLGEN: Part 1). Artif. Intell. 16(2): 111-140(1981) BibTeX

[30]

Mark Stefik: Planning and Meta-Planning (MOLGEN: Part 2). Artif. Intell. 16(2): 141-170(1981) BibTeX

[31]

...

[32]

Josh D. Tenenberg: Planning with Abstraction. AAAI 1986: 76-80 BibTeX

[33]

David E. Wilkins: Domain-Independent Planning: Representation and Plan Generation. Artif. Intell. 22(3): 269-301(1984) BibTeX

[34]

David E. Wilkins: Hierarchical Planning: Definition and Implementation. ECAI 1986: 659-671 BibTeX

[35]

...