معرفی
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.
David Toman در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- SShasha FengDresden University of Technology · پژوهشگر
Antonis KakasDresden University of Technology · استاد مهمان- MMarco CeramiDresden University of Technology · پژوهشگر
- MMartin KnechtelDresden University of Technology · پژوهشگر
Franz BaaderDresden University of Technology · استاد- JJan HladikDresden University of Technology · پژوهشگر