TIME-96
Third International Workshop on Temporal Representation and Reasoning
Final Call For Papers
Key West, Florida, USA -- May 19-20, 1996
A
Postscript file is also available
The purpose of this workshop is to bring together active researchers in the
area of temporal representation and reasoning in Artificial Intelligence.
Through paper presentations and discussions, the participants will exchange,
compare, and contrast results in the area. The workshop is planned as a two
day event to immediately precede
FLAIRS-96 (Ninth Annual Florida Artificial
Intelligence Research Symposium, May 20-22). Workshop participants are also
encouraged to submit papers to FLAIRS and attend the conference.
The workshop will be conducted as a combination of paper presentations, a
poster session, two invited talks (by Fahiem Bacchus and Johan van Benthem)
and panel discussions.
The format will provide ample time for discussions and exchange of ideas.
Submission of high quality papers describing mature results or on-going work
are invited for all areas of temporal representation and reasoning, including,
but not limited to:
-
temporal logics and ontologies
-
temporal languages and architectures
-
continuous versus discrete time
-
point versus interval representations
-
expressive power versus tractability
-
belief and uncertainty in temporal knowledge
-
temporal databases and knowledge bases
-
temporal learning and discovery
-
reasoning about actions and events
-
time and nonmonotonism
-
time and constraints
-
time in problem solving (e.g. diagnosis, qualitative physics,...)
-
multiple agents, communication, and synchronization
-
applications
To maximize interaction among participants, the size of the workshop will be
limited. Accepted papers will be invited for full presentation or a poster
presentation. All submissions must be received by December 5, 1995.
Notification of acceptance or rejection will be sent to the first author (or
designated author) by February 26, 1996. Prospective participants should submit
5 copies of a 6-8 page paper (indicating the selected areas) to:
TIME-96
Luca Chittaro and Angelo Montanari
Dipartimento di Matematica e Informatica
Universita' di Udine
Via delle Scienze, 206
33100 Udine -- ITALY
Or preferably, submit by anonymous FTP a postscript version of the paper to:
bach.dimi.uniud.it (158.110.1.140)
directory: pub/time96
After submitting electronically, please communicate the title, area, and
authors of the paper by sending an e-mail to time96@dimi.uniud.it (this
address can also be used to obtain further information).
The TIME workshop series also has a home page at:
http://www.cs.uregina.ca/~temporal/index.html
PUBLICATION
All accepted papers will be published in the workshop proceedings. As well, a
selected subset of the papers will be invited for inclusion (subject to
refereeing) in a book or in a special issue of a journal.
ORGANIZATION
General Chairs:
Program Committee Chairs:
PROGRAM COMMITTEE
Frank Anger, University of West Florida, USA
Fahiem Bacchus, University of Waterloo, Canada
Mark Boddy, Honeywell Systems and Research Center, USA
Luca Chittaro (co-chair), Universita' di Udine, Italy
Jan Chomicki, Kansas State University, USA
Philippe Dague, Universite Paris-Nord, France
Tom Dean, Brown University, USA
Mark Denecker, K. University Leuven, Belgium
Jennifer Elgot-Drapkin, Arizona State University, USA
Marcelo Finger, Imperial College, UK
Michael Fisher, Manchester Metropolitan University, UK
Dov Gabbay, Imperial College, UK
Malik Ghallab, LAAS-CNRS, France
Anthony Galton, University of Exeter, UK
Michael Gelfond, University of El Paso, USA
Michael Georgeff, Australian AI Institute, Australia
Peter Haddawy, University of Wisconsin-Milwaukee, USA
Pat Hayes, University of Illinois at Urbana-Champaign, USA
Peter Ladkin, University of Bielefeld, Germany
Gerard Ligozat, Universite Paris XI, France
Angelo Montanari (co-chair), Universita' di Udine, Italy
Robert Morris, Florida Institute of Technology, USA
Bernhard Nebel, Universitaet des Saarlandes, Germany
Don Perlis, University of Maryland, USA
Han Reichgelt, University of the West Indies, Jamaica
Raymond Reiter, University of Toronto, Canada
Mark Reynolds, Kings College, UK
Maarten de Rijke, CWI, The Netherlands
Erik Sandewall, Linkoping University, Sweden
Marek Sergot, Imperial College, UK
Murray Shanahan, Imperial College, UK
Peter van Beek, University of Alberta, Canada
Andre Trudel, Acadia University, Canada
ORGANIZING COMMITTEE
Peter Haddawy, University of Wisconsin-Milwaukee
Robert Morris, Florida Institute of Technology
Andre Trudel, Acadia University
Peter van Beek, University of Alberta
SPONSORING ORGANIZATIONS
Sponsorship for TIME-96 is being sought from the American Association for
Artificial Intelligence (AAAI), Florida Artificial Intelligence Research
Society (FLAIRS), and the University of Udine.
SUMMARY OF IMPORTANT DATES
December 5, 1995 Submission deadline
February 26, 1996 Notification of acceptance
April 15, 1996 Camera-ready copy deadline
May 19-20, 1996 TIME-96 Workshop
May 20-22, 1996 FLAIRS-96 Conference