<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=iso-8859-1">
<META content="MSHTML 6.00.2800.1491" name=GENERATOR>
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV><FONT face=Verdana size=2></FONT><BR></DIV>
<DIV>Please help circulate the CFP for KR2006 and the invitation to join KR
Email lists described in the footer of this message to interested
parties.</DIV>
<DIV> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV> </DIV>
<DIV>
Preliminary Call for Papers
KR2006<BR><BR><BR>
Tenth International Conference on Principles of
<BR>
Knowledge Representation and Reasoning
(KR2006)<BR><BR>
June 2 - 6, 2006
(Provisional)<BR>
Lake District, United Kingdom
<BR><BR>
Sponsored by KR Inc (<A
href="http://www.kr.org">www.kr.org</A>)<BR><BR>
Submission deadline: November 7,
2005<BR><BR>
<A
href="http://www.kr.org/KR2006">http://www.kr.org/KR2006</A><BR><BR><BR>Knowledge
Representation and Reasoning (KR&R) is a vibrant and exciting field <BR>of
human endeavour. KR&R techniques are key drivers of innovation in computer
<BR>science, and they have led to significant advances in practical applications
<BR>in a wide range of areas from Artificial Intelligence to Software
Engineering. <BR><BR>Explicit representations of knowledge manipulated by
reasoning engines are an <BR>integral and crucial component of intelligent
systems. Semantic Web technologies, <BR>the design of software agents and
Bio-Informatics technologies, in particular, <BR>provide significant challenges
for KR&R. <BR><BR>We intend KR2006 to be a forum for the exchange of news,
issues, and results <BR>among the community of researchers in the principles and
practices of KR&R <BR>systems. We encourage papers presenting substantial
new results in the principles <BR>of KR&R systems that clearly contribute to
the formal foundations or show the <BR>applicability of the results to
implemented or implementable systems. We also <BR>encourage "reports from the
field'' of applications, experiments, developments, <BR>and tests. Such papers
should be explicitly identified as reports from the field <BR>by the authors, to
ensure appropriate reviewing, and must include a section on
<BR>evaluation.<BR><BR>KR2006 will be held immediately prior to ICAPS-06 in the
Lake District of the U.K.<BR>Note that the dates of the conference are subject
to change.<BR><BR>Topics of interest include:<BR><BR>* Exception tolerant and
inconsistency-tolerant reasoning, Default logics, <BR> Conditional logics,
Paraconsistent logics, Argumentation <BR>* Temporal reasoning, Spatial
reasoning, Causal reasoning, Abduction, <BR> Explanations, Extrapolation,
Model-based diagnosis <BR>* Reasoning about actions, Situation calculus, Action
languages, Dynamic logic<BR>* Reasoning, planning, or decision making under
uncertainty, Probabilistic and <BR> possibilistic approaches, Belief
functions and imprecise probabilities<BR>* Representations of vagueness,
Many-valued and fuzzy logics<BR>* Concept formation, Similarity-based reasoning
<BR>* Information change, Belief revision, Update<BR>* Information fusion,
Database fusion<BR>* Ontologies, Ontology engineering<BR>* Qualitative reasoning
and decision theory, Preference modeling, Reasoning about <BR> preference,
Reasoning about physical systems<BR>* Intelligent agents, Negotiation, Group
decision making, Cooperation, Interaction, <BR> Game theory, Common
knowledge, Cognitive robotics<BR>* Algebraic foundations of knowledge
representations, Graphical representations,<BR> Modal logics and
reasoning, Belief, Preference networks, Constraints<BR>* Knowledge
representation languages, Description logics, Logic programming, <BR>
Constraint logic programming, Inductive logic programming, Complexity
analysis<BR>* Natural language processing, Learning, Discovering and acquiring
knowledge, <BR> Belief networks, Summarization, Categorization<BR>*
Applications of KR\&R, Knowledge-based scheduling, WWW querying languages,
<BR> Information retrieval and web mining, Website selection and
configuration, <BR> Electronic commerce and auctions<BR>* Philosophical
foundations and psychological evidence<BR><BR>Important Dates<BR><BR>Electronic
submission deadline: November 7, 2005<BR>Notification of acceptance: January 14,
2006<BR>Camera-ready papers due: March 3, 2006<BR>KR2006 conference: June 2-6,
2006 (provisional)<BR><BR>Paper Format<BR><BR>The Program Committee will review
extended abstracts rather than complete papers.<BR>Submissions must be at most
twelve (12) pages, excluding the bibliography, with a <BR>maximum of 38 lines
per page and an average of 75 characters per line (corresponding <BR>to the
LaTeX article-style, 12pt). If you have a separate title page containing at
<BR>most the title, author information, keywords and abstract, this will not be
counted <BR>in the twelve page limit. Overlength submissions will be rejected
without review.<BR><BR>Conference Chair<BR><BR>Christopher Welty, IBM Watson
Research Center, USA <BR><BR>Program Chairs<BR><BR>Patrick Doherty, IDA,
Linkoping University, Sweden<BR>John Mylopoulos, Bahen Centre for IT, University
of Toronto, Canada<BR><BR>Local Arrangements<BR><BR>Ian Horrocks, Department of
Computer Science, University of Manchester, UK<BR><BR>Doctoral Consortium
Chair<BR><BR>Fangzhen Lin, Department of Computer Science<BR>Hong Kong
University of Science and Technology, Hong Kong<BR><BR>Publicity
Support<BR><BR>Michael Thielscher, Department of Computer Science<BR>Dresden
University of Technology, Germany<BR><BR><BR>Program Committee<BR><BR>Eyal Amir
University of Illinois, Urbana-Champaign, USA<BR>William Andersen Ontology
Works, USA <BR>Grigoris Antoniou University of Crete and FORTH-ICS, Greece
<BR>Franz Baader TU Dresden, Germany <BR>Philippe Balbiani IRIT-CNRS, France
<BR>Chitta Baral Arizona State University, USA <BR>Brandon Bennett
University of Leeds, UK <BR>Danny Bobrow Palo Alto Research Center, USA
<BR>Alexander Borgida Rutgers University, USA <BR>Ronen Brafman Ben-Gurion
University, Israel <BR>Gerhard Brewka University of Leipzig, Germany <BR>Marco
Cadoli Universita' di Roma "La Sapienza", Italy <BR>Diego Calvanese Free
University of Bozen-Bolzano, Italy<BR>Marie-Odile Cordier Universite Rennes 1,
IRISA, France <BR>Ernest Davis New York University, USA <BR>John Debenham
University of Technology, Sydney, Australia <BR>Giuseppe De Giacomo Universita'
di Roma "La Sapienza", Italy <BR>Jon Doyle North Carolina State, USA <BR>Didier
Dubois IRIT-CNRS, France <BR>Thomas Eiter Vienna University of Technology,
Austria <BR>Peter Eklund University of Wollongong, Australia <BR>Thomas Ellman
Vassar College, USA <BR>Dieter Fensel National University of Ireland &
University of Innsbruck, Austria <BR>Richard Fikes Stanford University, USA
<BR>Tim Finin University of Maryland, Baltimore County, USA <BR>Enrico Franconi
Free University of Bozen-Bolzano, Italy <BR>Antony Galton University of Exeter,
UK <BR>Aldo Gangemi ISTC-CNR Roma, Italy <BR>Hector Geffner University of Pompeu
Fabra, Spain <BR>Enrico Giunchiglia Universita' di Genova, Italy <BR>Lluis Godo
IIIA-CSIC Bellaterra, Spain <BR>Asuncion Gomez-Perez University Politecnica de
Madrid, Spain <BR>Nicola Guarino ISTC-CNR, Trento, Italy <BR>Andreas Herzig
IRIT-CNRS, France <BR>Ian Horrocks University of Manchester, UK <BR>Anthony
Hunter University College London, UK <BR>Gabriele Kern-Isberner University of
Dortmund, Germany <BR>Iluju Kiringa University of Ottawa, Canada <BR>Jana
Koehler IBM Zurich Research Laboratory, Switzerland <BR>Jan Komorowski Linnaeus
Centre for Bioinformatics, Uppsala University, Sweden <BR>Manolis Koubarakis
Technical University of Crete, Greece <BR>Gerhard Lakemeyer RWTH Aachen
University, Germany <BR>Jerome Lang IRIT-CNRS, France <BR>Yves Lesperance York
University, Canada <BR>Hector Levesque University of Toronto, Canada <BR>Paolo
Liberatore Universita' di Roma "La Sapienza", Italy <BR>Vladimir Lifschitz
University of Texas at Austin, USA <BR>Fangzhen Lin Hong Kong University of
Science & Technology, Hong Kong <BR>Thomas Lukasiewicz Universita' di Roma
"La Sapienza", Italy <BR>David Makinson Kings College London, UK <BR>Pierre
Marquis CRIL/Universit d'Artois, Lens, France <BR>Deborah McGuinness Stanford
University, USA <BR>Sheila McIlraith University of Toronto, Canada
<BR>John-Jules Meyer Utrecht University, Netherlands <BR>Guy Mineau Universite
Laval, Canada <BR>Leora Morgenstern IBM T.J. Watson Research Center, USA
<BR>Erik Mueller IBM T.J. Watson Research Center, USA <BR>Bernhard Nebel
Albert-Ludwigs-Universitat Freiburg, Germany <BR>Ilkka Niemela Helsinki
University of Technology, Finland<BR>Maurice Pagnucco University of New South
Wales, Australia <BR>Pavlos Peppas University of Patras, Greece <BR>Ramon
Pino-Perez Universidad de Los Andes, Venezuela <BR>Fiori Pirri Universita' di
Roma "La Sapienza", Italy <BR>Dimitris Plexousakis University of Crete, Greece
<BR>David Poole University of British Columbia, Canada <BR>Alan Rector
University of Manchester, UK <BR>Marie Christine Rousset University Paris-Sud,
France <BR>Alessandro Saffiotti Orebro University, Sweden <BR>Erik Sandewall
Linkoping University, Sweden <BR>Bart Selman Cornell University, USA <BR>Murray
Shannahan Imperial College, UK <BR>Stuart C. Shapiro University of Buffalo, USA
<BR>Helena Sofia-Pinto Instituto Superior Tecnico de Lisboa, Portugal <BR>Liz
Sonenberg University of Melbourne, Australia <BR>Rudi Studer University of
Karlsruhe, Germany <BR>Andrzej Szalas Linkoping University, Sweden <BR>Michael
Thielscher TU Dresden, Germany <BR>Rich Thomason University of Michigan, USA
<BR>Pietro Torasso University of Torino, Italy <BR>Mirek Truszczynski University
of Kentucky, USA <BR>Laure Vieu IRIT-CNRS Toulouse, France <BR>Toby Walsh
National ICT Australia & University of New South Wales, Australia<BR>Michael
Witbrock Cycorp Inc., USA <BR>Brian Williams MIT, USA <BR>Mary-Anne Williams
University of Technology, Sydney, Australia <BR>Frank Wolter University of
Liverpool, UK <BR>Mike Wooldridge University of Liverpool, UK</DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2>--------------------------</FONT></DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2>If you are not a subscriber already you are
welcome to join one of two email lists managed by KR Inc depending on
your needs:</FONT></DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2>1. The KR emaillist <FONT face=Verdana
size=2>which is only used to circulate information about the KR Conference
Series</FONT> at <A
href="http://discuss.it.uts.edu.au/mailman/listinfo/kr">http://discuss.it.uts.edu.au/mailman/listinfo/kr</A>,
and</FONT></DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2>2. A moderated list which is used to
circulate KR related announcements PLANETKR <A
href="http://discuss.it.uts.edu.au/mailman/listinfo/planetkr">http://discuss.it.uts.edu.au/mailman/listinfo/planetkr</A></FONT></DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2>If you sign up to PlanetKR you will automatically
receive all messages sent to KR.</FONT></DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV>
<DIV><FONT face=Verdana size=2></FONT> </DIV></BODY></HTML>