<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="Generator" CONTENT="MS Exchange Server version 6.0.4630.0">
<TITLE>KR2004 CALL for PAPERS Submission Deadline: November 26, 2003</TITLE>
</HEAD>
<BODY>
<!-- Converted from text/rtf format -->
<P><FONT SIZE=2 FACE="Verdana"> We apologize if you receive multiple copies of this message.</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> It has been posted to a large number of email-lists.</FONT>
</P>
<P>
<BR> <FONT SIZE=2 FACE="Verdana"> <B> KR2004 CALL FOR PAPERS</B></FONT>
<BR><FONT SIZE=2 FACE="Verdana"> </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> </FONT><B> <FONT SIZE=2 FACE="Verdana">Ninth International Conference on the </FONT></B>
<BR><B><FONT SIZE=2 FACE="Verdana"> Principles of Knowledge Representation and Reasoning</FONT></B>
<BR><FONT SIZE=2 FACE="Verdana"> June 2 - 5, 2004</FONT>
<BR> <FONT SIZE=2 FACE="Verdana"> Whistler, Canada</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Submission Deadline: November 26, 2003</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Sponsored by KR Inc, IBM, SFU and UTS</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana"> </FONT>
<BR><FONT SIZE=2 FACE="Verdana">Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of </FONT>
<BR><FONT SIZE=2 FACE="Verdana">human endeavor. KR&R techniques are key drivers of innovation in computer science, </FONT>
<BR><FONT SIZE=2 FACE="Verdana">and they have led to significant advances in practical applications in a wide </FONT>
<BR><FONT SIZE=2 FACE="Verdana">range of areas from Artificial Intelligence to Software Engineering.</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Explicit representations of knowledge manipulated by reasoning engines are an </FONT>
<BR><FONT SIZE=2 FACE="Verdana">integral and crucial component of intelligent systems. Semantic Web technologies </FONT>
<BR><FONT SIZE=2 FACE="Verdana">and the design of software agents, in particular, provide significant challenges </FONT>
<BR><FONT SIZE=2 FACE="Verdana">for KR&R. </FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">We intend KR2004 to be a forum for the exchange of news, issues, and results among </FONT>
<BR><FONT SIZE=2 FACE="Verdana">the community of researchers in the principles and practices of KR&R systems. We </FONT>
<BR><FONT SIZE=2 FACE="Verdana">encourage papers presenting substantial new results in the principles of KR&R </FONT>
<BR><FONT SIZE=2 FACE="Verdana">systems that clearly contribute to the formal foundations or show the applicability </FONT>
<BR><FONT SIZE=2 FACE="Verdana">of the results to implemented and implementable systems. We also encourage "reports </FONT>
<BR><FONT SIZE=2 FACE="Verdana">from the field'' of applications, experiments, developments, and tests. Such papers </FONT>
<BR><FONT SIZE=2 FACE="Verdana">should be explicitly identified as reports from the field by the authors, to ensure </FONT>
<BR><FONT SIZE=2 FACE="Verdana">appropriate reviewing, and must include a section on evaluation.</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">KR2004 will collocate with the International Conference on Advanced Planning and </FONT>
<BR><FONT SIZE=2 FACE="Verdana">Scheduling (ICAPS-2004), with one day in common. We strongly encourage papers </FONT>
<BR><FONT SIZE=2 FACE="Verdana">which would be of interest to both communities.</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Topics of interest include: </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Exception Tolerant and Inconsistency-Tolerant Reasoning, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Default Logics, Conditional Logics, Paraconsistent Logics, Argumentation </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Temporal Reasoning, Spatial reasoning, Causal Reasoning, Abduction, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Explanations, Extrapolation, Model-based diagnosis </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Reasoning about Actions, Situation Calculus, Action Languages, Dynamic Logic </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Reasoning, Planning, or Decision Making under Uncertainty, Probabilistic and </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Possibilistic approaches, Belief Functions and Imprecise Probabilities </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Representations of Vagueness, Many-valued and Fuzzy Logics, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Concept Formation, Similarity-based reasoning </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Information Change, Belief Revision, Update </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Information Fusion, Ontologies, Ontology Methodology</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Qualitative reasoning and decision theory, Preference modeling, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Reasoning about preference, reasoning about physical systems </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Intelligent agents, negotiation, group decision making, cooperation, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> interaction, game theory, common knowledge, cognitive robotics </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Algebraic foundations of knowledge representations, graphical representations </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Modal logics and reasoning, belief, preference networks, constraints </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Knowledge representation languages, Description logics, Logic programming, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> constraint logic programming, inductive logic programming, complexity analysis </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Natural language processing, learning, discovering and acquiring knowledge, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> belief networks, summarization, categorization </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Applications of KR&R, Knowledge-based Scheduling, WWW querying languages, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Information retrieval and web mining, Website selection and configuration, </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Electronic commerce and auctions </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> o Philosophical foundations and psychological evidence</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Important Dates </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Electronic Submission Deadline: November 26, 2003</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Notification of acceptance: January 14, 2004</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Camera-ready papers due: March 3, 2004</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> KR2004 Conference: June 2 -5, 2004</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Paper Submission</FONT>
<BR><FONT SIZE=2 FACE="Verdana">The Program Committee will review extended abstracts rather than complete papers. </FONT>
<BR><FONT SIZE=2 FACE="Verdana">Submissions must be at most twelve (12) pages, excluding the bibliography, with </FONT>
<BR><FONT SIZE=2 FACE="Verdana">a maximum of 38 lines per page and an average of 75 characters per line </FONT>
<BR><FONT SIZE=2 FACE="Verdana">(corresponding to the LaTeX article-style, 12pt). If you have a separate title </FONT>
<BR><FONT SIZE=2 FACE="Verdana">page containing at most the title, author information, keywords and abstract, </FONT>
<BR><FONT SIZE=2 FACE="Verdana">this will not be counted in the twelve page limit. Over length submissions will </FONT>
<BR><FONT SIZE=2 FACE="Verdana">be rejected without review. Authors of accepted papers will be expected to submit </FONT>
<BR><FONT SIZE=2 FACE="Verdana">substantially longer full papers for the conference proceedings. Authors must </FONT>
<BR><FONT SIZE=2 FACE="Verdana">submit an online title page and an electronic version of their paper in pdf format </FONT>
<BR><FONT SIZE=2 FACE="Verdana">only. The electronic process will be made available on the KR2004 website closer </FONT>
<BR><FONT SIZE=2 FACE="Verdana">to the submission date. Papers not in pdf format will be rejected without review. </FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Invited Speakers </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Keynote Speakers </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Patrick Doherty, University of Linkoping, Sweden</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Itzhak Gilboa, Tel-Aviv University, Israel</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Peter Patel-Schneider, Bell Labs Research, USA</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana"> "Great Moments in Knowledge Representation" Series</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> John McCarthy, Stanford University</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> William Woods, Sun Microsystems</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Conference Chair: Mary-Anne Williams </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> University of Technology, Sydney, Australia</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Program Chairs: Didier Dubois, Univ. Paul Sabatier, France </FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Christopher Welty, IBM Watson Research Center, USA </FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Local Arrangements: Jim Delgrande, Simon Fraser University, Canada </FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Workshops Coordination Chair: Sheila McIlraith, Stanford University, USA </FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Treasurer: Alankar Karol, University of Technology, Sydney, Australia </FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Program Committee</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> William Andersen, Ontology Works, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Franz Baader, University of Dresden, Germany</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Philippe Balbiani, IRIT, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Salem Benferhat, University of Artois, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Brandon Bennett, University of Leeds, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Ronen Brafman, University of Tel-Aviv, Israel</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Gerhard Brewka, University of Leipzig, Germany</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Marco Cadoli, University of Rome "La Sapienza", Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Vinay Chaudhri, SRI, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Tony Cohn, Leeds, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Marie-Odile Cordier, Rennes, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Adnan Darwiche, UCLA, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Ernest Davis, New York University, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> John Debenham, University of Technology, Sydney</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Rina Dechter, UCLA, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Jon Doyle, North Carolina State Univ., USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Thomas Eiter, Vienna University of Tech, Austria</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Peter Eklund, University of Queensland, Australia</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Thomas Ellman, Vassar College, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Richard Fikes, Stanford University, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Tim Finin, University of Maryland, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Antony Galton, University of Exeter, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Aldo Gangemi, CNR Roma, Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Hector Geffner, University of Pomeu Fabra, Spain</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Enrico Giunchiglia, Universita of Genova, Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Carole Goble, University of Manchester, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Lluis Godo, IIIIA-CSIC Barcelona, Spain</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Asunción Gómez-Pérez, Univ. Poli. de Madrid, Spain</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Nicola Guarino, LOA-ISTC, Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Pat Hayes, University of West Florida, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Andreas Herzig, IRIT, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Ian Horrocks, University of Manchester, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Anthony Hunter, University College London, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Henry Kautz, University of Washington, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Gabriele Kern-Isberner, Univ. of Hagen, Germany</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Jerome Lang, IRIT, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Fritz Lehmann, Ontology Consulting Corp, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Hector Levesque, University of Toronto, Canada</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Paolo Liberatore, University of Rome "La Sapienza", Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Vladimir Lifschitz, University of Texas at Austin, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Fangzhen Lin, Hong Kong Univ. Sci. & Tech China</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Thomas Lukasiewicz, University of Rome, Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Pierre Marquis, Univ. Lens, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Sheila McIlraith, Stanford University, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> John-Jules Meyer, Utrecht University, NL</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Guy Mineau, Universite Laval, Canada</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Leora Morgenstern, IBM Research, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Erik Mueller, IBM Research, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Stephen Muggleton, Imperial College, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Daniele Nardi, University of Rome "La Sapienza", Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Bernhard Nebel, University of Freiburg, Germany</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Ilkka Niemela, Tech. Univ. Helsinki, Finland</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Lin Padgham, RMIT, Australia</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Pavlos Peppas, AIT, Greece</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Ramon Pino-Perez, Univ. de Los Andes, Venezuela</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> David Poole, University of British Columbia, Canada</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> David Randell, Imperial College London, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Marie Christine Rousset, Univ. Paris-Sud, France</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Guus Schreiber, University of Amsterdam, NL</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Colleen Seifert, University of Michigan, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Bart Selman, Cornell University, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Stuart C. Shapiro, SUNY Buffalo, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Helena Sofia-Pinto, IST Lisboa, Portugal</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Liz Sonenberg, University of Melbourne, Australia</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Rudi Studer, Univ. Karlsruhe, Germany</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Michael Thielscher, Univ. Dresden, Germany</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Rich Thomason, University of Michigan, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Pietro Torasso, University of Torino, Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Mirek Truszczynski, University of Kentucky, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Laure Vieu, LOA-ISTC, Italy</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Toby Walsh, University of York, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Michael Whitbrock, Cycorp, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Brian Williams, MIT, USA</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Frank Wolter, University of Liverpool, UK</FONT>
<BR><FONT SIZE=2 FACE="Verdana"> Mike Wooldridge, University of Liverpool, UK</FONT>
</P>
<P><FONT SIZE=2 FACE="Verdana">Websites: </FONT><A HREF="http://www.KR.org"><U><FONT COLOR="#0000FF" SIZE=2 FACE="Verdana">http://www.KR.org</FONT></U></A><FONT SIZE=2 FACE="Verdana"> and </FONT><A HREF="http://magic.it.uts.edu.au/KR2004/"><U><FONT COLOR="#0000FF" SIZE=2 FACE="Verdana">http://magic.it.uts.edu.au/KR2004/</FONT></U></A>
</P>
<P><FONT SIZE=2 FACE="Verdana">-------</FONT>
<BR><B><FONT SIZE=2 FACE="Verdana">Professor Mary-Anne Williams</FONT></B>
<BR><FONT SIZE=2 FACE="Verdana">Innovation and Technology Research Laboratory</FONT>
<BR><FONT SIZE=2 FACE="Verdana">Faculty of Information Technology</FONT>
<BR><FONT SIZE=2 FACE="Verdana">University of Technology, Sydney</FONT>
<BR><FONT SIZE=2 FACE="Verdana">NSW 2007 Australia</FONT>
<BR><A HREF="http://research.it.uts.edu.au/magic/Mary-Anne"><U><FONT COLOR="#0000FF" SIZE=2 FACE="Verdana">http://research.it.uts.edu.au/magic/Mary-Anne</FONT></U></A>
</P>
</BODY>
</HTML>