I research in the field of Nonmonotonic Logic
- specifically Default Logic, Logic Programs and Nonmonotonic Rule Systems.
I have collaborated with Doug
Cenzer at the University of Florida
and Jeff Remmel at the University of California San Diego.
I am also conducting research into the many applications of Nonmonotonic Logic including Formula Augmented Neural Networks, Fuzzy Logic, Target Recognition (Military), and Marketing / Advertising.