About
David Toman is a former member of the International Center for Computational Logic (ICCL) at Technische Universität Dresden. He held the position of Visiting Scientist within the Faculty of Computer Science, affiliated with the Automata Theory research group. His research interests centered on computational logic, artificial intelligence, and formal methods, particularly in the context of description logics and knowledge representation.
His notable work includes the publication "A Description Logic of Change" presented at the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07) in 2007. This work explores theoretical frameworks for modeling change within knowledge bases, contributing to automated reasoning and AI systems.
No awards, advising roles, or grants are explicitly documented in the provided materials. Toman’s affiliation with ICCL reflects his engagement with interdisciplinary computational logic research, though his current status is noted as a former member.
Find David Toman elsewhere
Related Searches
You Might Also Like
- SShasha FengDresden University of Technology · Researcher
Antonis KakasDresden University of Technology · Visiting Professor- MMarco CeramiDresden University of Technology · Researcher
- MMartin KnechtelDresden University of Technology · Researcher
Franz BaaderDresden University of Technology · Professor- JJan HladikDresden University of Technology · Researcher