[PlanetKR] KR2006 Submission Deadline November 7, 2005

Mary-Anne Williams Mary-Anne at it.uts.edu.au
Fri Oct 28 02:13:21 EST 2005


                           FINAL 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 Univ of Ireland & Univ 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 NSW, 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



More information about the PlanetKR mailing list