Daniel Schwartz, PhD
Professor
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.
Research Areas
Publications
- "Dynamic Reasoning Systems", ACM Transactions on Computational Logic (TOCL), Nov-15 [Visit Publication]
Presentations
- "Strong Equivalence of Fuzzy Propositions", North American Fuzzy Information Processing Society (NAFIPS), May-24
Department
Department of Computer Science
College
College of Arts and Sciences
Email
dgschwartz@fsu.edu