Copy Link
Add to Bookmark
Report
AIList Digest Volume 4 Issue 192
AIList Digest Sunday, 21 Sep 1986 Volume 4 : Issue 192
Today's Topics:
Conferences - AI and Law &
Logic in Computer Science &
SIGIR R&D in Information Retrieval &
Logical Solutions to the Frame Problem &
CSCW '86 Program
----------------------------------------------------------------------
Date: 13 Aug 86 20:36:33 EDT
From: MCCARTY@RED.RUTGERS.EDU
Subject: Conference - AI and Law
CALL FOR PAPERS:
First International Conference on
ARTIFICIAL INTELLIGENCE AND LAW
May 27-29, 1987
Northeastern University
Boston, Massachusetts, USA
In recent years there has been an increased interest in the applications of
artificial intelligence to law. Some of this interest is due to the potential
practical applications: A number of researchers are developing legal expert
systems, intended as an aid to lawyers and judges; other researchers are
developing conceptual legal retrieval systems, intended as a complement to the
existing full-text legal retrieval systems. But the problems in this field are
very difficult. The natural language of the law is exceedingly complex, and it
is grounded in the fundamental patterns of human common sense reasoning. Thus,
many researchers have also adopted the law as an ideal problem domain in which
to tackle some of the basic theoretical issues in AI: the representation of
common sense concepts; the process of reasoning with concrete examples; the
construction and use of analogies; etc. There is reason to believe that a
thorough interdisciplinary approach to these problems will have significance
for both fields, with both practical and theoretical benefits.
The purpose of this First International Conference on Artificial Intelligence
and Law is to stimulate further collaboration between AI researchers and
lawyers, and to provide a forum for the latest research results in the field.
The conference is sponsored by the Center for Law and Computer Science at
Northeastern University. The General Chair is: Carole D. Hafner, College of
Computer Science, Northeastern University, 360 Huntington Avenue, Boston MA
02115, USA; (617) 437-5116 or (617) 437-2462; hafner.northeastern@csnet-relay.
Authors are invited to contribute papers on the following topics:
- Legal Expert Systems
- Conceptual Legal Retrieval Systems
- Automatic Processing of Natural Legal Texts
- Computational Models of Legal Reasoning
In addition, papers on the relevant theoretical issues in AI are also invited,
if the relationship to the law can be clearly demonstrated. It is important
that authors identify the original contributions presented in their papers, and
that they include a comparison with previous work. Each submission will be
reviewed by at least three members of the Program Committee (listed below), and
judged as to its originality, quality and significance.
Authors should submit six (6) copies of an Extended Abstract (6 to 8 pages) by
January 15, 1987, to the Program Chair: L. Thorne McCarty, Department of
Computer Science, Rutgers University, New Brunswick NJ 08903, USA; (201)
932-2657; mccarty@rutgers.arpa. Notification of acceptance or rejection will
be sent out by March 1, 1987. Final camera-ready copy of the complete paper
(up to 15 pages) will be due by April 15, 1987.
Conference Chair: Carole D. Hafner Northeastern University
Program Chair: L. Thorne McCarty Rutgers University
Program Committee: Donald H. Berman Northeastern University
Michael G. Dyer UCLA
Edwina L. Rissland University of Massachusetts
Marek J. Sergot Imperial College, London
Donald A. Waterman The RAND Corporation
------------------------------
Date: Tue, 9 Sep 86 09:26:57 PDT
From: Moshe Vardi <vardi@navajo.stanford.edu>
Subject: Conference - Logic in Computer Science
CALL FOR PAPERS
SECOND ANNUAL SYMPOSIUM ON
LOGIC IN COMPUTER SCIENCE
22 - 25 June 1987
Cornell University, Ithaca, New York, USA
THE SYMPOSIUM will cover a wide range of theoretical and practical
issues in Computer Science that relate to logic in a broad sense,
including algebraic and topological approaches.
Suggested (but not exclusive) topics of interest include: abstract
data types, computer theorem proving, verification, concurrency, type
theory and constructive mathematics, data base theory, foundations of
logic programming, program logics and semantics, knowledge and belief,
software specifications, logic-based programming languages, logic in
complexity theory.
Organizing Committee
K. Barwise E. Engeler A. Meyer
W. Bledsoe J. Goguen R. Parikh
A. Chandra (chair) D. Kozen G. Plotkin
E. Dijkstra Z. Manna D. Scott
Program Committee
S. Brookes D. Gries (chair) J.-P. Jouannaud A. Nerode
L. Cardelli J. Goguen R. Ladner G. Plotkin
R. Constable Y. Gurevich V. Lifschitz A. Pnueli
M. Fitting D. Harel G. Longo P. Scott
PAPER SUBMISSION. Authors should send 16 copies of a detailed abstract
(not a full paper) by 9 DECEMBER 1986 to the program chairman:
David Gries -- LICS (607) 255-9207
Department of Computer Science gries@gvax.cs.cornell.edu
Cornell University
Ithaca, New York 14853
Abstracts must be clearly written and provide sufficient detail to allow the
program committee to assess the merits of the paper. References and
comparisons with related work should be included where appropriate. Abstracts
must be no more than 2500 words. Late abstracts or abstracts departing
significantly from these guidelines run a high risk of not being considered.
If a copier is not available to the author, a single copy of the abstract
will be accepted.
Authors will be notified of acceptance or rejection by 30 JANUARY 1987.
Accepted papers, typed on special forms for inclusion in the symposium
proceedings, will be due 30 MARCH 1987.
The symposium is sponsored by the IEEE Computer Society, Technical
Committee on Mathematical Foundations of Computing and Cornell
University, in cooperation with ACM SIGACT, ASL, and EATCS.
GENERAL CHAIRMAN LOCAL ARRANGEMENTS
Ashok K. Chandra Dexter C. Kozen
IBM Thomas J. Watson Research Center Department of Computer Science
P.O. Box 218 Cornell University
Yorktown Heights, New York 10598 Ithaca, New York 14853
(914) 945-1752 (607) 255-9209
ashok@ibm.com kozen@gvax.cs.cornell.edu
------------------------------
Date: Tue, 12 Aug 86 16:16:01 cdt
From: Don <kraft%lsu.csnet@CSNET-RELAY.ARPA>
Subject: Conference - SIGIR Conf. on R&D in Information Retrieval
Association for Computing Machinery (ACM)
Special Interest Group on Information Retrieval (SIGIR)
1987 International Conference on Research and Development
in Information Retrieval
June 3-5, 1987 Monteleone Hotel (in the French Quarter)
New Orleans, Louisiana USA
CALL FOR PAPERS
Papers are invited on theory, methodology, and applications
of information retrieval. Emerging areas related to infor-
mation retrieval, such as office automation, computer
hardware technology, and artificial intelligence and natural
language processing are welcome.
Topics include, but are not limited to:
retrieval system modeling user interfaces
retrieval in office environments mathematical models
system development and evaluation natural language processing
knowledge representation linguistic models
hardware development complexity problems
multimedia retrieval storage and search techniques
cognitive and semantic models retrieval system performance
information retrieval and database management
Submitted papers can be either full length papers of approx-
imately twenty to twenty-five pages or extended abstracts of
no more than ten pages. All papers should contain the
authors' contributions in comparison to existing solutions
to the same or to similar problems.
Important Dates
Submission Deadline December 15, 1986
Acceptance Notification February 15, 1987
Final Copy Due March 20, 1987
Conference June 3-5, 1987
Four copies of each paper should be submitted. Papers sub-
mitted from North America can be sent to Clement T. Yu; sub-
missions from outside North America should be sent to C. J.
"Keith" van Rijsbergen.
Conference Chairman Program Co-Chairmen
Donald H. Kraft Clement T. Yu C. J. "Keith" van Rijsbergen
Department of Department of Department of
Computer Science Electrical Engineering Computer Science
Louisiana State University and Computer Science University of Glascow
Baton Rouge, LA 70803 University of Illinois, Lilybank Gardens
Chicago Glascow G12 8QQ
Chicago, IL 60680 SCOTLAND
(504) 388-1495 (312) 996-2318 (041) 339-8855
For details, contact the Conference Chairman at kraft%lsu@csnet-relay or
Michael Stinson, the Arrangements Chairman at stinson%lsu@csnet-relay.
Don Kraft
kraft%lsu@csnet-relay
------------------------------
Date: Fri, 19 Sep 86 16:04:04 CDT
From: Glenn Veach <veach%ukans.csnet@CSNET-RELAY.ARPA>
Subject: Conference - Logical Solutions to the Frame Problem
CALL FOR PAPERS
WORKSHOP ON LOGICAL SOLUTIONS TO THE FRAME PROBLEM
The American Association for Artificial Intelligence (AAAI) is
sponsoring this workshop in Lawrence, Kansas from March 23 to March 25,1987.
The frame problem is one of the most fundamental problems in
Artificial Intelligence and essentially is the problem of describing in
a computationally reasonable manner what properties persist and what
properties change as action are performed. The intrinsic problem lies in
the fact that we cannot expect to be able to exhaustively list for every
possible action (or combination of concurrent actions) and for every
possible state of the world how that action (or concurrent actions) change
the truth or falsity of each individual fact. We can only list the obvious
results of the action and hope that our basic inferential system will be
able to deduce the truth or falsity of the other less obvious facts.
In recent years there have been a number of approaches to constructing
new kinds of logical systems such as non-monotonic logics, default logics,
circumscription logics, modal reflexive logics, and persistence logics which
hopefully can be applied to solving the frame problem by allowing the missing
facts to be deduced. This workshop will attempt to bring together the
proponents of these various approaches.
Papers on logics applicable to the problem of reasoning about such
unintended consequences of actions are invited for consideration. Two
copies of either an extended abstract or a full length paper should be
sent to the workshop chairman before Nov 20,1986. Acceptance notices will
be mailed by December 1,1986 along with instructions for preparing the final
versions of accepted papers. The final versions are due January 12,1987.
In order to encourage vigorous interaction and exchange of ideas
the workshop will be kept small -- about 25 participants. There will
be individual presentations and ample time for technical discussions.
An attempt will be made to define the current state of the art and future
research needs.
Partial travel support (from AAAI) for participants is available.
Workshop Chairman:
Dr. Frank M. Brown
Dept Computer Science
110 strong Hall
The University of Kansas
Lawrence, Kansas
(913) 864-4482
Please send any net inquiries to: veach@ukans.csnet
------------------------------
Date: Tue 2 Sep 86 15:20:55-EDT
From: Irene Greif <GREIF@XX.LCS.MIT.EDU>
Subject: Conference - CSCW '86 Program
Following is the program for CSCW '86: the Conference on
Computer-Supported Cooperative Work . Registration material can
be obtained from Barbara Smith at MCC (basmith@mcc).
[Contact the author for the full program. -- KIL]
------------------------------
End of AIList Digest
********************
