default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPietro Galliani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c30]Guendalina Righetti
, Pietro Galliani, Claudio Masolo:
Concept Combination in Weighted DL. JELIA 2023: 385-401- [c29]Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Succinctness and Complexity of ALC with Counting Perceptrons. KR 2023: 291-300 - 2022
- [j11]Pietro Galliani, Jouko Väänänen:
Diversity, dependence and independence. Ann. Math. Artif. Intell. 90(2-3): 211-233 (2022) - [j10]Fausto Barbero, Pietro Galliani:
Embedding causal team languages into predicate logic. Ann. Pure Appl. Log. 173(10): 103159 (2022) - [c28]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Almost Certain Termination for ALC Weakening. EPIA 2022: 663-675 - [c27]Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani:
Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract). IJCAI 2022: 5329-5333 - [c26]Pietro Galliani:
Strongly First Order, Domain Independent Dependencies: The Union-Closed Case. WoLLIC 2022: 263-279 - 2021
- [j9]Pietro Galliani:
Safe dependency atoms and possibility operators in team semantics. Inf. Comput. 278: 104593 (2021) - [c25]Pietro Galliani, Oliver Kutz, Nicolas Troquard:
Perceptron Operators That Count. Description Logics 2021 - [c24]Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). Description Logics 2021 - [c23]Guendalina Righetti, Daniele Porello, Nicolas Troquard, Oliver Kutz, Maria M. Hedblom, Pietro Galliani:
Asymmetric Hybrids: Dialogues for Computational Concept Combination. FOIS 2021: 81-96 - [c22]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 - [c21]Pietro Galliani:
Doubly Strongly First Order Dependencies. WoLLIC 2021: 47-63 - 2020
- [c20]Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
Towards Even More Irresistible Axiom Weakening. Description Logics 2020 - [c19]Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
Perceptron Connectives in Knowledge Representation. EKAW 2020: 183-193 - [c18]Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. FoIKS 2020: 106-121
2010 – 2019
- 2019
- [j8]Pietro Galliani:
Characterizing Downwards closed, strongly First-order, Relativizable Dependencies. J. Symb. Log. 84(3): 1136-1167 (2019) - [c17]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 - [c16]Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard:
On Knowledge Dependence in Weighted Description Logic. GCAI 2019: 68-80 - [c15]Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard:
Weighted Description Logic for Classification Problems. GCAI 2019: 108-112 - [i9]Pietro Galliani, Jouko Väänänen:
Diversity, Dependence and Independence. CoRR abs/1912.03252 (2019) - 2018
- [c14]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. AAAI 2018: 1981-1988 - [c13]Pietro Galliani:
Team Semantics for Spatial Reasoning: Locality and Separability. TriCoLore (C3GI/ISD/SCORE) 2018 - [c12]Pietro Galliani, Oliver Kutz, Roberto Confalonieri:
A Roadmap towards Tuneable Random Ontology Generation Via Probabilistic Generative Models. KEOD 2018: 349-355 - [c11]Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani, Oliver Kutz:
Two Approaches to Ontology Aggregation Based on Axiom Weakening. IJCAI 2018: 1942-1948 - [c10]Pietro Galliani:
Safe Dependency Atoms and Possibility Operators in Team Semantics. GandALF 2018: 58-72 - 2017
- [c9]Roberto Confalonieri, Nicolas Troquard, Pietro Galliani, Oliver Kutz, Rafael Peñaloza, Daniele Porello:
Two Applications of Concept Refinement. CEx@AI*IA 2017 - [c8]Pietro Galliani:
Towards an Algebraic Approach to Theory and Concept Evaluation. CEx@AI*IA 2017 - [c7]Pietro Galliani, Amir Dezfouli, Edwin V. Bonilla, Novi Quadrianto:
Gray-box Inference for Structured Gaussian Process Models. AISTATS 2017: 353-361 - [c6]Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, Nicolas Troquard:
Coherence, Similarity, and Concept Generalisation. Description Logics 2017 - [c5]Daniele Porello, Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Rafael Peñaloza:
Repairing Socially Aggregated Ontologies Using Axiom Weakening. PRIMA 2017: 441-449 - [i8]Nicolas Troquard, Roberto Confalonieri, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Oliver Kutz:
Repairing Ontologies via Axiom Weakening. CoRR abs/1711.03430 (2017) - 2016
- [p3]Pietro Galliani:
On Strongly First-Order Dependencies. Dependence Logic 2016: 53-71 - 2015
- [j7]Pietro Galliani:
Upwards closed dependencies in team semantics. Inf. Comput. 245: 124-135 (2015) - [p2]Pietro Galliani:
The Doxastic Interpretation of Team Semantics. Logic Without Borders 2015: 167-192 - 2014
- [j6]Pietro Galliani:
Transition semantics: the dynamics of dependence logic. Synth. 191(6): 1249-1276 (2014) - [p1]Pietro Galliani, Jouko Väänänen:
On Dependence Logic. Johan van Benthem on Logic and Information Dynamics 2014: 101-119 - [i7]Pietro Galliani:
On Strongly First-Order Dependencies. CoRR abs/1403.3698 (2014) - 2013
- [j5]Pietro Galliani:
The Dynamification of Modal Dependence Logic. J. Log. Lang. Inf. 22(3): 269-295 (2013) - [j4]Pietro Galliani:
General Models and Entailment Semantics for Independence Logic. Notre Dame J. Formal Log. 54(2): 253-275 (2013) - [j3]Pietro Galliani, Allen L. Mann:
Lottery Semantics: A Compositional Semantics for Probabilistic First-Order Logic with Imperfect Information. Stud Logica 101(2): 293-322 (2013) - [j2]Pietro Galliani:
Epistemic Operators in Dependence Logic. Stud Logica 101(2): 367-397 (2013) - [c4]Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. CSL 2013: 263-280 - [c3]Pietro Galliani, Lauri Hella:
Inclusion Logic and Fixed Point Logic. CSL 2013: 281-295 - [c2]Pietro Galliani:
Upwards Closed Dependencies in Team Semantics. GandALF 2013: 93-106 - [i6]Pietro Galliani, Lauri Hella:
Inclusion Logic and Fixed Point Logic. CoRR abs/1304.4267 (2013) - [i5]Pietro Galliani, Miika Hannula, Juha Kontinen:
Hierarchies in independence logic. CoRR abs/1304.4391 (2013) - [i4]Pietro Galliani:
The Doxastic Interpretation of Team Semantics. CoRR abs/1305.4744 (2013) - [i3]Pietro Galliani, Jouko A. Väänänen:
On Dependence Logic. CoRR abs/1305.5948 (2013) - 2012
- [j1]Pietro Galliani:
Inclusion and exclusion dependencies in team semantics - On some logics of imperfect information. Ann. Pure Appl. Log. 163(1): 68-84 (2012) - [i2]Pietro Galliani:
Transition Semantics - The Dynamics of Dependence Logic. CoRR abs/1203.0871 (2012) - [i1]Pietro Galliani:
Dialetheism, Game Theoretic Semantics, and Paraconsistent Dependence Logic. CoRR abs/1206.6573 (2012) - 2011
- [c1]Pietro Galliani:
Sensible Semantics of Imperfect Information - On a Formal Feature of Meanings. ICLA 2011: 79-89
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
