KR, Inc. Principles of Knowledge Representation and Reasoning, Incorporated

Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.) is a charitable organization incorporated in the state of Massachusetts of the United States of America concerned with fostering research and communication on knowledge representation and reasoning. Its primary activities include organizing a series of conferences, the Conferences on Principles of Knowledge Representation and Reasoning, cooperating with workshops on related topics, and maintaining informational materials on the World Wide Web, and maintaining KR-related mailing lists.

KR, Inc. is organizing its ninth conference, KR2004, June 2-5, 2004, Whistler, British Columbia, Canada..

The KR conferences provide more intimate settings than that of general AI conferences for researchers studying explicit representations of knowledge manipulated by inference algorithms, which provide an important foundation for much work in Artificial Intelligence from natural language to expert systems. The conference emphasizes both the theoretical principles of knowledge representation and reasoning and the relationships between these principles and their embodiments in working systems.

The full list of KR conferences is:

• 1989, Toronto, Canada
• 1991, Cambridge, Massachusetts, USA
• 1992, Cambridge, Massachusetts, USA
• 1994, Bonn, Germany
• 1996, Cambridge, Massachusetts, USA
• 1998, Trento, Italy
• 2000, Breckenridge, Colorado, USA
• 2002, Toulouse, France

The proceedings for KR'89-KR2002 are published by Morgan Kaufmann Publishers, San Francisco, California, USA.

KR conferences have often been held in close conjunction with more specialized meetings. Past conferences have often been held in conjunction with the Description Logics workshops, the Nonmonotonic Reasoning workshops, and the AIPS planning conference. In 1996 the Description Logics workshop became an officially supported activity of KR, Inc.

The KR web site currently maintains information on topics including:

• The International Workshops on Nonmonotonic Reasoning
• The Qualitative Decision Theory page

KR, Inc. has established KR@KR.ORG, a strictly-controlled automated mailing list used only to distribute official announcements about the KR conferences and associated workshops. See the instructions on how to add yourself to this mailing list.

Other lists maintained at present include ones for the Nonmonotonic Reasoning Workshops and the Qualitative Decision Theory Workshop.

The operating structure of KR, Inc. consists of the corporate officers and the board. The officers are given below, while as a matter of practice the board consists of both the Board of Directors and the Advisory Board, the distinction between these being purely legal.

Corporate Officers

• Anthony G. Cohn, University of Leeds, President
• Peter Patel-Schneider, Bell Labs Research, Clerk and Treasurer

Board of Directors

• Anthony G. Cohn, University of Leeds
• Jon Doyle, North Carolina State University
• Peter Patel-Schneider, Bell Labs Research

Advisory Board

• Anthony G. Cohn, University of Leeds (KR, Inc. Past President)
• Dieter Fensel, Vrije Universiteit Amsterdam (KR2002 Program Co-Chair)
• Fausto Giunchiglia, University of Trento and ITC-IRST (KR2002 General Chair)
• Andres Herzig, IRIT-UPS-LILac (KR2002 Local Arrangements Co-Chair)
• Jerome Lang, IRIT-UPS-CNRS (KR2002 Local Arrangements Co-Chair)
• Deborah McGuinness, Stanford University (KR2002 Program Co-Chair)
• Bruce Porter, University of Texas, Austin (KR2002 Workshops Chair)
• Bart Selman, Cornell University (KR2000 Program Co-Chair)
• Stuart C. Shapiro, State University of New York at Buffalo (KR, Inc., Past President)
• Mirek Truszczynski, University of Kentucky (NMR Representative)
• Laure Vieu, IRIT-UPS (KR2002 Treasurer)
• Mary-Anne Williams, The University of Newcastle, Australia (KR2002 Program Co-Chair)

Advisory Board Alumni

• Luigia Carlucci Aiello, Università di Roma ``La Sapienza''
• James F. Allen, University of Rochester
• Ronald Jay Brachman, AT&T Labs - Research
• Richard E. Fikes, Stanford University
• Enrico Franconi, University of Manchester
• Werner Horn, University of Vienna
• Walter Gerhard Lakemeyer, Aachen University of Technology
• Hector J. Levesque, University of Toronto
• Ronald Prescott Loui, Washington University in Saint Louis
• Bernhard Georg Nebel, Albert-Ludwigs-Universität Freiburg
• Lin Padgham, Royal Melbourne Insitute of Technology
• Raymond Reiter, University of Toronto
• Charles Rich, Mitsubishi Electric Research Laboratory
• Erik J. Sandewall, Linkoeping University
• Lenhart Schubert, University of Rochester
• James G. Schmolze, Tufts University
• William Roy Swartout, USC Information Sciences Institute
• Pietro Torasso, Università di Torino

KR pages have been accessed times since 18 January 1996.