Pietro Galliani

According to our database, Pietro Galliani authored at least 45 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Succinctness and Complexity of ALC with Counting Perceptrons.

Pietro Galliani, Oliver Kutz, Nicolas Troquard

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Concept Combination in Weighted DL.

Guendalina Righetti, Pietro Galliani, Claudio Masolo

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2022

Embedding causal team languages into predicate logic.

Fausto Barbero, Pietro Galliani

Ann. Pure Appl. Log., 2022

Diversity, dependence and independence.

Pietro Galliani, Jouko Väänänen

Ann. Math. Artif. Intell., 2022

Strongly First Order, Domain Independent Dependencies: The Union-Closed Case.

Pietro Galliani

Proceedings of the Logic, Language, Information, and Computation, 2022

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).

Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Almost Certain Termination for <i>ALC</i> Weakening.

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard

Proceedings of the Progress in Artificial Intelligence, 2022

2021

Doubly Strongly First Order Dependencies.

Pietro Galliani

Proceedings of the Logic, Language, Information, and Computation, 2021

Towards Knowledge-driven Distillation and Explanation of Black-box Models.

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard

Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Asymmetric Hybrids: Dialogues for Computational Concept Combination.

Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani

Proceedings of the Formal Ontology in Information Systems, 2021

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract).

Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Perceptron Operators That Count.

Pietro Galliani, Oliver Kutz, Nicolas Troquard

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Perceptron Connectives in Knowledge Representation.

Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard

Proceedings of the Knowledge Engineering and Knowledge Management, 2020

Towards Even More Irresistible Axiom Weakening.

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Characterizing Downwards closed, strongly First-order, Relativizable Dependencies.

Pietro Galliani

J. Symb. Log., 2019

Weighted Description Logic for Classification Problems.

Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

On Knowledge Dependence in Weighted Description Logic.

Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.

Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Safe Dependency Atoms and Possibility Operators in Team Semantics.

Pietro Galliani

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening.

Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models.

Pietro Galliani, Oliver Kutz, Roberto Confalonieri

Proceedings of the 10th International Joint Conference on Knowledge Discovery, 2018

Team Semantics for Spatial Reasoning: Locality and Separability.

Pietro Galliani

Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018

Repairing Ontologies via Axiom Weakening.

Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.

Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Coherence, Similarity, and Concept Generalisation.

Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard

Proceedings of the 30th International Workshop on Description Logics, 2017

Gray-box Inference for Structured Gaussian Process Models.

Pietro Galliani, Amir Dezfouli, Edwin V. Bonilla, Novi Quadrianto

Proceedings of the 20th International Conference on Artificial Intelligence and Statistics, 2017

Towards an Algebraic Approach to Theory and Concept Evaluation.

Pietro Galliani

Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

Two Applications of Concept Refinement.

Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello

Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

2016

On Strongly First-Order Dependencies.

Pietro Galliani

Proceedings of the Dependence Logic, Theory and Applications, 2016

2015

The Doxastic Interpretation of Team Semantics.

Pietro Galliani

Proceedings of the Logic Without Borders, 2015

2014

Transition semantics: the dynamics of dependence logic.

Pietro Galliani

Synth., 2014

On Strongly First-Order Dependencies.

Pietro Galliani

CoRR, 2014

On Dependence Logic.

Pietro Galliani, Jouko Väänänen

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information.

Pietro Galliani, Allen L. Mann

Stud Logica, 2013

Epistemic Operators in Dependence Logic.

Pietro Galliani

Stud Logica, 2013

General Models and Entailment Semantics for Independence Logic.

Pietro Galliani

Notre Dame J. Formal Log., 2013

The Dynamification of Modal Dependence Logic.

Pietro Galliani

J. Log. Lang. Inf., 2013

On Dependence Logic

Pietro Galliani, Jouko A. Väänänen

CoRR, 2013

The Doxastic Interpretation of Team Semantics

Pietro Galliani

CoRR, 2013

Upwards Closed Dependencies in Team Semantics

Pietro Galliani

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Hierarchies in independence logic.

Pietro Galliani, Miika Hannula, Juha Kontinen

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

Inclusion Logic and Fixed Point Logic.

Pietro Galliani, Lauri Hella

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013

2012

Dialetheism, Game Theoretic Semantics, and Paraconsistent Dependence Logic

Pietro Galliani

CoRR, 2012

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

Pietro Galliani

Ann. Pure Appl. Log., 2012

2011

Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings.

Pietro Galliani

Proceedings of the Logic and Its Applications - 4th Indian Conference, 2011