Meeting 1:
3-6 September, 1995 in Mauritzberg, Sweden

Topics for presentation, discussion, and decision

Administrative issues

• Role of Hypermanual, bibliography, etc within Logic and Change
• Role of Hypermanual, bibliography, etc visavis Compulog
• Ditto visavis ECAI
• Other organizational relationships
• Author rights
• References to Hypermanual sections

General scientific perspectives

• Other similar initiatives
• Publication practices

The hypermanual: scientific contents

• This is the biggest question of all!
• Range of contents: what to include and not include

The hypermanual: organizational issues

• Organize in terms of textual granules + cross-links + superordinate indices
• Granularity of textual contributions
• Mnemonic naming scheme for divisions ("chapters") and their substructures

Notation and layout

General: the character of a hyperdocument makes it much more necessary than in an ordinary "handbook" to standardize notation and terminology between sections.

• (Partial) standardization of logical and mathematical symbols.
• Proposed headers in HTML and in Latex pages.
• Latex macros supporting this notation and headers.
• Ortography for names, institutions, and cities
• To what extent standardize terminology?

Directories etc: structuring principles

• Principles
• Identifiers
• Use of identifiers
• Layouts of directories etc

Technical issues (WWW, postscript, etc)

• Location(s) [computer systems] where (various parts of) this structure is to be stored.
• Neutral name(s) for those system(s)?
• Directory structure, naming conventions.
• HTML and postscript as the two major formats to be used?
• Separation and communication HTML files/postscript files.
• Extensions or restrictions on HTML for the present purpose? (apart from formulas).
• Use of Latex as source code for the postscript.
• Size A5? Browser constraints.
• Handling of formulas.
• Connections to executable programs.
• Embedded animation?
• Support of multiple platforms (SUN Unix, other unixes, PC, Mac). Consequences e.g. max 8+3 characters in file names. Compatibility problems e g in postscript.
• Problems with viewers. Size of viewed page? Separate document versions for viewing and printing?

WHO DOES WHAT?

Proposal: In the hypermanual proper, let us first address the chapters "varieties of logic" through "representative examples", writing them in such a fashion that they naturally lead up to the chapter "integrated approaches". Then, after this first step has been finished, we can proceed with the following chapters.

Principles for author selection, responsibilities, rights

Discussion about possible additional members for the work

With respect to directories etc., topics for voluntary contributions:

• Repository
• Directories of researchers, research groups, conferences, journals in the field
• Software support for bibliography buildup and maintenance
• Actual work on bibliography buildup and maintenance
• Editor of commentaries on research articles
• Writing commentary on research articles
• Identify other information sources, and get ideas from them