Dr. Daniel G. Schwartz specializes in knowledge representation and reasoning within AI. His research spans formal logical systems, fuzzy sets, and nonmonotonic reasoning, focusing on the logical foundations of AI. Applications include automated theorem proving and automated planning for autonomous vehicles.