Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-16
|
Content
| Files: | Description | File size | Format | |
| Fulltext | 268K | PDF (requires Acrobat Reader) | ||
| Fulltext | 243K | PostScript (requires a PostScript Reader) | ||
| Authors: | Hector Levesque, Fiora Pirri and Ray Reiter | |||
| Article title: | Foundations for the Situation Calculus | |||
| Publ. type: | Article | |||
| Volume: | 3 | |||
| Article No: | 18 | |||
| Language: | English | |||
| Abstract [en]: | This article gives the logical foundations for the situations-as-histories
variant of the situation calculus, focusing on the following items:
|
|||
| Publisher: | Linköping University Electronic Press | |||
| Year: | 1998 | |||
| Available: | 1998-12-22 | |||
| No. of pages: | 18 | |||
| Series: | Linköping Electronic Articles in Computer and Information Science | |||
| ISSN: | 1401-9841 | |||
| Checksum PDF: | fecaaa56194d559c0940518e284f53ae /home/ep/www/ea/cis/1998/018/cis98018.pdf (MD5) | |||
| Checksum PS: | c8d389904681c1a3605c6822d61419ad /service/www-ep/docs/ea/cis/1998/018/cis98018.ps (MD5) | |||
| PGP PDF: | PGP | |||
| PGP PS: | PGP | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-16