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