Class PROCEEDINGS

• Defined in theory: Bibliographic-data
• Source code: bibliographic-data.lisp

Slots on this class:

Documentation:

The published proceedings of a conference, workshop, or similar meeting. If the proceedings appear as an edited book, the document is an edited book with a title other than ``proceedings of...'' Proceedings may have editors, however.

Subclass-Of: Document

---

Slots on instances of this class:

Doc.Conference:

Slot-Cardinality: 1

Slot-Value-Type: Conference

Axioms:

(Same-Slot-Values Proceedings
                  Doc.Publication-Date
                  (Compose Conf.Date Doc.Conference))

(Same-Slot-Values Proceedings
                  Doc.Title
                  (Compose Conf.Name Doc.Conference))

Notes:

• We are assuming that the title of the proceedings is the same as the name of the conferences. This may be bogus.