Agata Ciabattoni - Publications, H-index & Citations

Back

Agata Ciabattoni

Technische Universitat Wien

18H-index

132Paper Count

1.2KCitation Count

Published Papers 9

Publication Date

A Bayesian View of the Result Model

DIGITAL HUMANISM, DIGHUM 2025

IF0

2026-01-01

OAAI

Morello, Yoann; Ciabattoni, Agata

Save

GL-Based Calculi for PCL and Its Deontic Cousin

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I

IF0

2026-01-01

PREAI

Ciabattoni, Agara; Rozplokhas, Dmitry; Tesi, Matteo

Save

Analytic Proofs for Tense Logic

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025

IF0

2026-01-01

OAAI

Ciabattoni, Agata; Lang, Timo; Ramanayake, Revantha

Save

Enforcing ethical goals over reinforcement-learning policies

ETHICS AND INFORMATION TECHNOLOGY

IF4

2022-09-29

OAAI

Neufeld, Emery A.; Bartocci, Ezio; Ciabattoni, Agata; Governatori, Guido

Save

Mimamsa deontic reasoning using specificity: a proof theoretic approach

artificial intelligence in agriculture

IF3.1

2020-11-09

OAAI

Lellmann, Bjoern; Gulisano, Francesca; Ciabattoni, Agata

Save

Proof search and Co-NP completeness for many-valued logics

FUZZY SETS AND SYSTEMS

IF2.7

2016-06-01

PREAI

Bongini, Mattia; Ciabattoni, Agata; Montagna, Franco

Save

Formal approaches to rule-based systems in medicine: The case of CADIAG-2

INTERNATIONAL JOURNAL OF APPROXIMATE REASONING

IF3

2013-01-01

OAAI

Ciabattoni, Agata; Picado Muino, David; Vetterlein, Thomas; El-Zekey, Moataz

Save

On the (fuzzy) logical content of CADIAG-2

FUZZY SETS AND SYSTEMS

IF2.7

2010-07-01

OAAI

Vetterlein, Thomas; Ciabattoni, Agata

Save

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

FUZZY SETS AND SYSTEMS

IF2.7

2010-02-01

OAAI

Ciabattoni, Agata; Metcalfe, George; Montagna, Franco

Save

Research Directions