Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-16
|
Content
| Files: | Description | File size | Format | |
| Fulltext Original |
205K | PDF (requires Acrobat Reader) | ||
| Fulltext 1 st Revised |
214K | PDF (requires Acrobat Reader) | ||
| Fulltext Original |
181K | PostScript (requires a PostScript Reader) | ||
| Fulltext 1st Revised |
191K | PostScript (requires a PostScript Reader) | ||
| Authors: | Michael Gelfond and Vladimir Lifschitz | |||
| Article title: | Action Languages | |||
| Publ. type: | Article | |||
| Volume: | 3 | |||
| Article No: | 16 | |||
| Language: | English | |||
| Abstract [en]: | Action languages are formal models of parts of the natural language that are used for talking about the effects of actions. This article is a collection of definitions related to action languages that may be useful as a reference in future publications. | |||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1998 | |||
| Available: | Original 1998-10-15, 1st Revised 1999-05-07 | |||
| No. of pages: | Original 15, 1st Revised 16 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Checksum PDF: | 19e748bd09bc1bc877ea619c77f17fd0 /home/ep/www/ea/cis/1998/016/cis98016.pdf (MD5), Original | |||
| Checksum PDF: | 45484235119760f27aa709876034f007 /home/ep/www/ea/cis/1998/016/cis98016-revised.pdf (MD5), 1st Revised | |||
| Checksum PS: | 8fd4a8da4b38fbec82e5152971dc475a /service/www-ep/docs/ea/cis/1998/016/cis98016.ps (MD5), Original | |||
| Checksum PS: | 983b2a22d342059e6b5afa3f9bc95c80 /service/www-ep/docs/ea/cis/1998/016/cis98016-revised.ps (MD5), 1 st Revised | |||
| PGP PDF: | PGP, Orignial | |||
| PGP PDF: | PGP, 1st Revised | |||
| PGP PS: | PGP, Original | |||
| PGP PS: | PGP, 1st Revised | |||
| Old Checksum: | Checksum (PS), Original| Information about recalculation of Checksum | |||
| Old Checksum: | Checksum (PS), 1st Revised | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-16