Logic Modelling Workshop

Rules for submissions

The following rules apply for contributions to the Logic Modelling Workshop:

1. The Workshop is organized in terms of a set of standard approaches and a set of scenario worlds. The Toronto sitcalc is one of the standard approaches; the "ZOO" is one of the scenario worlds. Each scenario world contains a number of specific scenario examples.

2. The major type of contribution is an axiomatization, that is, a brief article containing and explaining a set of axioms for a specific scenario example in one of the standard approaches.

3. The following types of contributions are also welcomed:
   • Technical notes analyzing a proposed axiomatization or the relationship between two or more axiomatizations for the same scenario world or scenario example.

   • Proposals for new scenario examples within an existing scenario world. Such proposals ought to be accompanied by an axiomatization in one of the approaches. They will be understood as challenges for users of other approaches to provide matching axiomatizations in their approach.

   • Proposed definitions of new scenario worlds. Such proposals should follow the style of the definitions of the initially defined worlds.

4. The current standard approaches are those represented by reference articles that have been accepted to the ETAI. Proposals for additional standard approaches shall be submitted to the ETAI as reference articles, and will be refereed using the same criteria as the current articles.

5. We also welcome contributions to the separate section for Alternatives and Challenges. Contributions to this section should consist of the following:
   • A proposed, concrete scenario
   • An argument why existing approaches are not sufficient for expressing the proposed scenario
   • A correct formalization using an alternative approach
   • A reference to an article or departmental report where the alternative approach is defined in more detail, and that is available on-line.

6. All contributions should have the form of an article in Latex format, conforming to the special style file that is provided for the Workshop. The article should be at most 10 pages within this format, not counting the figures and references.

7. Besides the contributed article, each submission must also contain a brief abstract of at most 200 words.

8. Articles must be submitted using the standardized submission procedure that is defined separately, and that has been designed for facilitating the work as much as possible for both the author and the ENRAC secretariat. See a separate webpage for the details (forthcoming).

9. Articles can be submitted by all members of the RAC mailing list, which may then appear as author, co-author, or recommender of the contribution. Other submissions will be considered on a case by case bsis. Submissions that follow the guidelines will normally be accepted and published, but the editor reserves the right to decline publication.

10. Contributions will be posted on the LMW webpage, advertised (by abstract) in the ENRAC Newsletter, and included in the News Journal on Reasoning about Actions and Change.

11. Copyright for the article remains with the author(s), but author(s) agree that their contribution can be freely used, downloaded, and printed from the net. They also agree that figures they have included in the contribution can be freely used by other authors if the source is properly acknowledged.

12. ENRAC discussion sessions will be defined for all contributions.

Maintenance information:

Latest update 18.6.1999 by EMTEK group. Edit mode aml, position code C.lmw.rules.rules.