The Winner of SAIS best AI Master's Thesis award 2004

We are happy to announce that the winner of the Swedish AI Society's prize for best Master's Thesis 2004 is Mikael Asker, Lund Institute of Technology. The title of the Thesis is "Logical Reasoning with Temporal Constraints" and the supervisor is Jacek Malek from Lund Institute of Technology.

The submitted theses were read and evaluated by the SAIS board collectively. A combination of four criteria based on maturity of content, scientific value, writing style, and relevance of the content to the AI topic area, were used to determine the winner. All submitted theses this year were of very high quality although some fell short on one or more of the criteria.

The motivation is A novel application of labeled deductive systems to the formalization and understanding of active logics. Active logics take into account the limitations normally associated with reasoning in pragmatic contexts.

The thesis work also resulted in a refereed scientific publication:

Mikael Asker and Jacek Malec, Reasoning with limited resources: An LDS-based approach. Proc. of the 8th Scandinavian Conference on Artificial Intelligence, Bergen Norway, November 2-4, 2003.

Page last modified: April 18 2006 10:22:05.

Copyright © 2011 SAIS
Contact the webmaster