From newshub.ccs.yorku.ca!torn!cs.utexas.edu!uwm.edu!spool.mu.edu!agate!stanford.edu!unix!morgan Mon Nov  9 09:36:16 EST 1992
Article 7462 of comp.ai.philosophy:
Xref: newshub.ccs.yorku.ca comp.ai:4980 sci.philosophy.tech:4323 comp.ai.philosophy:7462
Path: newshub.ccs.yorku.ca!torn!cs.utexas.edu!uwm.edu!spool.mu.edu!agate!stanford.edu!unix!morgan
>From: morgan@unix.SRI.COM (Morgan Kaufmann)
Newsgroups: comp.ai,sci.philosophy.tech,comp.ai.philosophy
Subject: Publication announcement for KR92 Proceedings
Keywords: knowledge representation, reasoning, book, proceedings
Message-ID: <40081@unix.SRI.COM>
Date: 30 Oct 92 00:57:22 GMT
Followup-To: poster
Organization: SRI International, Menlo Park, CA
Lines: 107




Morgan Kaufmann announces the publication of


PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING:
PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE (KR92)

Edited by Bernhard Nebel (German Research Center for Artificial
Intelligence), Charles Rich (Mitsubishi Electric Research
Laboratories), and William Swartout (University of Southern
California/Information Sciences Institute)

ISBN 1-55860-262-3   ISSN 1046-9567    791 pages
Price $44.95 U.S.  $49.95 International

The idea of explicit representations of knowledge, manipulated by
general-purpose inference algorithms, underlies much work in
artificial intelligence, from natural language processing to expert
systems.  The KR conferences have established themselves as the
leading forum for timely, in-depth presentation of new results in
knowledge representation and reasoning.

The papers in this volume, which are twice as long as papers in the
general AI conferences, have passed a stringent review process. 
The topics covered include nonmonotonic logic, taxonomic logic,
specialized algorithms for temporal, spatial, and numerical
reasoning, and knowledge representation issues in planning,
diagnosis, and natural language processing.  Within these topics,
treatments range from the abstract specification of algorithms and
their computational complexity to the analysis of implemented
systems.  These proceedings are an essential reference volume for
researchers and students interested in a detailed view of this key
research area.


TABLE OF CONTENTS

I.      Planning and Temporal Reasoning                          1

II.     Specialized Reasoning                                    139

III.    Issues in Multi-Agent Environments                       211

IV.     Taxonomic Logics                                         245

V.      Natural Language Processing                              355

VI.     Deduction                                                381

VII.    Logics of Belief and Intention                           437

VIII.   Diagnosis and Abduction                                  475

IX.     Nonmonotonic Logics                                      551

X.      Reasoning Architectures                                  751

XI.     Invited Talks and Panels                                 775

Author Index                                                     791     


Additional Titles of Interest from the Morgan Kaufmann Series in
Representation and Reasoning

PLANNING AND CONTROL, Thomas L. Dean and Michael P. Wellman

REPRESENTATIONS OF COMMONSENSE KNOWLEDGE, Ernest Davis

PRINCIPLES OF SEMANTIC NETWORKS: EXPLORATIONS IN THE REPRESENTATION
OF KNOWLEDGE, edited by John Sowa

REASONING ABOUT PLANS, James F. Allen, Henry A. Kautz, Richard N.
Pelavin, and Josh D. Tenenberg

READINGS IN PLANNING, edited by James Allen, James Hendler, and
Austin Tate

PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS
OF THE SECOND INTERNATIONAL CONFERENCE (KR '91), edited by James
Allen, Richard Fikes, and Erik Sandewall


Ordering Information:

        Shipping: In the U.S. and Canada, please add $3.50 for the
        first book and $2.50 for each additional for surface shipping;
        for surface shipments to all other areas, please add $6.50 for
        the first book and $3.50 for each additional book.  Air
        shipment available outside North America for $35.00 on the
        first book, and $25.00 on each additional book.  

        American Express, Master Card, Visa and personal checks drawn
        on U.S. banks accepted.
                MORGAN KAUFMANN PUBLISHERS, INC.
                Department E18
                2929 Campus Drive, Suite 260
                San Mateo, CA 94403
                USA
        
        Phone: (800) 745-7323 (in North America)
             (415) 578-9911
        Fax:   (415) 578-0672
        email: morgan@unix.sri.com



