Agata Ciabattoni - Publications, H-index & Citations

Agata Ciabattoni

Technische Universitat Wien

18H指数

132论文数

1.2K被引数

收录论文 9

发表时间

A Bayesian View of the Result Model 贝叶斯视角下的结果模型

DIGITAL HUMANISM, DIGHUM 2025

IF0

2026-01-01

OAAI

Morello, Yoann; Ciabattoni, Agata

GL-Based Calculi for PCL and Its Deontic Cousin 基于GL的PCL及其道义近亲的计算系统

LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2025, PT I

IF0

2026-01-01

PREAI

Ciabattoni, Agara; Rozplokhas, Dmitry; Tesi, Matteo

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

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

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

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

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

On the (fuzzy) logical content of CADIAG-2

FUZZY SETS AND SYSTEMS

IF2.7

2010-07-01

OAAI

Vetterlein, Thomas; Ciabattoni, Agata

Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions MTL及其扩展的真值应激源的代数和证明理论描述

FUZZY SETS AND SYSTEMS

IF2.7

2010-02-01

OAAI

Ciabattoni, Agata; Metcalfe, George; Montagna, Franco

研究方向