Show simple item record

dc.contributor.authorSteels, Lucen_US
dc.date.accessioned2004-10-04T14:50:50Z
dc.date.available2004-10-04T14:50:50Z
dc.date.issued1979-08-01en_US
dc.identifier.otherAIM-543en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6321
dc.description.abstractA frame-based reasoning system is extended to deal with procedural attachment. Arguments are given why procedural attachment is needed in a symbolic reasoner. The notion of an infinitary concept is introduced. Conventions for representing procedures and a control structure regulating their execution is discussed. Examples from electrical engineering and music illustrate arithmetic constraints and constraints over properties of strings and sequences.en_US
dc.format.extent7875492 bytes
dc.format.extent5786836 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.relation.ispartofseriesAIM-543en_US
dc.titleProcedural Attachmenten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record