KR2006 Doctoral Consortium

The Doctorial Consortium is a student mentoring program that will introduce students to senior researchers with similar interests.

Refreshmets will be served during the poster session.

List of Poster Presentations

• Jorge A. Baier, University of Toronto
  Heuristic planning for temporally extended goals and preferences
  Senior mentor: Hector Geffner
  Advisor: Sheila McIlraith
• Erica Calardo, Manchester Metropolitan University
  Inference in Modal and Multi-Modal Logic
  Senior mentor: Natasha Alechina
  Advisor: Vladimir V. Rybakov
• Alvaro Cortes-Calabuig, Katholieke Universiteit Leuven
  Knowlege Representation and Reasoning in Locally Complete Databases
  Senior mentor: Alon Halevy
  Advisor: Marc Denecker
• Bonzon Elise, IRIT Universite Paul Sabatier
  Boolean games revisited: compact preference representation in games
  Senior mentor: Gerhard Brewka
  Advisor: Jerome Lang
• Christian Fritz, University of Toronto
  Monitoring High-Level Planning and Execution in Dynamic Environments
  Advisor: Sheila McIlraith
• Tim Guhl, Imperial College London
  Abductive Robot Perception using a Blackboard Architecture
  Senior mentor: Didier Dubois
  Advisor: Murray Shanahan
• Victor Jauregui, The University of New South Wales
  Complexity as commonsense
  Senior mentor: Joe Halpern
  Advisor: Norman Foo
• Noel Laverny, IRIT Universite Paul Sabatier
  Revision, update and planning in graded doxastic logic
  Senior mentor: Hector Geffner
  Advisor: Jerome Lang
• Kevin Lee, National ICT Australia and University of New South Wales
  Inconsistency Management in Description Logics
  Senior mentor: Jeff Pan
  Advisor: Norman Foo
• David Mallenby, University of Leeds
  Handling Vagueness in Ontologies of Geographic Information
  Senior mentor: Frank Wolter
  Advisor: Brandon Bennett
• Alexander Nittka, Universität Leipzig
  Rational Explanation and Beyond
  Senior mentor: Jerome Lang
  Advisor: Gerhard Brewka
• Emilia Oikarinen, Helsinki University of Technology
  Modular Answer Set Programming - Thesis Summary
  Senior mentor: Vladimir Lifschitz
  Advisor: Ilkka Niemela
• Hector Palacios, Universitat Pompeu Fabra
  Easy and Hard Conformant Planning
  Senior mentor: Pierre Marquis
  Advisor: Hector Geffner
• Scott Sanner, University of Toronto
  First-order Decision-Theoretic Planning
  Senior mentor: Ulrike Sattler
  Advisor: Craig Boutilier
• Jeffrey Schiffel, Nova Southeastern University
  Work Place Taxonomies
  Senior mentor: Chris Welty
  Advisor: Steven D.Zink
• Martina Seidl, TU Vienna
  A Solver for QBFs in Nonprenex Form
  Senior mentor: Sylvie Coste-Marquis
  Advisor: Uwe Egly
• Jozef Siska, Comenius University
  Dynamic Logic Programming and the World of Computer Games
  Senior mentor: Thomas Eiter
  Advisor: Jan Sefranek
• Yuping Shen, Sun Yat-sen University
  Real-time Answer Set Programming
  Senior mentor: Vladimir Lifschitz
  Advisor: Xishun Zhao
• Nicolas Troquard, Institut de Recherche en Informatique de Toulouse
  Logical modeling of organizations
  Senior mentor: Thomas Meyer
  Advisor: Andreas Herzig
• Michael Wachter, University of Bern
  Representing Boolean Functions with Propositional Directed Acyclic Graphs
  Senior mentor: Pierre Marquis
  Advisor: R. Haenni
• Yisong Wang, Guizhou University
  Weakly Auto-compatible Logic Programs
  Senior mentor: Yan Zhang
  Advisor: Mingyi Zhang