KR 2004 Doctoral Consortium: Poster Presentations

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