KR 2006 - Preliminary Call for Papers

Please help circulate the CFP for KR2006 and the invitation to join KR Email lists described in the footer of this message.


         
                          Preliminary Call for Papers KR2006


                Tenth International Conference on Principles of 
                Knowledge Representation and Reasoning (KR2006)

                        June 2 - 6, 2006 (Provisional)
                        Lake District, United Kingdom 

                             Sponsored by KR Inc (www.kr.org)

                     Submission deadline: November 7, 2005

                           http://www.kr.org/KR2006


Knowledge Representation and Reasoning (KR&R) is a vibrant and exciting field of human endeavour. 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, the design of software agents and Bio-Informatics technologies, in particular, provide significant challenges for KR&R. 

We intend KR2006 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 or 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.

KR2006 will be held immediately prior to ICAPS-06 in the Lake District of the U.K. Note that the dates of the conference are subject to change.

Topics of interest include:

* Exception tolerant and inconsistency-tolerant reasoning, Default logics, 
  Conditional logics, Paraconsistent logics, Argumentation 
* Temporal reasoning, Spatial reasoning, Causal reasoning, Abduction, 
  Explanations, Extrapolation, Model-based diagnosis 
* Reasoning about actions, Situation calculus, Action languages, Dynamic logic
* Reasoning, planning, or decision making under uncertainty, Probabilistic and 
  possibilistic approaches, Belief functions and imprecise probabilities
* Representations of vagueness, Many-valued and fuzzy logics
* Concept formation, Similarity-based reasoning 
* Information change, Belief revision, Update
* Information fusion, Database fusion
* Ontologies, Ontology engineering
* Qualitative reasoning and decision theory, Preference modeling, Reasoning about 
  preference, Reasoning about physical systems
* Intelligent agents, Negotiation, Group decision making, Cooperation, Interaction, 
  Game theory, Common knowledge, Cognitive robotics
* Algebraic foundations of knowledge representations, Graphical representations,
  Modal logics and reasoning, Belief, Preference networks, Constraints
* Knowledge representation languages, Description logics, Logic programming, 
  Constraint logic programming, Inductive logic programming, Complexity analysis
* Natural language processing, Learning, Discovering and acquiring knowledge, 
  Belief networks, Summarization, Categorization
* Applications of KR\&R, Knowledge-based scheduling, WWW querying languages, 
  Information retrieval and web mining, Website selection and configuration, 
  Electronic commerce and auctions
* Philosophical foundations and psychological evidence

Important Dates

Electronic submission deadline: November 7, 2005
Notification of acceptance: January 14, 2006
Camera-ready papers due: March 3, 2006
KR2006 conference: June 2-6, 2006 (provisional)

Paper Format

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. Overlength submissions will be rejected without review.

Conference Chair

Christopher Welty, IBM Watson Research Center, USA 

Program Chairs

Patrick Doherty, IDA, Linkoping University, Sweden
John Mylopoulos, Bahen Centre for IT, University of Toronto, Canada

Local Arrangements

Ian Horrocks, Department of Computer Science, University of Manchester, UK

Doctoral Consortium Chair

Fangzhen Lin, Department of Computer Science
Hong Kong University of Science and Technology, Hong Kong

Publicity Support

Michael Thielscher, Department of Computer Science
Dresden University of Technology, Germany


Program Committee

Eyal Amir University of Illinois, Urbana-Champaign, USA
William Andersen Ontology Works, USA 
Grigoris Antoniou University of Crete and FORTH-ICS, Greece 
Franz Baader TU Dresden, Germany 
Philippe Balbiani IRIT-CNRS, France 
Chitta Baral Arizona State University, USA  
Brandon Bennett University of Leeds, UK 
Danny Bobrow Palo Alto Research Center, USA 
Alexander Borgida Rutgers University, USA 
Ronen Brafman Ben-Gurion University, Israel 
Gerhard Brewka University of Leipzig, Germany 
Marco Cadoli Universita' di Roma "La Sapienza", Italy 
Diego Calvanese Free University of Bozen-Bolzano, Italy
Marie-Odile Cordier Universite Rennes 1, IRISA, France 
Ernest Davis New York University, USA 
John Debenham University of Technology, Sydney, Australia 
Giuseppe De Giacomo Universita' di Roma "La Sapienza", Italy 
Jon Doyle North Carolina State, USA 
Didier Dubois IRIT-CNRS, France 
Thomas Eiter Vienna University of Technology, Austria 
Peter Eklund University of Wollongong, Australia 
Thomas Ellman Vassar College, USA 
Dieter Fensel National University of Ireland & University of Innsbruck, Austria 
Richard Fikes Stanford University, USA 
Tim Finin University of Maryland, Baltimore County, USA 
Enrico Franconi Free University of Bozen-Bolzano, Italy 
Antony Galton University of Exeter, UK 
Aldo Gangemi ISTC-CNR Roma, Italy 
Hector Geffner University of Pompeu Fabra, Spain 
Enrico Giunchiglia Universita' di Genova, Italy 
Lluis Godo IIIA-CSIC Bellaterra, Spain 
Asuncion Gomez-Perez University Politecnica de Madrid, Spain 
Nicola Guarino ISTC-CNR, Trento, Italy 
Andreas Herzig IRIT-CNRS, France 
Ian Horrocks University of Manchester, UK 
Anthony Hunter University College London, UK 
Gabriele Kern-Isberner University of Dortmund, Germany 
Iluju Kiringa University of Ottawa, Canada 
Jana Koehler IBM Zurich Research Laboratory, Switzerland 
Jan Komorowski Linnaeus Centre for Bioinformatics, Uppsala University, Sweden 
Manolis Koubarakis Technical University of Crete, Greece 
Gerhard Lakemeyer RWTH Aachen University, Germany 
Jerome Lang IRIT-CNRS, France 
Yves Lesperance York University, Canada 
Hector Levesque University of Toronto, Canada 
Paolo Liberatore Universita' di Roma "La Sapienza", Italy 
Vladimir Lifschitz University of Texas at Austin, USA 
Fangzhen Lin Hong Kong University of Science & Technology, Hong Kong 
Thomas Lukasiewicz Universita' di Roma "La Sapienza", Italy 
David Makinson Kings College London, UK 
Pierre Marquis CRIL/Universit d'Artois, Lens, France 
Deborah McGuinness Stanford University, USA 
Sheila McIlraith University of Toronto, Canada 
John-Jules Meyer Utrecht University, Netherlands 
Guy Mineau Universite Laval, Canada 
Leora Morgenstern IBM T.J. Watson Research Center, USA 
Erik Mueller IBM T.J. Watson Research Center, USA 
Bernhard Nebel Albert-Ludwigs-Universitat Freiburg, Germany 
Ilkka Niemela Helsinki University of Technology, Finland
Maurice Pagnucco University of New South Wales, Australia 
Pavlos Peppas University of Patras, Greece 
Ramon Pino-Perez Universidad de Los Andes, Venezuela 
Fiori Pirri Universita' di Roma "La Sapienza", Italy 
Dimitris Plexousakis University of Crete, Greece 
David Poole University of British Columbia, Canada 
Alan Rector University of Manchester, UK 
Marie Christine Rousset University Paris-Sud, France 
Alessandro Saffiotti Orebro University, Sweden 
Erik Sandewall Linkoping University, Sweden 
Bart Selman Cornell University, USA 
Murray Shannahan Imperial College, UK 
Stuart C. Shapiro University of Buffalo, USA 
Helena Sofia-Pinto Instituto Superior Tecnico de Lisboa, Portugal 
Liz Sonenberg University of Melbourne, Australia 
Rudi Studer University of Karlsruhe, Germany 
Andrzej Szalas Linkoping University, Sweden 
Michael Thielscher TU Dresden, Germany 
Rich Thomason University of Michigan, USA 
Pietro Torasso University of Torino, Italy 
Mirek Truszczynski University of Kentucky, USA 
Laure Vieu IRIT-CNRS Toulouse, France 
Toby Walsh National ICT Australia & University of New South Wales, Australia
Michael Witbrock Cycorp Inc., USA 
Brian Williams MIT, USA 
Mary-Anne Williams University of Technology, Sydney, Australia 
Frank Wolter University of Liverpool, UK 
Mike Wooldridge University of Liverpool, UK


--------------------------

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:

1. The KR emaillist which is only used to circulate information about the KR Conference Series at http://discuss.it.uts.edu.au/mailman/listinfo/kr, and

2. A moderated list which is used to circulate KR related announcements PLANETKR http://discuss.it.uts.edu.au/mailman/listinfo/planetkr

If you sign up to PlanetKR you will automatically receive all messages sent to KR.