[PlanetKR] KR2006 International Conference on Principles of Knowledge Representation and Reasoning

[Mary-Anne Williams]

                               Call for Papers


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

                              June 2 - 5, 2006
                        Lake District, United Kingdom 

                             Sponsored by KR Inc.

                     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.

Invited speakers are Jon Doyle (North Carolina State University), Alon Halevy
(University of Washington), and Alan Rector (University of Manchester).

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-5, 2006

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 Shanahan		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