TU Wien Informatics

Agata Ciabattoni

Univ.Prof.in Dr.in

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

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

2022

2021

2020

2019

  • Intermediate Logic Proofs as Concurrent Programs / Ciabattoni, A., Genco, F., & Aschieri, F. (2019). Intermediate Logic Proofs as Concurrent Programs. Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam, EU. http://hdl.handle.net/20.500.12708/86612
  • Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. / van Berkel, K., & Ciabattoni, A. (2019). Evaluating Networks of Arguments: A Case Study in Mīmāṃsā Dialectics. In Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science (pp. 355–369). http://hdl.handle.net/20.500.12708/57935
  • Bounded sequent calculi for non-classical logics via hypersequents / Ciabattoni, A., Ramanayake, R., & Lang, T. (2019). Bounded sequent calculi for non-classical logics via hypersequents. In Automated Reasoning with Analytic Tableaux and Related Methods. 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (pp. 94–110). Springer. http://hdl.handle.net/20.500.12708/57959

2018

2017

2016

2015

2014

2013

2012

2011

2010

2008

2007

2006

  • Service QoS composition at the level of part names / Aiello, M., Rosenberg, F., Platzer, C., Ciabattoni, A., & Dustdar, S. (2006). Service QoS composition at the level of part names. In Web Services and Formal Methods, Third International Workshop, WS-FM 2006 (LNCS 4184) (pp. 24–37). Springer. http://hdl.handle.net/20.500.12708/40653

2005

  • Uniform Rules and Dialogue Games for Fuzzy Logics / Ciabattoni, A., Fermüller, C., & Metcalfe, G. (2005). Uniform Rules and Dialogue Games for Fuzzy Logics. In F. Baader & A. Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning (pp. 496–510). Springer. http://hdl.handle.net/20.500.12708/50977

 

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once the migration is complete, everything will be up to date again.

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

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 .