Pietro Galliani

Research

Highlighted Recent Articles

• Diversity, Dependence and Independence. With Jouko Väänänen. Proceedings of FoIKS 2020.

• On Knowledge Dependence in Weighted Description Logic. With Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard. Proceedings of GCAI 2019.

• Characterizing downwards closed, strongly first order, relativizable dependencies. Journal of Symbolic Logic, 2019.

• Safe Dependency Atoms and Possibility Operators in Team Semantics. In Proceedings of GandALF 2018.

• Repairing Ontologies via Axiom Weakening. With Nicolas Troquard, Roberto Confalonieri, Rafael Peñaloza, Daniele Porello, and Oliver Kutz. In Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). AAAI Press.

Publications

Doctoral Thesis

• The Dynamics of Imperfect Information. University of Amsterdam, 2012.

Stanford Encyclopedia of Philosophy

• Dependence Logic. in Edward N. Zalta editor, Stanford Encyclopedia of Philosophy (Spring 2017 edition).

Other Publications

• Diversity, Dependence and Independence. With Jouko Väänänen. In Proceedings of Foundations of Information and Knowledge Systems (FoIKS) 2020.
• Weighted Description Logic for Classification Problems. With Guendalina Righetti, Oliver Kutz, Claudio Masolo, Daniele Porello and Nicolas Troquard. Proceedings of GCAI 2019.
• Characterizing downwards closed, strongly first order, relativizable dependencies. Journal of Symbolic Logic.
• On Knowledge Dependence in Weighted Description Logic. With Oliver Kutz, Daniele Porello, Guendalina Righetti and Nicolas Troquard. Proceedings of GCAI 2019.
• Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case. In Proceedings of GandALF 2019.
• A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. With Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard and Claudio Masolo. In Proceedings of the 32nd International Workshop on Description Logics.
• Safe Dependency Atoms and Possibility Operators in Team Semantics. In Proceedings of GandALF 2018.
• A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models. With Oliver Kutz and Roberto Confalonieri. In Proceedings of the Tenth International Conference on Knowledge Engineering and Ontology Development (KEOD 2018).
• Two Approaches to Ontology Aggregation Based on Axiom Weakening. With Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, and Oliver Kutz. In Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI-18.
• Repairing Ontologies via Axiom Weakening. With Nicolas Troquard, Roberto Confalonieri, Rafael Peñaloza, Daniele Porello, and Oliver Kutz. In Thirty-Second AAAI Conference on Artificial Intelligence (AAAI 2018). AAAI Press.
• Towards an Algebraic Approach to Theory and Concept Evaluation. In Proceedings of Comprehensibility and Explanation in AI and ML (CEX) 2017.
• Two Applications of Concept Refinement. With Roberto Confalonieri, Nicolas Troquard, Olvier Kutz, Rafael Peñaloza and Daniele Porello. In Proceedings of Comprehensibility and Explanation in AI and ML (CEX) 2017.
• Dynamic Logics of Imperfect Information: From Teams and Games to Transitions. In van Ditmarsch and Sandu editors, Jaakko Hintikka on knowledge and game theoretical semantics, Outstanding Contributions to Logic, Springer.
• Repairing Socially Aggregated Ontologies Using Axiom Weakening. With Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Oliver Kutz, and Rafael Peñaloza. PRIMA 2017: Principles and Practice of Multi-Agent Systems. 20th International Conference, Lecture Notes in Computer Science.
• Coherence, Similarity, and Concept Generalisation. With Roberto Confalonieri, Oliver Kutz, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer and Nicolas Troquard. Proceedings of the 30th International Workshop on Description Logics.
• Gray-box Inference for Structured Gaussian Process Models. With Amir Dezfouli, Edwin Bonilla, and Novi Quadrianto. Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, PMLR 54:353-361, 2017.
• The doxastic interpretation of team semantics. Logic without Borders.
• Transition semantics - the dynamics of dependence logic. Synthese, Volume 191, Issue 6.
• On Dependence Logic, with Jouko Väänänen. In Johan van Benthem on Logic and Information Dynamics, Springer, 2014.
• Upwards closed dependencies in team semantics. GandALF 2013.
• Hierarchies in independence logic, with Miika Hannula and Juha Kontinen. CSL 2013.
• Inclusion logic and fixed point logic, with Lauri Hella. CSL 2013.
• The Dynamification of Modal Dependence Logic. Journal of Logic, Language and Information, Volume 22, Issue 3.
• General Models and Entailment Semantics for Independence Logic. Notre Dame Journal of Formal Logic, Volume 54, Issue 2.
• Lottery Semantics: a compositional semantics for probabilistic first-order logic with imperfect information. With Allen L. Mann. Studia Logica, Volume 101, Issue 2.
• Epistemic Operators in Dependence Logic. Studia Logica, Volume 101, Issue 2.
• Multivalued dependence logic and independence logic. Non-classical Modal and Predicate Logics 2011, Guangzhou, China (extended abstract).
• Inclusion and Exclusion in Team Semantics: On some logics of imperfect information. Annals of Pure and Applied Logic, Volume 163, Issue 1.
• Sensible Semantics of Imperfect Information: On a Formal Feature of Meanings. In the proceedings of the Fourth Indian Conference on Logic and its Applications.