TU Wien Informatics

Agata Ciabattoni

Univ.Prof. Dr.

Research Focus

Research Areas

  • mathematical logic, Formal Methods
Agata Ciabattoni

About

1) Theory and applications of logics different from classical (yes/no) logic. 2) Deduction methods and tools for the investigation of these logics (non-classical logics). 3) Applications of non-classical logics in various fields; for instance development and verification of medical expert systems, or better understanding of philosophical texts.

Roles

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2008

2007

2006

  • Service QoS composition at the level of part names / M. Aiello, F. Rosenberg, C. Platzer, A. Ciabattoni, S. Dustdar / in: "Web Services and Formal Methods, Third International Workshop, WS-FM 2006 (LNCS 4184)", Springer, 2006, ISBN: 3-540-38862-3, 24 - 37

2005

  • Uniform Rules and Dialogue Games for Fuzzy Logics / A. Ciabattoni, C. Fermüller, G Metcalfe / Talk: International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Montevideo, Uruguay; 2005-03-14 - 2005-03-18; in: "Logic for Programming, Artificial Intelligence, and Reasoning", F. Baader, A. Voronkov (ed.); Springer, LNAI 3452 (2005), ISBN: 3-540-25236-3; 496 - 510

2003

 

  • Nichtklassische Beweise: Theorie, Automatisierung, Anwendung / START-Programm / Austria / 2011

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Agata Ciabattoni’s research profile in TISS .