New colleague in CI group
New colleague in CI group Person/Speaker: Juan Guadarrama
Place: Clausthal-ZellerfeldIn few weeks we are about to welcome a new colleague Juan Guadarrama to our CI group. Juan is a mexican, currently staying at CENTRIA, Lisbon, Portugal, working on problem of updates of logic programs.-Juan Carlos Acosta Guadarrama-
Distanz-Semantik fuer Theorie-Revision
Distanz-Semantik fuer Theorie-Revision Person/Speaker: Prof. Dr. Karl Schlechta
PhD. thesis defence
PhD. thesis defence Oscar Zarate AguilaOur colleague Oscar will defend his PhD. thesis on Friday December 17th. Good luck Oscar!