The following is a list of the hypernotes that are included in the CAISOR website structure or in an attached site. By 'hypernote' we mean a brief memo that has the graphical appearance of a short article (using pdf or ps format, produced using Latex, etc), but which is only published as a part of the total 'hyperebook'. Most hypernotes fall into one of the following categories:
For each hypernote there is an index page, i.e. an html URL that serves as the persistent identifier of the hypernote, Its contents are an introduction to the text in the hypernote, with links to successive versions of that hypernote, and to the pdf and postscript representations of each version.
Hypernotes can be cited through their URL, and we kindly ask you to cite the hypernote like anything else when you use, or rely on its contents.
The normal way of accessing a hypernote is by browsing the structure of webpages in the CAISOR site or some of its attached sites, or through a link from some other site where the hypernote is cited. The following, exhaustive list of hypernotes is just intended for reference.
LHN-001 | Methods for Classical Planning |
LHN-002 | Ontology of Actions |
LHN-003 | Introduction to Logic for AI |
LHN-004 | Logics of Actions and Change |
LHN-005 | Planning Using the Situation Calculus |
LHN-007 | Language Processing in Artificial Intelligence |
LHN-008 | Lisp Software Design Techniques |
LHN-009 | Approaches to Data Abstraction in Lisp |