{"type":"ScholarlyArticle","title":"D-SCRlPT: A Computational Theory of Descriptions","authors":[{"name":"Robert C. Moore","slug":"robert-c-moore","given":"Robert C.","family":"Moore","affiliation":""}],"abstract":"Th is paper descri b es D-S CR IPT, a lan g ua ge for representin g k nowled ~ e in artificial intelli g ence programs. D-SC RIPT contains a po we rful for mal ism for de scripti o ns, which per mits the representation of state ments that are pro b lematical for other syste ms. Particular attention is paid to proble ms of opaque contexts, time con~xts, and k nowle dg e a bout kno wle dg e. The desi gn of a de ductive syste m for this langua ge is also consid e re d.","doi":null,"url":"https://ijcai.org/proceedings/1973/29","pdf":"https://ijcai.org/proceedings/1973/0029.pdf","markdown":"https://ijcai.org/proceedings/1973/29.md","bibtex":"https://ijcai.org/proceedings/1973/bibtex/29","volume":{"slug":"1973","title":"Proceedings of the Third International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1973","url":"https://ijcai.org/proceedings/1973/","year":1973,"location":"Stanford, California, USA","dates":"20-23 August 1973","editors":"Nils J. Nilsson","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Formalisms for A.I.","track":"Formalisms for A.I.","number":29,"pages":{"first":223,"last":228},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}