معرفی
Agata Ciabattoni is a Full Professor of Non-Classical Logics in Computer Science at TU Vienna, specializing in proof theory for non-classical logics and their applications. Her research explores deontic logic connections to AI and legal reasoning, including formalization of Indian philosophical traditions.
Education includes:
- PhD in Computer Science (2000), University of Milan
- Degree in Computer Science (1994), University of Bologna
Her work develops analytic proof systems for nonmonotonic reasoning, with recent focus on SMT-based theorem provers and sequent calculi optimizations. Research bridges computational logic, AI ethics, and cross-cultural philosophical formalization.
As Principal Investigator of the LoDEx project, she investigates reasoning tools for deontic logic applications, including Indian sacred texts analysis.
حوزههای پژوهشی
۰مقاله منتشرشده
Agata Ciabattoni در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- AAgata CiabattoniVienna University of Technology · استاد
- DDmitrii RozplokhasVienna University of Technology · پژوهشگر
- XXavier ParentVienna University of Technology · پژوهشگر
Kees van BerkelRuhr University Bochum · استادیار- KKees van BerkelVienna University of Technology · استادیار
Christian StraßerRuhr University Bochum · استاد