PhD Dissertation in Artificial Intelligence