Pietro Galliani

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 33

Top Topics

Knowledge Representation

Predicate Logic

Gaussian Process Models

Top Venues

Description Logics

Publications

Pietro Galliani, Oliver Kutz, Nicolas Troquard
Succinctness and Complexity of ALC with Counting Perceptrons. KR (2023)
Guendalina Righetti, Pietro Galliani, Claudio Masolo
Concept Combination in Weighted DL. JELIA (2023)
Fausto Barbero, Pietro Galliani
Embedding causal team languages into predicate logic. Ann. Pure Appl. Log. 173 (10) (2022)
Pietro Galliani
Strongly First Order, Domain Independent Dependencies: The Union-Closed Case. WoLLIC (2022)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Weakening. EPIA (2022)
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). IJCAI (2022)
Pietro Galliani, Jouko Väänänen
Diversity, dependence and independence. Ann. Math. Artif. Intell. 90 (2) (2022)
Pietro Galliani
Safe dependency atoms and possibility operators in team semantics. Inf. Comput. 278 (2021)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Towards Knowledge-driven Distillation and Explanation of Black-box Models. DAO-XAI (2021)
Pietro Galliani
Doubly Strongly First Order Dependencies. WoLLIC (2021)
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). Description Logics (2021)
Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani
Asymmetric Hybrids: Dialogues for Computational Concept Combination. FOIS (2021)
Pietro Galliani, Oliver Kutz, Nicolas Troquard
Perceptron Operators That Count. Description Logics (2021)
Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard
Perceptron Connectives in Knowledge Representation. EKAW (2020)
Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
Towards Even More Irresistible Axiom Weakening. Description Logics (2020)
Pietro Galliani, Jouko Väänänen
Diversity, Dependence and Independence. FoIKS (2020)
Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard
Weighted Description Logic for Classification Problems. GCAI (2019)
Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard
On Knowledge Dependence in Weighted Description Logic. GCAI (2019)
Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo
A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. Description Logics (2019)
Pietro Galliani, Jouko Väänänen
Diversity, Dependence and Independence. CoRR (2019)
Pietro Galliani
Characterizing Downwards closed, strongly First-order, Relativizable Dependencies. J. Symb. Log. 84 (3) (2019)
Pietro Galliani
Safe Dependency Atoms and Possibility Operators in Team Semantics. GandALF (2018)
Pietro Galliani
Team Semantics for Spatial Reasoning: Locality and Separability. TriCoLore (C3GI/ISD/SCORE) (2018)
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
Repairing Ontologies via Axiom Weakening. AAAI (2018)
Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI (2018)
Pietro Galliani, Oliver Kutz, Roberto Confalonieri
A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models. KEOD (2018)
Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard
Coherence, Similarity, and Concept Generalisation. Description Logics (2017)
Pietro Galliani, Amir Dezfouli, Edwin V. Bonilla, Novi Quadrianto
Gray-box Inference for Structured Gaussian Process Models. AISTATS (2017)
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz
Repairing Ontologies via Axiom Weakening. CoRR (2017)
Pietro Galliani
Towards an Algebraic Approach to Theory and Concept Evaluation. CEx@AI*IA (2017)
Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello
Two Applications of Concept Refinement. CEx@AI*IA (2017)
Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza
Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA (2017)
Pietro Galliani
Upwards closed dependencies in team semantics. Inf. Comput. 245 (2015)
Pietro Galliani
On Strongly First-Order Dependencies. CoRR (2014)
Pietro Galliani
Transition semantics: the dynamics of dependence logic. Synth. 191 (6) (2014)
Pietro Galliani, Jouko A. Väänänen
On Dependence Logic CoRR (2013)
Pietro Galliani, Miika Hannula, Juha Kontinen
Hierarchies in independence logic. CSL (2013)
Pietro Galliani
Epistemic Operators in Dependence Logic. Stud Logica 101 (2) (2013)
Pietro Galliani
The Dynamification of Modal Dependence Logic. J. Log. Lang. Inf. 22 (3) (2013)
Pietro Galliani
The Doxastic Interpretation of Team Semantics CoRR (2013)
Pietro Galliani
General Models and Entailment Semantics for Independence Logic. Notre Dame J. Formal Log. 54 (2) (2013)
Pietro Galliani, Lauri Hella
Inclusion Logic and Fixed Point Logic CoRR (2013)
Pietro Galliani, Allen L. Mann
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information. Stud Logica 101 (2) (2013)
Pietro Galliani, Miika Hannula, Juha Kontinen
Hierarchies in independence logic CoRR (2013)
Pietro Galliani
Upwards Closed Dependencies in Team Semantics GandALF (2013)
Pietro Galliani, Lauri Hella
Inclusion Logic and Fixed Point Logic. CSL (2013)
Pietro Galliani
Transition Semantics - The Dynamics of Dependence Logic CoRR (2012)
Pietro Galliani
Dialetheism, Game Theoretic Semantics, and Paraconsistent Dependence Logic CoRR (2012)
Pietro Galliani
Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information. Ann. Pure Appl. Log. 163 (1) (2012)
Pietro Galliani
Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings. ICLA (2011)