March 26th, 2002 Veena defends her Master's Thesis Veena defends her Master's Thesis on "Optimizing The Computation Of Stable Models Using Merged Rules". Time, location, and abstract of the defense can be found in the KRSeminars section.

Back to Events page Back to KRLab Home