D-SCRIPT: A Computational Theory of Descriptions

Please use this identifier to cite or link to this item: http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/5810

Full metadata record

DC Field	Value	Language
dc.creator	Moore, Robert C.	-
dc.date	2004-10-01T20:37:42Z	-
dc.date	2004-10-01T20:37:42Z	-
dc.date	1973-02-01	-
dc.date.accessioned	2013-10-09T02:41:25Z	-
dc.date.available	2013-10-09T02:41:25Z	-
dc.date.issued	2013-10-09	-
dc.identifier	AIM-278	-
dc.identifier	http://hdl.handle.net/1721.1/5810	-
dc.identifier.uri	http://koha.mediu.edu.my:8181/xmlui/handle/1721	-
dc.description	This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque contexts, time contexts, knowledge about knowledge. The design of a theorem prover for this language is also considered.	-
dc.format	29 p.	-
dc.format	10849773 bytes	-
dc.format	829620 bytes	-
dc.format	application/postscript	-
dc.format	application/pdf	-
dc.language	en_US	-
dc.relation	AIM-278	-
dc.title	D-SCRIPT: A Computational Theory of Descriptions	-
Appears in Collections:	MIT Items

Files in This Item:

There are no files associated with this item.

DSpace JSPUI