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.

Instance-Of: Class

Subclass-Of: Document

Domain-Of: Doc.conference

---

Slots on instances of this class:

Doc.Conference:

Slot-Cardinality: 1

Slot-Value-Type: Conference

Doc.Publication-Date:

Same-Slot-Values:

(Compose Conf.Date Doc.Conference)

Doc.Title:

Same-Slot-Values:

(Compose Conf.Name Doc.Conference)

Axioms:

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

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

Other Related Axioms:

(Subclass-Partition Document
                    (Setof Book
                           Periodical-Publication
                           Proceedings
                           Thesis
                           Technical-Report
                           Miscellaneous-Publication))

(=> (= (Doc.Institution ?Doc) ?Organization)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (Doc.Conference $X $Y) (Proceedings $X))

(=> (Doc.Editor ?Doc ?Editor) (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (Doc.Series-Editor ?Doc ?Editor)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (= (Doc.Series-Title ?Doc) ?Title)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (Doc.Translator ?Doc ?Translator)
    (Or (Book ?Doc) (Proceedings ?Doc)))

(=> (= (Doc.Edition ?Doc) ?Nth)
    (Or (Book ?Doc) (Proceedings ?Doc) (Cartographic-Map ?Doc)))

(Inherited-Facet-Value Slot-Value-Type
                       Proceedings-Paper-Reference
                       Ref.Document
                       Proceedings)

(=> (Proceedings-Paper-Reference ?Ref)
    (And (Value-Type ?Ref Ref.Document Proceedings)
         (Minimum-Value-Cardinality ?Ref Ref.Author 1)
         (Value-Cardinality ?Ref Ref.Title 1)
         (Value-Cardinality ?Ref Ref.Booktitle 1)
         (Same-Values ?Ref
                      Ref.Booktitle
                      (Compose Doc.Title Ref.Document))
         (Same-Values ?Ref Ref.Secondary-Title Ref.Booktitle)
         (Same-Values ?Ref Ref.Secondary-Author Ref.Editor)
         (Same-Values ?Ref
                      Ref.Organization
                      (Compose Conf.Organization
                               Doc.Conference
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Address
                      (Compose Conf.Address
                               Doc.Conference
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Month
                      (Compose Timepoint.Month
                               Doc.Publication-Date
                               Ref.Document))
         (Same-Values ?Ref
                      Ref.Day
                      (Compose Timepoint.Day
                               Doc.Publication-Date
                               Ref.Document))))

Notes:

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