Copy Link
Add to Bookmark
Report
NL-KR Digest Volume 12 No. 27
NL-KR Digest Sun Oct 24 06:58:07 PDT 1993 Volume 12 No. 27
Today's Topics:
CFP: QUALICO 94, 2nd Intl. Conf. on Quantitative Linguistics
Announcement: WordNet 1.4 lexical system available
CFP: Fourth Conference on Principles of KR (KR94)
Subcriptions, requests, policy: nl-kr-request@cs.rpi.edu
Submissions: nl-kr@cs.rpi.edu
Back issues are available from host ftp.cs.rpi.edu [128.213.3.254] in
the files nl-kr/Vxx/Nyy (e.g. nl-kr/V01/N01 for V1#1), or by gopher at
cs.rpi.edu, Port 70, choose RPI CSLab Anonymous FTP Server. Mail requests
will not be promptly satisfied. Starting with V9, there is a subject index
in the file INDEX.
BITNET subscribers: please use the UNIX LISTSERVer for nl-kr as given above.
You may send submissions to NL-KR@cs.rpi.edu as above
and any listserv-style administrative requests to LISTSERV@AI.SUNNYSIDE.COM.
-----------------------------------------------------------------------
Date: Fri, 15 Oct 1993 18:51:54 CDT
Reply-To: "Prof. Dr. Koehler" <koehler@utrurt.uni-trier.de>
From: "Prof. Dr. Koehler" <koehler@utrurt.uni-trier.de>
Subject: CFP: QUALICO 94, 2nd Intl. Conf. on Quantitative Linguistics
To: Multiple recipients of list TEI-L <TEI-L@UICVM.BITNET>
(* PLEASE REDISTRIBUTE THIS CALL FOR PAPERS *)
CALL FOR PAPERS
QUALICO - 94
Second International Conference
on Quantitative Linguistics
Moscow, Russia, September 20(Tue)-24(Sat), 1994
The Permanent International Qualico Committee invites the submission of
papers and participation in this conference, which will be organized
by Moscow State University in cooperation with the University of Trier
Chair of the Organizing Committee:
Anatoliy A. Polikarpov
Department of Theoretical and
Computational Linguistics
Moscow State University, Moscow, 117899, Russia
Tel.: +7 095 939-31-78
Fax.: +7 095 939-26-22
E-mail.: comm-pub@comlab.vega.msk.su
Chair of the Program Committee:
Reinhard Koehler
University of Trier, Department of Computational
Linguistics, D-54286 Trier, Germany
Tel.: +49 651 201-2270 (or 2271)
Fax.: +49 651 201-3946
E-mail.: koehler@ldv01.Uni-Trier.de
Program Committee Gabriel Altmann (Bochum, Germany)
Kenneth Church (Murray Hill, NJ, USA)
Sheila Embleton (York, Canada)
Jacques Guy (Clayton, Australia)
Ludek Hrebicek (Prague, Czech Republik)
Yuriy K.Krylov (St. Petersburg, Russia)
Raimund G.Piotrovskiy (St. Petersburg, Russia)
Burghard Rieger (Trier, Germany)
Jadwiga Sambor (Warsaw, Poland)
Pauli Saukkonen (Oulu, Finland)
George Silnitskiy (Smolensk, Russia)
Royal Skousen (Provo, Utah, USA)
Philippe Thoiron (Lyon, France)
Juhan Tuldava (Tartu, Estonia)
TOPICS OF INTEREST: Papers are invited on substantial,
original, and unpublished research on all aspects of
Quantitative Linguistics, including, but not limited to, the
following.
1) Observations and descriptions of all aspects of language
and text phenomena, including the areas of
psycholinguistics, sociolinguistics, linguistic typology,
stylistics, etc. as far as they use quantitative
mathematical methods (probability theory, stochastic
processes, differential and difference equations, fuzzy
logics and set theory, function theory etc.), on all levels
of linguistic analysis.
2) Applications of methods, models, or findings from
quantitative linguistics to problems of natural language
processing, machine translation, language teaching,
documentation and information retrieval - especially in the
form of automated systems of different kinds (automated
systems for scientific research, expert systems, electronic
dictionaries, parsing systems, controlled large text corpora
etc.).
3) Methodological problems of linguistic measurement,
model construction, sampling and test theory.
4) Epistemological issues such as explanation of language
and text phenomena, contributions to theory construction,
systems theory, philosophy of science.
REQUIREMENTS FOR SUBMISSION: Papers should be either topical
papers (maximum six pages in final format) or project notes
with demonstration (maximum four pages), preferably in
English. Both should describe original work.The project note
should specify the computer platform that will be used. They
should emphasize completed work rather than intended work,
and they should indicate clearly the state of completion of
the reported results. A paper accepted for presentation at
the QUALICO-94 Conference cannot be presented at another
conference.
FORMAT FOR SUBMISSION: Authors should submit four copies of
preliminary versions of their papers with the page limits
above, on A4 paper with the title, author(s), addresses
(including e-mail if possible), affiliation across the page
top, a short (five line) summary, the words: topical paper
or project note, and a specification of the topic area. As
well, authors are strongly urged to email the title page
information by the deadline date. Send the papers and emails
to the chairman of the program committee.
IMPORTANT DATES:
Preliminary paper submission due: 31 January, 1994
Acceptance notification: 15 May, 1994
Camera-ready copies due: 20 August, 1994
REVIEW SCHEDULE: Preliminary papers are due by 31 January
1994. Papers received after that date will be returned
unopened. Notification of receipt will be mailed to the
first author (or designated author) soon after receipt.
Designated authors will be notified of acceptance by 15
May, 1994. Camera-ready copies of final papers prepared in
a double-column format, preferably using a laser printer,
and the text in ASCII format on a diskette (MS-DOS) must be
received by 20 August at the chairman of the program committee.
Papers
received after that date may not be included in the
proceedings.
OTHER ACTIVITIES:
Anyone wishing to arrange an exhibit or present a
demonstration should send a brief description, together
with a specification of physical requirements (space,
power, telephone connections, tables, etc.) to Ana-
toliy A.Polikarpov and Reinhard Koehler.
-----------------------------------------------------------------------
From: "Shari L. Landes" <shari@phoenix.Princeton.EDU>
Date: Wed, 20 Oct 1993 19:37:20 -0400
To: nl-kr@cs.rpi.edu
Subject: Announcement: WordNet 1.4 lexical system available
the following in your newsletter if you consider it relevant to
your newsgroup:
WordNet Release 1.4 Available
WordNet is an on-line lexical reference systems whose design is
inspired by current psycholinguistic theories of human lexical memory.
English nouns, verbs, and adjectives are organized into synonym sets, each
representing one underlying lexical concept. Different relations
link the synonym sets.
*** Update: WordNet Version 1.4 is now available ***
(Release notice, users' mailing list information and README file)
WordNet Version 1.4 is now available. The WordNet database is close
to 13.5 megabytes, exclusive of the search code. The entire package
is approximately 17.5 megabytes. The WordNet search code is
distributed in binary form only, and is presently available for Sun-4,
NeXT, DECstation, RS-6000, Macintosh and PC architectures. An X
Windows interface is available for Sun-4, DECstation, RS-6000 and NeXT
(please note that this is NOT a NeXTStep application - you must have X
Windows for the NeXT in order to use the X Windows interface). A
Microsoft Windows interface is available for the PC. A command line
interface is also provided for all architectures except the Macintosh.
If you are currently using an earlier version of WordNet you are
strongly encouraged to upgrade to version 1.4. Small bugs and
inconsistencies in both the database and search software have been
corrected, and the database coverage has been expanded. Attributes
have been added with this release.
New with release 1.4 is a semantic concordance: a textual corpus
linked to a lexicon with semantic tags. The concordance consists of
103 files from the Brown Corpus annotated with pointers to word senses
in the WordNet 1.4 database. An X Windows application, Escort, is
provided for searching the concordance files for occurrences and
co-occurrences of semantic tags. Escort has been ported to the Sun-4,
NeXT and DECstation platforms. You must install WordNet 1.4 before
installing and using the semantic concordance package. The semantic
concordance package is approximately 20 megabytes.
Summary of changes:
Updates to database - additional coverage, cleanup
Addition of attributes
Port to RS-6000
New semantic concordance package
We prefer that you ftp the WordNet system via anonymous ftp from
clarity.princeton.edu. The packages are located in the subdirectory
'pub'.
**************************************************************************
* IF YOU FTP WordNet, PLEASE SEND MAIL TO wordnet@princeton.edu SO WE *
* CAN UPDATE OUR RECORDS AND KEEP TRACK OF OUR USERS FOR FUTURE MAILINGS *
* AND RELEASES. EVEN IF YOU ARE A CURRENT USER WHO IS UPDATING, IT IS *
* USEFUL TO US TO KNOW THAT YOU HAVE UPGRADED TO 1.4. *
**************************************************************************
***** REMEMBER TO FTP IN "binary" MODE!!! *****
To ftp the UNIX version of WordNet 1.4, ftp the following file:
wn1.4unix.tar.Z WordNet Version 1.4 for UNIX systems
in compressed tar format. This includes
the WordNet database, binary installation
of search code for Sun-4, DECstation, RS-6000
and NeXT, and documentation. Installation
instructions and a Makefile are included.
Man pages are provided as unformatted troff
files.
To ftp the PC (DOS) version of WordNet 1.4, ftp the following files:
readme.pc README file for PC installation.
wn14.arc PC version in ARC format. This includes the
WordNet database, binary installation of
search code (command line and Microsoft
Windows interfaces), and documentation.
Installation instructions and installation
batch file, and a batch file for running
WordNet are included. Man pages are provided
in a format which can be sent to the line
printer or viewed on the screen.
arc.exe arc program needed to 'unarc' the PC version.
If you already have this on your PC you do
not need to ftp this file.
To ftp the Macintosh version of WordNet 1.4, ftp the following files:
readme.mac README file for Macintosh installation.
MacWordNet1.4.sit.bin
Macintosh version in Stuffit format.
This includes the WordNet database, binary
installation of search code, and documentation.
Man pages are provided in Postscript format.
UnStuffit-Deluxe-TM.bin
Unstuffit program needed to unpack the
Macintosh version. If you already have
UnStuffit on your Macintosh, you don't
need to ftp this file.
Semantic concordance:
wn1.4semcor.tar.Z
Semantic concordance package in compressed tar
format. Includes the semantically tagged
files, Escort searching application for
Sun-4, DECstation and NeXT, and documentation.
Installation instructions and a Makefile are
included. Man pages are provided as
unformatted troff files.
Papers and WordNet documentation only:
wn1.4man.tar.Z WordNet 1.4 documentation (man pages) only
as unformatted troff files.
5papers.tar.Z troff paper describing WordNet project in
compressed tar format ("Five Papers on
WordNet"). A Makefile for formatting and
printing the papers is included.
If you need a PC or Macintosh version on diskette we will provide
WordNet on magnetic media. There is a charge of $25 for PC diskettes
(high density only, either 3 1/2" or 5 1/4"), $25 for Macintosh
diskettes (high density 3 1/2" only), and $30 for 8mm tape. Please
send a check, payable to Princeton University, along with a request
for a specific format to:
Princeton University
Cognitive Science Laboratory
221 Nassau Street
Princeton, NJ 08544-2093
Attn: Laura Hawkins
If you have received an earlier version of WordNet on magnetic media,
you may return the media to us and receive an upgrade for $10.
To receive a printed copy of "Five Papers on WordNet", please send $6
to the address above. (We do prefer that you ftp this document if
possible.)
If you are running on an unsupported platform or have a need for the
source to the WordNet search code, please send mail to
wordnet@princeton.edu. We will consider requests for source code on
an individual basis.
Please address all email concerning WordNet to wordnet@princeton.edu.
We will try to respond in a timely manner. If you have received this
message via email and do not wish to remain in the user database,
please send a request to be deleted.
******* WordNet users' mailing list **********
We have (finally) set up a WordNet users' mailing list that will be
administered here at Princeton. Items addressed to the mailing list
will be automatically forwarded to all users on the list. Please note
that this mailing list is separate from the user database. In order
to participate in the mailing list, you must specifically request to
be added. We hope that the mailing list will be a place for useful
discourse about WordNet to take place. We at Princeton are always
interested to hear what our users are doing with WordNet, and we
imagine many users wonder what other users are using it for.
Hopefully this mailing list will help to bring researchers together to
exchange their ideas, experiences, code and philosophies.
To post a message to the mailing list, address mail to
'wn-users@princeton.edu'. Requests to be added to or removed from the
mailing list should be sent to 'wn-users-request@princeton.edu'.
Although you have received this announcement, you will only be added
to the mailing list if you send a request to
'wn-users-request@princeton.edu'. Please be sure to include your
correct e-mail address in the body of your request. Also, to help us
keep our records up to date, if you are a current WordNet user it
would be helpful to us if you would include the version of WordNet you
are using (the latest release is 1.4) and the platform(s) that you are
running on.
If you have code or various flavors of the WordNet database that you
would like to share with others, at the present time we prefer that
you keep the data at your site, announce it to users via the mailing
list, and make it available to interested parties either via 'ftp' or
e-mail. If your site does not allow anonymous ftp, then we will
consider moving the data to Princeton. Requests of this sort should
be addressed to 'wn-users-request@princeton.edu'.
To help with the administrative end of things, items sent to
'wn-users-request@princeton.edu' should use the 'Subject' of the
message to convey the intent of the request. To be added to the
mailing list, please specify a subject of 'Add user'. Similarly, to
be removed from the list, specify a subject of 'Remove user'. Other
types of requests should attempt to make intelligent use of the
message subject.
PS. Administrative requests may only be handled once a week so please
be patient.
________________________________________________________________
Human speech is like a cracked kettle on which we tap crude
rhythms for bears to dance to, while all the while we long to make
music that will move the stars to pity - Gustave Flaubert
-----------------------------------------------------------------------
To: KR94-Dist-List@mail2.ai.univie.ac.at
Date: Thu, 14 Oct 1993 22:55:35 +0100
From: KR94 Conference Service <kr94@mail2.ai.univie.ac.at>
Subject: CFP: Fourth Conference on Principles of KR (KR94)
KR'94 - 2nd CALL FOR PAPERS
FOURTH INTERNATIONAL CONFERENCE ON
PRINCIPLES OF
KNOWLEDGE REPRESENTATION AND REASONING
Gustav Stresemann Institut, Bonn, Germany
May 24-27, 1994
with support from GI, ECCAI, and CSCSI
in cooperation with AAAI and IJCAII
SUBMISSION DEADLINE: November 8, 1993
Explicit representations of knowledge manipulated by inference
algorithms provide an important foundation for much work in Artificial
Intelligence, from natural language to expert systems, and a growing
number of researchers study the principles governing systems based on
such representations and reasoning. The KR conferences bring together
these researchers in a more intimate setting than that of general AI
conferences, and provide authors with the opportunity to give
presentations of adequate length to present substantial results.
This year's conference will take place in Europe for the first time.
The conference emphasizes both the theoretical principles of knowledge
representation and reasoning and the relationships between these
principles and their embodiments in working systems. Authors are
encouraged to relate their work to at least one of the following
questions:
(1) What issues arise in representing and using knowledge about real
problems, and how can they be addressed?
(2) What are the theoretical principles in knowledge representation
and reasoning?
(3) How can these principles be embodied in implemented knowledge
representation systems, and what practical tradeoffs arise?
(4) How do these approaches to problems relate to corresponding
approaches in other parts of AI (natural language, robotics, etc.)
or in other fields (psychology, philosophy, logic, economics,
cognitive science, computer science, management, engineering, etc.)
Submissions are encouraged in (but are not limited to) the following
topic areas:
REPRESENTATIONAL FORMALISMS REASONING METHODS AND TASKS
- logics of knowledge and belief - deduction
- nonmonotonic logics - abduction
- temporal logics - induction
- spatial logics - deliberation and decision analysis
- taxonomic logics - planning and plan analysis
- logics of uncertainty - learning
and evidence - diagnosis
- logics of preference and utility - classification
- logics of intentions and actions - inheritance
- deontic logics - belief management and revision
- constraint solving
- analogical reasoning
- reasoning about reasoning
GENERIC ONTOLOGIES FOR DESCRIBING ISSUES IN IMPLEMENTED KR&R SYSTEMS
- time - comparative evaluation
- space - empirical results
- causality - benchmarking and testing
- resources - reasoning architectures
- constraints - efficiency/completeness tradeoffs
- decisions - complexity
- activities - algorithms
- mental states - embedded systems
- multi-agent organizations - knowledge sharing and reuse
- applications classes, e.g. medicine - standards
SUBMISSION OF PAPERS
The Program Committee will review EXTENDED ABSTRACTS rather than
complete papers. Abstracts must be at most twelve (12) pages with a
maximum of 38 lines per page and an average of 75 characters per line
(corresponding to the LaTeX article-style, 12pt), excluding the title
page and the bibliography. Overlength submissions will be rejected
without review. All abstracts must be submitted on 8 1/2" x 11" or A4
paper, and printed or typed in 12-point font (10 characters/inch on a
typewriter). Dot matrix printout, FAX, or electronic submission will
not be accepted. Each submission should include the names and
complete addresses (including email, when possible) of all authors.
Correspondence will be sent to the first author, unless otherwise
indicated. Also, authors should indicate under the title which of the
questions and/or topic areas listed above best describes their paper
(if none is appropriate, please give a set of keywords that best
describe the topic of the paper). To be considered, five (5) paper
copies of the extended abstract must be received by one of the program
co-chairs no later than November 8, 1993 (or must have been sent by
express courier no later than November 5). Authors are also
STRONGLY encouraged (it is to their advantage) to submit an electronic
abstract in the form described below. Electronic abstracts that
accurately reflect the contents of the papers will significantly aid
the reviewing process by helping direct the papers to the most
appropriate reviewers.
MULTIPLE SUBMISSIONS
Submitted papers must be unpublished and substantively different from
papers currently under review. Papers may be submitted after January
1, 1994 to other conferences as long as (a) the prior submission to
KR'94 is noted on those submissions and (b) the paper is withdrawn
from the later conference if accepted by KR'94.
ELECTRONIC ABSTRACT
In addition to submitting the paper copies of the extended abstract,
authors should (if possible) send a short (200 word) electronic
abstract of their paper to KR94-abstracts@medg.lcs.mit.edu to aid in
the reviewing process. In order to make use of software for
classifying papers and selecting reviewers, most of the electronic
abstract must be in plain ASCII text (no LaTeX or other formatting
commands) in the following format, separating each field from the next
with a blank line.
TITLE: <title of paper>
FIRST AUTHOR: <last name, first name>
FIRST ADDRESS: <first author address or affiliation>
COAUTHORS: <their names, if any>
OTHER ADDRESSES: <addresses or affiliations of coauthors>
CONTENT AREAS: <at most three content areas, separated by commas>
KEYWORDS: <keywords, separated by commas>
ABSTRACT: <text of the abstract>
The content areas preferably should be drawn from the topics listed
above, with other areas added only if necessary. The keywords are to
aid the human reviewers only and may be chosen as desired. The text
of the abstract field may include formatting commands, if desired, but
these should be omitted from all other fields. A blank form for
electronic abstracts and an example abstract may be found at the end
of this Call.
REVIEW OF PAPERS
Submissions will be judged on clarity, significance, and originality.
An important criterion for acceptance is that the paper clearly
contributes to principles of representation and reasoning that are
likely to influence current and future AI practice. Extended
abstracts should contain enough information to enable the Program
Committee to identify and evaluate the principal contribution of the
research and its importance. It should also be clear from the
extended abstract how the work compares to related work in the field.
NOTIFICATION
Authors will be notified of the Program Committee's decision by
January 24, 1994. Notification will be made by electronic mail
whenever possible.
FINAL PAPERS
Authors of accepted papers will be expected to submit substantially
longer full papers for the conference proceedings. Final camera-ready
copies of the full papers will be due February 28, 1994. Final papers
will be allowed at most twelve (12) double-column pages in the
conference proceedings (corresponding to approximately 28
article-style LaTeX pages; a style file will be provided by the
publisher).
PLANNING TO ATTEND
People planning to attend the conference are asked to send a note
stating their intention as early as possible to the local conference
organizer, Ms. Christine Harms (Christine.Harms@gmd.de), in order to
help estimate the facilities needed for the conference. (Postal
address: Christine Harms, c/o GMD, Schloss Birlinghoven, D-53757 Sankt
Augustin 1, Germany. Phone: +49-2241-14-2473, Fax: +49-2241-14-2472.)
CONFERENCE CHAIR
Erik Sandewall
Department of Computer and Information Science
Linkoeping University
S-58183 Linkoeping
SWEDEN
Voice: +46 1328 1408
Fax: +46 1328 2606
Email: ejs@ida.liu.se
PROGRAM CO-CHAIRS
Jon Doyle Piero Torasso
MIT Universita' di Torino
Laboratory for Computer Science Dipartimento di Informatica
545 Technology Square Corso Svizzera 185
Cambridge, MA 02139 I-10149 Torino
USA ITALY
Voice: +1 (617) 253-3512 Voice: +39 11 7429209
Fax: +1 (617) 258-8682 Fax: +39 11 751603
Email: doyle@lcs.mit.edu Email: torasso@di.unito.it
LOCAL ARRANGEMENT CHAIR
Gerhard Lakemeyer
Institute of Computer Science III
University of Bonn
Roemerstrasse 164
D-53117 Bonn 1
GERMANY
Voice: +49-228-550-281
Fax: +49-228-550-382
Email: gerhard@cs.uni-bonn.de
PUBLICITY CHAIR
Werner Horn
Austrian Research Institute for Artificial Intelligence
Schottengasse 3
A-1010 Vienna
AUSTRIA
Voice: +43 1 53532810
Fax: +43 1 5320652
Email: werner@ai.univie.ac.at
PROGRAM COMMITTEE
Giuseppe Attardi (U. Pisa, Italy),
Franz Baader (DFKI, Germany),
Fahiem Bacchus (U. Waterloo, Canada),
Philippe Besnard (IRISA, France),
Piero Bonissone (GE, USA),
Craig Boutilier (UBC, Canada),
Ron Brachman (AT&T, USA)
Maurice Bruynooghe (KUL, Belgium),
Anthony Cohn (U. Leeds, UK),
Ernest Davis (NYU, USA),
Rina Dechter (UC Irvine, USA),
Johan de Kleer (Xerox, USA),
Oskar Dressler (Siemens, Germany),
Jennifer Elgot-Drapkin (Arizona State U., USA),
Richard Fikes (Stanford U., USA),
Alan Frisch (U. York, UK),
Hector Geffner (Simon Bolivar U., Venezuela),
Georg Gottlob (TU Wien, Austria),
Pat Hayes (U. Illinois, USA),
Hirofumi Katsuno (NTT, Japan),
Henry Kautz (AT&T, USA),
Sarit Kraus (Bar-Ilan U., Israel),
Maurizio Lenzerini (U. Rome, Italy),
Vladimir Lifschitz (U. Texas, USA),
David Makinson (Unesco, France),
Joao Martins (IST, Portugal)
David McAllester (MIT, USA),
John-Jules Meyer (U. Amsterdam, Netherlands),
Katharina Morik (U. Dortmund, Germany),
Johanna Moore (U. Pittsburgh, USA),
Hideyuki Nakashima (ETL, Japan),
Bernhard Nebel (DFKI, Germany),
Hans Juergen Ohlbach (Max Planck Institut, Germany),
Lin Padgham (Linkoeping U., Sweden),
Peter Patel-Schneider (AT&T, USA),
Ramesh Patil (USC/ISI, USA),
Raymond Perrault (SRI, USA),
David Poole (UBC, Canada),
Henri Prade (IRIT, France),
Anand Rao (AAII, Australia),
Jeff Rosenschein (Hebrew U., Israel),
Stuart Russell (UC Berkeley, USA),
Len Schubert (Rochester)
Marek Sergot (Imperial College, UK),
Lokendra Shastri (U. Pennsylvania, USA),
Yoav Shoham (Stanford U., USA),
Lynn Stein (MIT, USA),
Devika Subramanian (Cornell U., USA),
William Swartout (USC/ISI, USA),
Austin Tate (AIAI, Edinburgh, UK),
Peter van Beek (U. Alberta, Canada),
Michael Wellman (U. Michigan, USA)
IMPORTANT DATES
Submission receipt deadline: November 8, 1993
Author notification date: January 24, 1994
Camera-ready copy due to publisher: February 28, 1994
Conference: May 24-27, 1994
<-- cut here -->
------------------------------------------------------------
KR'94 Electronic Abstract Form
Complete and send to KR94-abstracts@medg.lcs.mit.edu
------------------------------------------------------------
TITLE:
FIRST AUTHOR:
FIRST ADDRESS:
COAUTHORS:
OTHER ADDRESSES:
CONTENT AREAS:
KEYWORDS:
ABSTRACT:
------------------------------------------------------------
<-- cut here -->
------------------------------------------------------------
KR'94 Electronic Abstract Example
------------------------------------------------------------
TITLE: Begriffsschrift: A formula language, modeled upon that of
arithmetic, for pure thought
FIRST AUTHOR: Frege, Gottlob
FIRST ADDRESS: Department of Mathematics, University of Jena, Germany
CONTENT AREAS: logics, deduction
KEYWORDS: ideography, conceptual content, inferential sequence,
argument, function
ABSTRACT: I present an ideography to provide the most reliable test of
the validity of a chain of inferences, one that points out every
presupposition that tries to sneak in unnoticed, so that its origin
can be investigated. I am confident that my ideography can be
successfully used wherever special value must be placed on the
validity of proofs, as for example when the foundations of the
differential and integral calculus are established.
End of NL-KR Digest
*******************
