---------- Forwarded Message ----------
Subject: KR2004 CALL for PAPERS Submission Deadline: November 26, 2003 Date: Mon, 21 Jul 2003 09:18:34 +1000 From: Mary-Anne Williams Mary-Anne@it.uts.edu.au To: Mary-Anne@it.uts.edu.au
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 Exception Tolerant and Inconsistency-Tolerant Reasoning, Default Logics, Conditional Logics, Paraconsistent Logics, Argumentation o Temporal Reasoning, Spatial reasoning, Causal Reasoning, Abduction, Explanations, Extrapolation, Model-based diagnosis o Reasoning about Actions, Situation Calculus, Action Languages, Dynamic Logic o Reasoning, Planning, or Decision Making under Uncertainty, Probabilistic and Possibilistic approaches, Belief Functions and Imprecise Probabilities o Representations of Vagueness, Many-valued and Fuzzy Logics, o Concept Formation, Similarity-based reasoning o Information Change, Belief Revision, Update o Information Fusion, Ontologies, Ontology Methodology o Qualitative reasoning and decision theory, Preference modeling, Reasoning about preference, reasoning about physical systems o Intelligent agents, negotiation, group decision making, cooperation, interaction, game theory, common knowledge, cognitive robotics o Algebraic foundations of knowledge representations, graphical representations o Modal logics and reasoning, belief, preference networks, constraints o Knowledge representation languages, Description logics, Logic programming, constraint logic programming, inductive logic programming, complexity analysis o Natural language processing, learning, discovering and acquiring knowledge, belief networks, summarization, categorization o Applications of KR&R, Knowledge-based Scheduling, WWW querying languages, Information retrieval and web mining, Website selection and configuration, Electronic commerce and auctions o Philosophical foundations and psychological evidence
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 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, University of Rome "La Sapienza", 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, CNR Roma, Italy Hector Geffner, University of Pomeu Fabra, Spain Enrico Giunchiglia, Universita of 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, LOA-ISTC, 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 "La Sapienza", 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 Sheila McIlraith, Stanford University, USA 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 "La Sapienza", 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. de Los Andes, Venezuela David Poole, University of British Columbia, Canada David Randell, Imperial College London, UK Marie Christine Rousset, Univ. Paris-Sud, France Guus Schreiber, University of 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, LOA-ISTC, 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
-------------------------------------------------------