Optimizing the computation of stable models using merged rules
Veena S. Mellarkod · 2002
I have been fortunate enough to have all the support I needed to finish my thesis work. First and foremost, I would acknowledge the real debt of gratitude that I owe to my parents and sister for always being there for me. Thanks Mom and Dad! Thank you Vidhya for having confidence in me, when I myself did not. My special thanks go to my professor and guru, Dr. Michael Gelfond, for showing utmost patience in helping me. It was really fun working with you. Thank you Dr. Gelfond for teaching me, encouraging me, and making me what I am today. I express my special thanks to Dr. Richard Watson and Dr. Larry Pyeatt for serving on my committee and for their detailed reviews and helpful suggestions. I should thank all my lab mates for providing a wonderful working environment in the lab. Thank you Monica for working with me and helping me in all phases of the work. It would not have been possible without your help and encouragement. You believed more than me that it would work. Thanks for always being there for me and listening to all the craziest ideas I get. This thesis work is one such crazy idea that you listened to on a Sunday morning, and if not for you, it would have remained