- From: Mary-Anne Williams <Mary-Anne@it.uts.edu.au>
- Date: Mon, 21 Jul 2003 09:18:34 +1000
- To: Mary-Anne@it.uts.edu.au
- Message-id: <006201c34f15$41c78c50$0100000a@humbug>
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
Received on Sunday, 20 July 2003 20:01:42 UTC