Espen H. Lian

Position	Research fellow at PMA, IfI, UiO.
Office	2407, Informatikkbygget
Office phone	+47 228 40661
E-mail	elian at ifi.uio.no

Research

Publications

Espen H. Lian: Only Knowing with Confidence Levels: Reductions and Complexity, Master's Thesis, 2004
Espen H. Lian, Tore Langholm, Arild Waaler: Only Knowing with Confidence Levels: Reductions and Complexity, JELIA 2004: 500-512
Iselin Engan, Tore Langholm, Espen H. Lian, Arild Waaler: Default Reasoning with Preference Within Only Knowing Logic, LPNMR 2005: 304-316

Teaching

INF5140 - Kravspesifikasjon og verifikasjon av parallelle systemer, Spring 2006 with Gerardo Schneider
INF5170 - Master Seminar in Logic, Spring 2006

Last update: 2006 Nov 25