Doctorial Consortium
Ninth
International Conference on Principles of Knowledge Representation
and Reasoning (KR2004)
Sponsors: American Association
for Artificial Intelligence and
Canadian
Society for the Computational Studies of
Intelligence
The Doctoral
Consortium of the Ninth International Conference on Principles of
Knowledge Representation and Reasoning (2004) will take place on June
5, 2004.
The aims of the consortium are
- to provide a forum for students to present their current
research,
and receive feedback from other students and senior researchers;
- to promote contacts among PhD students working in similar
areas;
- to support students with information and advice on academic,
research and industrial careers;
The Doctorial Consortium is a student mentoring program that will
introduce
students to senior researchers with similar interests. A poster session
will be held in parallel with a poster session for the Doctor Program of
the 14th International Conference on Automated Planning and Scheduling
(ICAPS04).
Listed below are the participants in the KR2004 Doctoral Consortium, along
with links to their poster presentations. These participants were in the
top third of the students who applied to the program.
-
Daniela Berardi, University of Rome:
Automatic
Composition of e-Services
-
Patricia Everaere, Universite D'Artois:
Around
merging strategy-proofness
-
Andrea Ferrara, University of Rome:
The
Complexity of Model Checking: Preprocessing and
Succinctness
-
Jens Happe, Simon Fraser University:
Efficient
Reasoning with Labelled Formula Translations
of K-m
-
Aaron Hunter, Simon Fraser University:
Epistemic
Change in the Action Language
Framework
-
Kathrin Konczak, Potsdam University:
Graphs and
colorings for Answer Set Programming with
Preferences
-
Charles Lesire, Onera-Cert, Toulouse:
A
numerical/symbolic estimator for activity
tracking
-
Andrei Lopatenko, University of Bozen-Bolzano:
Query
Answering Under Exact View Assumption
in Local As View Data Integration System
-
Yves Martin, Techniche Universitaet Dresden:
Emotions in
Cognitive Agents within the Fluent
Calculus
-
Fiona McNeill, University of Edinburgh:
Dynamic
Ontology Refinement
-
Floris Roelofsen, Twente University:
Complexity
of Contextual Reasoning
-
Rita Sharma, University of British Columbia:
Representation
and Reasoning with Hierarchically
Structured Variables
-
Nam Tran, Arizona State University:
Action
Language for Representing and Reasoning about
Protein Interactions
For further information, please contact the
KR2004 Doctorial Consortium Chairs:
Sheila
McIlraith
Department of Computer Science
University of Toronto, Canada
sheila@cs.toronto.edu
Leora Morgenstern
IBM Watson Research Center
19 Skyline Dr.
Hawthorne, NY 10532, USA
leora@us.ibm.com or leora@steam.stanford.edu
|
