Pietro Galliani

55 papers A* 4A 1B 5C 4Misc 1Journal 21Unranked 16

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