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