pietro galliani
TitleCited byYear
Inclusion and exclusion dependencies in team semantics—On some logics of imperfect information
P Galliani
Annals of Pure and Applied Logic 163 (1), 68-84, 2012
1272012
Inclusion logic and fixed point logic
P Galliani, L Hella
arXiv preprint arXiv:1304.4267, 2013
462013
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
302013
The dynamics of imperfect information
P Galliani
Institute for Logic Language and Computation, Amsterdam, 2012
242012
On dependence logic
P Galliani, J Väänänen
Johan van Benthem on logic and information dynamics, 101-119, 2014
232014
Epistemic operators in dependence logic
P Galliani
Studia logica 101 (2), 367-397, 2013
222013
Game values and equilibria for undetermined sentences of dependence logic
P Galliani
MSc Thesis, published in ILLC MoL Series, 2008
222008
Repairing ontologies via axiom weakening
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
182018
Upwards closed dependencies in team semantics
P Galliani
Information and Computation 245, 124-135, 2015
142015
On strongly first-order dependencies
P Galliani
Dependence Logic, 53-71, 2016
122016
General models and entailment semantics for independence logic
P Galliani
Notre Dame Journal of Formal Logic 54 (2), 253-275, 2013
122013
Coherence, similarity, and concept generalisation
R Confalonieri, O Kutz, P Galliani, R Penaloza, D Porello, M Schorlemmer, ...
CEUR Workshop Proceedings, 2017
112017
Two approaches to ontology aggregation based on axiom weakening
D Porello, N Troquard, O Kutz, R Penaloza, R Confalonieri, P Galliani
102018
Lottery semantics: A compositional semantics for probabilistic first-order logic with imperfect information
P Galliani, AL Mann
Studia Logica 101 (2), 293-322, 2013
102013
Probabilistic dependence logic
P Galliani
Inst. for Logic, Language and Computation, 2008
92008
Repairing socially aggregated ontologies using axiom weakening
D Porello, N Troquard, R Confalonieri, P Galliani, O Kutz, R Penaloza
International Conference on Principles and Practice of Multi-Agent Systems …, 2017
82017
A Toothful of Concepts: Towards a theory of weighted concept combination
D Porello, O Kutz, G Righetti, N Troquard, P Galliani, C Masolo
72019
Transition semantics: the dynamics of dependence logic
P Galliani
Synthese 191 (6), 1249-1276, 2014
62014
Multivalued dependence logic and independence logic
P Galliani
Volume of Abstracts Non-classical Modal and Predicate Logics 2011, 64, 2011
62011
Safe dependency atoms and possibility operators in team semantics
P Galliani
arXiv preprint arXiv:1808.00710, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20