CUFinder

Fabio Papacchini

About Fabio Papacchini

Fabio Papacchini, With an exceptional h-index of 8 and a recent h-index of 7 (since 2020), a distinguished researcher at University of Liverpool, specializes in the field of Knowledge Representation, Non-classical Logics, Automated Reasoning, Model Theory.

His recent articles reflect a diverse array of research interests and contributions to the field:

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

Local is best: efficient reductions to modal logic K

Local reductions for the modal cube

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

Bridging the gap between single-and multi-model predictive runtime verification

Automated planning and BDI agents: A case study

Finite models for a spatial logic with discrete and topological path operators

Efficient Local Reductions to Basic Modal Logic.

Fabio Papacchini Information

University

Position

RA at the Department of Computer Science UK

Citations(all)

178

Citations(since 2020)

150

Cited By

68

hIndex(all)

8

hIndex(since 2020)

7

i10Index(all)

8

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Fabio Papacchini Skills & Research Interests

Knowledge Representation

Non-classical Logics

Automated Reasoning

Model Theory

Top articles of Fabio Papacchini

Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic

2023/7/1

Cláudia Nalon
Cláudia Nalon

H-Index: 5

Ullrich Hustadt
Ullrich Hustadt

H-Index: 12

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Clare Dixon
Clare Dixon

H-Index: 17

Local is best: efficient reductions to modal logic K

Journal of Automated Reasoning

2022/11

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Cláudia Nalon
Cláudia Nalon

H-Index: 5

Ullrich Hustadt
Ullrich Hustadt

H-Index: 12

Clare Dixon
Clare Dixon

H-Index: 17

Local reductions for the modal cube

2022/8/1

Cláudia Nalon
Cláudia Nalon

H-Index: 5

Ullrich Hustadt
Ullrich Hustadt

H-Index: 12

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Clare Dixon
Clare Dixon

H-Index: 17

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

arXiv preprint arXiv:2207.09058

2022/7/19

Angelo Ferrando
Angelo Ferrando

H-Index: 10

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Mehrnoosh Askarpour
Mehrnoosh Askarpour

H-Index: 5

Bridging the gap between single-and multi-model predictive runtime verification

Formal Methods in System Design

2021/12

Angelo Ferrando
Angelo Ferrando

H-Index: 10

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Michael Fisher
Michael Fisher

H-Index: 23

Viviana Mascardi
Viviana Mascardi

H-Index: 14

Automated planning and BDI agents: A case study

2021/9/25

Angelo Ferrando
Angelo Ferrando

H-Index: 10

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Finite models for a spatial logic with discrete and topological path operators

2021/6/29

Sven Linker
Sven Linker

H-Index: 8

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Michele Sevegnani
Michele Sevegnani

H-Index: 7

Efficient Local Reductions to Basic Modal Logic.

2021/7/12

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Cláudia Nalon
Cláudia Nalon

H-Index: 5

Ullrich Hustadt
Ullrich Hustadt

H-Index: 12

Clare Dixon
Clare Dixon

H-Index: 17

StreamB: a declarative language for automatically processing data streams in abstract environments for agent platforms

2021/5/3

Angelo Ferrando
Angelo Ferrando

H-Index: 10

Fabio Papacchini
Fabio Papacchini

H-Index: 4

An overview of verification and validation challenges for inspection robots

2021/4/29

Michael Fisher
Michael Fisher

H-Index: 23

Emily C Collins
Emily C Collins

H-Index: 10

Clare Dixon
Clare Dixon

H-Index: 17

Angelo Ferrando
Angelo Ferrando

H-Index: 10

Xiaowei Huang
Xiaowei Huang

H-Index: 15

Alexei Lisitsa
Alexei Lisitsa

H-Index: 11

Shan Luo
Shan Luo

H-Index: 15

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Matt Webster
Matt Webster

H-Index: 13

MLFC: From 10 to 50 planners in the multi-agent programming contest

2021/3/15

Angelo Ferrando
Angelo Ferrando

H-Index: 10

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Sven Linker
Sven Linker

H-Index: 8

Analysing spatial properties on neighbourhood spaces

2020/8/18

Sven Linker
Sven Linker

H-Index: 8

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Michele Sevegnani
Michele Sevegnani

H-Index: 7

Dichotomies in ontology-mediated querying with the guarded fragment

ACM Transactions on Computational Logic (TOCL)

2020/2/20

André Hernich
André Hernich

H-Index: 10

Carsten Lutz
Carsten Lutz

H-Index: 35

Fabio Papacchini
Fabio Papacchini

H-Index: 4

Frank Wolter
Frank Wolter

H-Index: 33

See List of Professors in Fabio Papacchini University(University of Liverpool)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine