Concepedia

Pietro Galliani

PG

14

Publications

455

Citations

12

H-Index

2008

Active since

Affiliations

University of Amsterdam(Current)

Amsterdam University of the Arts

Free University of Bozen-Bolzano

Tampere University

Pietro Galliani is an author at University of Amsterdam specializing in automated reasoning, semantics, and formal methods.

ORCID

Top concepts

Publications per year

2008–2019

14

Publications

14

Inclusion and exclusion dependencies in team semantics — On some logics of imperfect information

Pietro Galliani · Annals of Pure and Applied Logic · 2011 · 176 citations

, , +7

Repairing ontologies via axiom weakening

Nicolas Troquard, Roberto Confalonieri, Pietro Galliani et al. · BOA (University of Milano-Bicocca) · 2018 · 41 citations · Full text

, , +12

The Dynamics of Imperfect Information

Pietro Galliani · Data Archiving and Networked Services (DANS) · 2012 · 33 citations · Full text

Inclusion Logic and Fixed Point Logic

Pietro Galliani, Lauri Hella · IrInSubria (University of Insubria) · 2014 · 33 citations

Epistemic Operators in Dependence Logic

Pietro Galliani · Studia Logica · 2013 · 24 citations

, , +2

Rows per page

1–5 of 14