pietro galliani
pietro galliani
Bestätigte E-Mail-Adresse bei unibz.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1392012
Inclusion logic and fixed point logic
P Galliani, L Hella
arXiv preprint arXiv:1304.4267, 2013
542013
Hierarchies in independence logic
P Galliani, M Hannula, J Kontinen
arXiv preprint arXiv:1304.4391, 2013
322013
Game values and equilibria for undetermined sentences of dependence logic
P Galliani
272008
Repairing ontologies via axiom weakening
N Troquard, R Confalonieri, P Galliani, R Penaloza, D Porello, O Kutz
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
262018
On dependence logic
P Galliani, J Väänänen
Johan van Benthem on logic and information dynamics, 101-119, 2014
262014
The dynamics of imperfect information
P Galliani
Institute for Logic, Language and Computation., 2012
262012
Upwards closed dependencies in team semantics
P Galliani
Information and Computation 245, 124-135, 2015
182015
Epistemic operators in dependence logic
P Galliani
Studia logica 101 (2), 367-397, 2013
172013
On strongly first-order dependencies
P Galliani
Dependence Logic, 53-71, 2016
152016
General models and entailment semantics for independence logic
P Galliani
Notre Dame Journal of Formal Logic 54 (2), 253-275, 2013
132013
Two approaches to ontology aggregation based on axiom weakening
D Porello, N Troquard, O Kutz, R Penaloza, R Confalonieri, P Galliani
112018
A toothful of concepts: Towards a theory of weighted concept combination
D Porello, O Kutz, G Righetti, N Troquard, P Galliani, C Masolo
102019
Coherence, similarity, and concept generalisation
R Confalonieri, O Kutz, P Galliani, R Penaloza, D Porello, M Schorlemmer, ...
CEUR Workshop Proceedings, 2017
102017
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
92009
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
72017
Epistemic operators and uniform definability in dependence logic
P Galliani
Proceedings of Dependence and Independence in Logic, 4-29, 2010
72010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20