معرفی
Tuomo Lehtonen is a Postdoctoral Researcher at Aalto University's Department of Computer Science, focusing on computational argumentation and knowledge representation. His work bridges artificial intelligence and formal logic through algorithm design and complexity analysis.
Research interests include:
- Computational argumentation frameworks (ASPIC+, ABA)
- Algorithmic reasoning under incomplete information
- SAT-based logic programming applications
- Complexity theory in structured argumentation
- Benchmarking methodologies for AI systems
Recent publications highlight his expertise in translating theoretical argumentation models into practical computational tools, particularly for admissibility verification and preferential reasoning tasks.
Contact: tuomo.lehtonen@aalto.fi
۰مقاله منتشرشده
Tuomo Lehtonen در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Stefan WoltranVienna University of Technology · استاد
Johannes Peter WallnerGraz University of Technology · دانشیار
David G. MitchellSimon Fraser University · دانشیار
Daphne OdekerkenUtrecht University · پژوهشگر- UUwe EglyVienna University of Technology · دانشیار
- SStefan WoltranVienna University of Technology · استاد