KR2004 CALL for PAPERS Submission Deadline: November 26, 2003

>  	We apologize if you receive multiple copies of this message. 
> 	     It has been posted to a large number of email-lists. 
> 
> 
> 			
> 		            KR2004 CALL FOR PAPERS
>                                
>                   Ninth International Conference on the 
>           Principles of Knowledge Representation and Reasoning
>                                June 2 - 5, 2004
> 			       Whistler, Canada
>              Submission Deadline: November 26, 2003
>                 Sponsored by KR Inc, IBM, SFU and UTS
> 
>                  
> Knowledge Representation and Reasoning (KR&R) is a vibrant and
> exciting field of 
> human endeavor. KR&R techniques are key drivers of innovation in
> computer science, 
> and they have led to significant advances in practical applications in
> a wide 
> range of areas from Artificial Intelligence to Software Engineering.
> 
> Explicit representations of knowledge manipulated by reasoning engines
> are an 
> integral and crucial component of intelligent systems. Semantic Web
> technologies 
> and the design of software agents, in particular, provide significant
> challenges 
> for KR&R. 
> 
> We intend KR2004 to be a forum for the exchange of news, issues, and
> results among 
> the community of researchers in the principles and practices of KR&R
> systems. We 
> encourage papers presenting substantial new results in the principles
> of KR&R 
> systems that clearly contribute to the formal foundations or show the
> applicability 
> of the results to implemented and implementable systems. We also
> encourage "reports 
> from the field'' of applications, experiments, developments, and
> tests. Such papers 
> should be explicitly identified as reports from the field by the
> authors, to ensure 
> appropriate reviewing, and must include a section on evaluation.
> 
> KR2004 will collocate with the International Conference on Advanced
> Planning and 
> Scheduling (ICAPS-2004), with one day in common. We strongly encourage
> papers 
> which would be of interest to both communities.
> 
> Topics of interest include: 
> 	    o  knowledge modeling and management 
> 	    o  reasoning techniques for incomplete & uncertain knowledge
> 
> 	    o  implemented KR systems 
> 	    o  KR in software engineering and planning
> 	    o  KR in robotics and intelligent agents     
> 	    o  the Semantic Web
> 
>  
> Important Dates 
>      Electronic Submission Deadline: November 26, 2003
>      Notification of acceptance: January 14, 2004
>      Camera-ready papers due: March 3, 2004
>      KR2004 Conference: June 2 -5, 2004
> 
> Paper Submission
> The Program Committee will review extended abstracts rather than
> complete papers. 
> Submissions must be at most twelve (12) pages, excluding the
> bibliography, with 
> a maximum of 38 lines per page and an average of 75 characters per
> line 
> (corresponding to the LaTeX article-style, 12pt). If you have a
> separate title 
> page containing at most the title, author information, keywords and
> abstract, 
> this will not be counted in the twelve page limit. Over length
> submissions will 
> be rejected without review. Authors of accepted papers will be
> expected to submit 
> substantially longer full papers for the conference proceedings.
> Authors must 
> submit an online title page and an electronic version of their paper
> in pdf format 
> only. The electronic process will be made available on the KR2004
> website closer 
> to the submission date. Papers not in pdf format will be rejected
> without review. 
> 
> Invited Speakers 
>     Keynote Speakers 
>         Patrick Doherty, University of Linkoping, Sweden
>         Itzhak Gilboa, Tel-Aviv University, Israel
>         Peter Patel-Schneider, Bell Labs Research, USA
> 
>     "Great Moments in Knowledge Representation" Series
>         John McCarthy, Stanford University
>         William Woods, Sun Microsystems
> 
> Conference Chair: Mary-Anne Williams 
>                   University of Technology, Sydney, Australia
> 
> Program Chairs: Didier Dubois, Univ. Paul Sabatier, France 
>                 Christopher Welty, IBM Watson Research Center, USA 
> 
> Local Arrangements: Jim Delgrande, Simon Fraser University, Canada 
> 
> Workshops Coordination Chair: Sheila McIlraith, Stanford University,
> USA 
> 
> Treasurer: Alankar Karol, University of Technology, Sydney, Australia 
> 
> Program Committee
> 	William Andersen, Ontology Works, USA
> 	Franz Baader, University of Dresden, Germany
> 	Germany Philippe Balbiani, IRIT, France
> 	Salem Benferhat, University of Artois, France
> 	Brandon Bennett, University of Leeds, UK
> 	Ronen Brafman, University of Tel-Aviv, Israel
> 	Gerhard Brewka, University of Leipzig, Germany
> 	Marco Cadoli, Universita of Roma, Italy
> 	Vinay Chaudhri, SRI, USA
> 	Tony Cohn, Leeds, UK
> 	Marie-Odile Cordier, Rennes, France
> 	Adnan Darwiche, UCLA, USA
> 	Ernest Davis, New York University, USA
> 	John Debenham, University of Technology, Sydney
> 	Rina Dechter, UCLA, USA
> 	Jon Doyle, North Carolina State Univ., USA
> 	Thomas Eiter, Vienna University of Tech, Austria
> 	Peter Eklund, University of Queensland, Australia
> 	Thomas Ellman, Vassar College, USA
> 	Richard Fikes, Stanford University, USA
> 	Tim Finin, University of Maryland, USA
> 	Antony Galton, University of Exeter, UK
> 	Aldo Gangemi, ISTC-CNR, Italy
> 	Hector Geffner, University of Pomeu Fabra, Spain
> 	Enrico Giunchiglia, Universita di Genova, Italy
> 	Carole Goble, University of Manchester, UK
> 	Lluis Godo, IIIIA-CSIC Barcelona, Spain
> 	Asunci¢n G¢mez-P‚rez, Univ. Poli. de Madrid, Spain
> 	Nicola Guarino, ISTC-CNR, Italy
> 	Pat Hayes, University of West Florida, USA
> 	Andreas Herzig, IRIT, France
> 	Ian Horrocks, University of Manchester, UK
> 	Anthony Hunter, University College London, USA
> 	Henry Kautz, University of Washington, USA
> 	Gabriele Kern-Isberner, Univ. of Hagen, Germany
> 	Jerome Lang, IRIT, France
> 	Fritz Lehmann, Ontology Consulting Corp, USA
> 	Hector Levesque, University of Toronto, Canada 
> 	Paolo Liberatore, University of Rome, Italy
> 	Vladimir Lifschitz, University of Texas at Austin, USA
> 	Fangzhen Lin, Hong Kong Univ. Sci. & Tech, China
> 	Thomas Lukasiewicz, University of Rome, Italy
> 	Pierre Marquis, Univ. Lens, France
> 	John-Jules Meyer, Utrecht University, NL
> 	Guy Mineau, Universite Laval, Canada
> 	Leora Morgenstern, IBM Research, USA
> 	Erik Mueller, IBM Research, USA
> 	Stephen Muggleton, Imperial College, UK
> 	Daniele Nardi, University of Rome, Italy
> 	Bernhard Nebel, University of Freiburg, Germany
> 	Ilkka Niemela, Tech. Univ. Helsinki, Finland
> 	Lin Padgham, RMIT, Australia
> 	Pavlos Peppas, AIT, Greece
> 	Ramon Pino-Perez, Univ. LA, Venezuela
> 	David Poole, University of BC, Canada
> 	David Randell, Imperial College London, UK
> 	Debbie Richards, Macquarie University, Australia
> 	Marie Christine Rousset, Univ. Paris-Sud, France
> 	Guus Schreiber, Free University Amsterdam, NL
> 	Colleen Seifert, University of Michigan, USA
> 	Bart Selman, Cornell University, USA
> 	Stuart C. Shapiro, SUNY Buffalo, USA
> 	Helena Sofia-Pinto, IST Lisboa, Portugal
> 	Liz Sonenberg, University of Melbourne, Australia
> 	Rudi Studer, Univ. Karlsruhe, Germany
> 	Michael Thielscher, Univ. Dresden, Germany
> 	Rich Thomason, University of Michigan, USA
> 	Pietro Torasso, University of Torino, Italy
> 	Mirek Truszczynski, University of Kentucky, USA
> 	Laure Vieu, ISTC-CNR, Italy
> 	Toby Walsh, University of York, UK
> 	Michael Whitbrock, Cycorp, USA
> 	Brian Williams, MIT, USA
> 	Frank Wolter, University of Liverpool, UK
> 	Mike Wooldridge, University of Liverpool, UK 
> 
> 
> Websites:   http://www.KR.org   and
> http://magic.it.uts.edu.au/KR2004/
> 
> -------
> Professor Mary-Anne Williams
> Innovation and Technology Research Laboratory
> Faculty of Information Technology
> University of Technology, Sydney
> NSW 2007 Australia
> http://research.it.uts.edu.au/magic/Mary-Anne
>