Call for Papers

Ninth International Conference on Principles of Knowledge Representation and Reasoning (KR2004)

June 2 - 5, 2004
Westin Resort and Spa, Whistler Canada

Sponsored by KR Inc, IBM, SFU and UTS

Submission deadline: November 26, 2003

Collocated with ICAPS04, NMR'2004, KR-MED 2004 and DL-2004

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

KR2004 will collocate with the International Conference on Automated 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:

• 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, Ontologies, Ontology Methodology, and Ontologies themselves
• 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

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

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. Electronic Submission of Papers

Authors must submit an online title page and an electronic version of their paper in pdf format only. Electronic papers not in pdf format will be rejected without review. Papers cannot be submitted by email or FAX! To submit a paper, you first need to register in Confmaster system as new author, and then submit your paper. These two steps are described hereafter:

1. Register Author

• Open the KR2004's paper submission URL

  http://hosting.confmaster.net/pages/login.php?Conf=KR2004

  and register on this site as new author. You must fill the slots requesting your address, and propose a login name.

• Click on the link labeled "Register as new author" on the left hand menu. This will open up a form to register as a new author. All of the fields marked with a * are required. At the bottom of this page, you enter a login name.
• Once this form is completed, click on "Submit" button. You will then receive an email confirming your registration to KR 2004, and giving the password of your account.
  After you have received the message with your login and password, you will be able to submit your paper, edit your data, and change your login and password.

2. Register Paper

• Once your account has been created, you can login.
• On the left hand menu appears submenu "Author". Click on the link labeled "Register Paper", and a form will open. All of the fields marked with a "*" are required. At the bottom of this page, you enter the name of your PDF file.
• Once this form is completed, click on "Submit" button. Your paper is now uploaded and you will receive an email confirming your submission to KR 2004.
• Once this form is completed, click on the "Submit" button. Your paper is now uploaded and you will receive an email confirming your submission to KR 2004.

N.B. You can upload your paper at any time, and you can re-upload your paper any time before the submission deadline. To do this, login to the KR2004 Paper Submission site and click, in the right hand column, on "view own papers". A list of papers you have registered will appear. On the EXTREME RIGHT HAND side of the web page (you may need to scroll the window to the right to see it), there are two "floppy disk" icons. The left one (with an up arrow) is to upload (or re-upload a new version) of your paper. The right one (with a down arrow) is to download the latest version held by the KR2004 Paper Submission site.

If you have difficulties please contact the Program Chairs KR2004Chairs@it.uts.edu.au.