pietro galliani
pietro galliani
Verifierad e-postadress på unibz.it - Startsida
Titel
Citeras av
Citeras av
År
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
1282012
Inclusion logic and fixed point logic
P Galliani, L Hella
arXiv preprint arXiv:1304.4267, 2013
472013
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
302013
On dependence logic
P Galliani, J Väänänen
Johan van Benthem on logic and information dynamics, 101-119, 2014
242014
The dynamics of imperfect information
P Galliani
Institute for Logic Language and Computation, Amsterdam, 2012
242012
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
192018
Upwards closed dependencies in team semantics
P Galliani
Information and Computation 245, 124-135, 2015
152015
On strongly first-order dependencies
P Galliani
Dependence Logic, 53-71, 2016
132016
General models and entailment semantics for independence logic
P Galliani
Notre Dame Journal of Formal Logic 54 (2), 253-275, 2013
132013
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
The Doxastic Interpretation of Team Semantics.
P Galliani
Logic Without Borders, 167-192, 2015
62015
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20