Show simple item record

dc.creator Steels, Luc
dc.date 2004-10-04T14:50:50Z
dc.date 2004-10-04T14:50:50Z
dc.date 1979-08-01
dc.date.accessioned 2013-10-09T02:44:51Z
dc.date.available 2013-10-09T02:44:51Z
dc.date.issued 2013-10-09
dc.identifier AIM-543
dc.identifier http://hdl.handle.net/1721.1/6321
dc.identifier.uri http://koha.mediu.edu.my:8181/xmlui/handle/1721
dc.description A 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.
dc.format 7875492 bytes
dc.format 5786836 bytes
dc.format application/postscript
dc.format application/pdf
dc.language en_US
dc.relation AIM-543
dc.title Procedural Attachment


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account