Valeria Fionda

84 papers A* 13A 5B 4C 2Misc 1Journal 25Unranked 28
YearRankTypeTitle / Venue / Authors
2026 A* conf
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas.
AAAI
Valeria Fionda, Antonio Ielo, Francesco Ricca
2026 J jnl
Towards ILP-based LTLf passive learning.
J. Log. Comput.
Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2025 — conf
1st International Workshop on Explainable AI and Knowledge Graphs (XAI-KG).
ESWC-JP
Claudia d'Amato, Valeria Fionda, Ilaria Tiddi, Gabriele Tolomei
2025 A* conf
Are Large Language Models Fluent in Declarative Process Mining?
IJCAI
Valeria Fionda, Antonio Ielo, Francesco Ricca
2025 J jnl
Direct Encoding of Declare Constraints in ASP.
Theory Pract. Log. Program.
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2025 — ed.
Joint Proceedings of the ESWC 2025 Workshops and Tutorials co-located with 22nd Extended Semantic Web Conference (ESWC 2025), Portorož, Slovenia, June 1-2, 2025.
ESWC-JP
Marta Sabou, Andreas Harth, Pasquale Lisena, Edward Curry, Bohui Zhang, Reham Alharbi, Yuan He, Georg Rehm, Sonja Schimmler, Stefan Dietze, Natalia Manola, Nicoletta Fornara, Víctor Rodríguez-Doncel, John Domingue, Achim Rettinger, Damian Trilling, Marko Grobelnik, Claudia d'Amato, Valeria Fionda, Ilaria Tiddi, Gabriele Tolomei
2025 J jnl
Logic-based analysis of fake news diffusion on social media.
Soc. Netw. Anal. Min.
Valeria Fionda
2024 — conf
A Declarative Framework for Temporal Reasoning in Green-Aware Applications.
GreenAI@AI*IA
Giuseppe De Giacomo, Valeria Fionda, Nicola Gigante, Antonio Ielo, Francesco Ricca, Alessandra Russo
2024 C conf
A Direct ASP Encoding for Declare.
PADL
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 J jnl
A benchmark dataset for community deception algorithms.
Soc. Netw. Anal. Min.
Valeria Fionda
2024 J jnl
A geometric framework for interstellar discourse on fundamental physical structures.
CoRR
Giampiero Esposito, Valeria Fionda
2024 A conf
Bipartite Time Series Network for Data Imputation.
ECAI
Ilaria Lucrezia Amerise, Valeria Fionda, Giuseppe Pirrò
2024 J jnl
Community Deception in Attributed Networks.
IEEE Trans. Comput. Soc. Syst.
Valeria Fionda, Giuseppe Pirrò
2024 J jnl
Direct Encoding of Declare Constraints in ASP.
CoRR
Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 B conf
LTLf2ASP: LTLf Bounded Satisfiability in ASP.
LPNMR
Valeria Fionda, Antonio Ielo, Francesco Ricca
2024 — ed.
Proceedings of the 3rd International Workshop on Process Management in the AI Era (PMAI 2024) co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024.
PMAI@ECAI
Giuseppe De Giacomo, Valeria Fionda, Fabiana Fournier, Antonio Ielo, Lior Limonad, Marco Montali
2023 — conf
Better Hide Communities: Benchmarking Community Deception Algorithms.
COMPLEX NETWORKS (4)
Valeria Fionda
2023 B conf
Characterizing Evolutionary Trends in Temporal Knowledge Graphs with Linear Temporal Logic.
IEEE Big Data
Valeria Fionda, Giuseppe Pirrò
2023 A* conf
Logic-based Composition of Business Process Models.
KR
Valeria Fionda, Antonio Ielo, Francesco Ricca
2023 A conf
On the Effectiveness of Compact Strategies for Opinion Diffusion in Social Environments.
ECAI
Carlo Adornetto, Valeria Fionda, Gianluigi Greco
2023 B conf
Towards ILP-Based LTL f Passive Learning.
ILP
Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo
2023 — conf
Tutorials at The Web Conference 2023.
WWW (Companion Volume)
Valeria Fionda, Olaf Hartig, Reyhaneh Abdolazimi, Sihem Amer-Yahia, Hongzhi Chen, Xiao Chen, Peng Cui, Jeffrey Dalton, Xin Luna Dong, Lisette Espín-Noboa, Wenqi Fan, Manuela Fritz, Quan Gan, Jingtong Gao, Xiaojie Guo, Torsten Hahmann, Jiawei Han, Soyeon Caren Han, Estevam Hruschka, Liang Hu, Jiaxin Huang, Utkarshani Jaimini, Olivier Jeunen, Yushan Jiang, Fariba Karimi, George Karypis, Krishnaram Kenthapadi, Himabindu Lakkaraju, Hady W. Lauw, Thai Le, Trung-Hoang Le, Dongwon Lee, Geon Lee, Liat Levontin, Cheng-Te Li, Haoyang Li, Ying Li, Jay Chiehen Liao, Qidong Liu, Usha Lokala, Ben London, Siqu Long, Hande Küçük-McGinty, Yu Meng, Seungwhan Moon, Usman Naseem, Pradeep Natarajan, Behrooz Omidvar-Tehrani, Zijie Pan, Devesh Parekh, Jian Pei, Tiago Peixoto, Steven Pemberton, Josiah Poon, Filip Radlinski, Federico Rossetto, Kaushik Roy, Aghiles Salah, Mehrnoosh Sameki, Amit P. Sheth, Cogan Shimizu, Kijung Shin, Dongjin Song, Julia Stoyanovich, Dacheng Tao, Johanne R. Trippas, Quoc Truong, Yu-Che Tsai, Adaku Uchendu, Bram van den Akker, Lin Wang, Minjie Wang, Shoujin Wang, Xin Wang, Ingmar Weber, Henry Weld, Lingfei Wu, Da Xu, Yifan Ethan Xu, Shuyuan Xu, Bo Yang, Ke Yang, Elad Yom-Tov, Jaemin Yoo, Zhou Yu, Reza Zafarani, Hamed Zamani, Meike Zehlike, Qi Zhang, Xikun Zhang, Yongfeng Zhang, Yu Zhang, Zheng Zhang, Liang Zhao, Xiangyu Zhao, Wenwu Zhu
2022 J jnl
Community deception: from undirected to directed networks.
Soc. Netw. Anal. Min.
Valeria Fionda, Saif Aldeen Madi, Giuseppe Pirrò
2022 A* conf
LTL on Weighted Finite Traces: Formal Foundations and Algorithms.
IJCAI
Carmine Dodaro, Valeria Fionda, Gianluigi Greco
2022 — conf
Reasoning about Smart Contracts via LTL Encoding.
SEBD
Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi
2021 — conf
Community Deception in Networks: Where We Are and Where We Should Go.
COMPLEX NETWORKS
Valeria Fionda, Giuseppe Pirrò
2021 B conf
Community deception in weighted networks.
ASONAM
Valeria Fionda, Giuseppe Pirrò
2021 — conf
From Node Embeddings to Triple Embeddings.
DP@AI*IA
Valeria Fionda, Giuseppe Pirrò
2021 — conf
Reasoning About Smart Contracts Encoded in LTL.
AI*IA
Valeria Fionda, Gianluigi Greco, Marco Antonio Mastratisi
2020 J jnl
Control-Flow Modeling with Declare: Behavioral Properties, Computational Complexity, and Tools.
IEEE Trans. Knowl. Data Eng.
Valeria Fionda, Antonella Guzzo
2020 A* conf
Learning Triple Embeddings from Knowledge Graphs.
AAAI
Valeria Fionda, Giuseppe Pirrò
2019 — conf
Control-Flow Business Process Summarization via Activity Contraction.
IDEAL (2)
Valeria Fionda, Gianluigi Greco
2019 A conf
Maximizing the Spread of an Opinion when Tertium Datur Est.
AAMAS
Vincenzo Auletta, Diodato Ferraioli, Valeria Fionda, Gianluigi Greco
2019 — ch.
Networks in Biology.
Encyclopedia of Bioinformatics and Computational Biology (1)
Valeria Fionda
2019 — ch.
Ontology: Definition Languages.
Encyclopedia of Bioinformatics and Computational Biology (1)
Valeria Fionda, Giuseppe Pirrò
2019 — ch.
Ontology: Querying Languages and Development.
Encyclopedia of Bioinformatics and Computational Biology (1)
Valeria Fionda, Giuseppe Pirrò
2019 — conf
Opinion Diffusion in Competitive Environments: Relating Coverage and Speed of Diffusion.
COMPLEX NETWORKS (1)
Valeria Fionda, Gianluigi Greco
2019 J jnl
Querying knowledge graphs with extended property paths.
Semantic Web
Valeria Fionda, Giuseppe Pirrò, Mariano P. Consens
2019 J jnl
Triple2Vec: Learning Triple Embeddings from Knowledge Graphs.
CoRR
Valeria Fionda, Giuseppe Pirrò
2018 — conf
Building Knowledge Maps of Web Graphs.
WWW (Companion Volume)
Valeria Fionda, Giuseppe Pirrò, Claudio Gutierrez
2018 A* conf
Community Deception - Or: How to Stop Fearing Community Detection Algorithms (Extended Abstract).
ICDE
Valeria Fionda, Giuseppe Pirrò
2018 J jnl
Community Deception or: How to Stop Fearing Community Detection Algorithms.
IEEE Trans. Knowl. Data Eng.
Valeria Fionda, Giuseppe Pirrò
2018 A* conf
Fact Checking via Evidence Patterns.
IJCAI
Valeria Fionda, Giuseppe Pirrò
2018 J jnl
LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner.
J. Artif. Intell. Res.
Valeria Fionda, Gianluigi Greco
2017 — conf
Explaining Graph Navigational Queries.
ESWC (1)
Valeria Fionda, Giuseppe Pirrò
2017 J jnl
Explaining and Querying Knowledge Graphs by Relatedness.
Proc. VLDB Endow.
Valeria Fionda, Giuseppe Pirrò
2017 — conf
Meta Structures in Knowledge Graphs.
ISWC (1)
Valeria Fionda, Giuseppe Pirrò
2017 — conf
Structural Characterization of Graph Navigational Languages.
SEBD
Valeria Fionda, Giuseppe Pirrò
2017 — conf
Time Travel Queries in RDF Archives.
MEPDaW/LDQ@ESWC
Melisachew Wudage Chekol, Valeria Fionda, Giuseppe Pirrò
2016 J jnl
Building knowledge maps of Web graphs.
Artif. Intell.
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2016 J jnl
From Community Detection to Community Deception.
CoRR
Valeria Fionda, Giuseppe Pirrò
2016 — conf
Gize: A Time Warp in the Web of Data.
ISWC (Posters & Demos)
Valeria Fionda, Melisachew Wudage Chekol, Giuseppe Pirrò
2016 A* conf
The Complexity of LTL on Finite Traces: Hard and Easy Fragments.
AAAI
Valeria Fionda, Gianluigi Greco
2015 A* conf
Extended Property Paths: Writing More SPARQL Queries in a Succinct Way.
AAAI
Valeria Fionda, Giuseppe Pirrò, Mariano P. Consens
2015 J jnl
NautiLOD: A Formal Language for the Web of Data Graph.
ACM Trans. Web
Valeria Fionda, Giuseppe Pirrò, Claudio Gutierrez
2015 J jnl
S+EPPs: Construct and Explore Bisimulation Summaries, plus Optimize Navigational Queries; all on Existing SPARQL Systems.
Proc. VLDB Endow.
Mariano P. Consens, Valeria Fionda, Shahan Khatchadourian, Giuseppe Pirrò
2015 A* conf
Trust Models for RDF Data: Semantics and Complexity.
AAAI
Valeria Fionda, Gianluigi Greco
2014 — conf
How much navigable is the Web of Linked Data?
ISWC (Posters & Demos)
Valeria Fionda, Enrico Malizia
2014 A* conf
Knowledge Maps of Web Graphs.
KR
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2014 — conf
Linking Historical Data on the Web.
ISWC (Posters & Demos)
Valeria Fionda, Giovanni Grasso
2014 — conf
Rewriting Queries over Summaries of Big Data Graphs.
AMW
Mariano P. Consens, Valeria Fionda, Shahan Khatchadourian, Giuseppe Pirrò
2014 — ch.
Semantic Navigation on the Web of Data.
Linked Data Management
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2014 — conf
The Map Generator Tool.
ISWC (Posters & Demos)
Valeria Fionda, Giuseppe Pirrò, Claudio Gutierrez
2014 J jnl
The swget portal: Navigating and acting on the web of linked data.
J. Web Semant.
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2013 — conf
A Powerful Traversal Language for Discoverable Graphs.
SEBD
Mariano P. Consens, Valeria Fionda, Giuseppe Pirrò
2013 A conf
Querying graphs with preferences.
CIKM
Valeria Fionda, Giuseppe Pirrò
2013 J jnl
The complexity of mixed multi-unit combinatorial auctions: Tractability under structural and qualitative restrictions.
Artif. Intell.
Valeria Fionda, Gianluigi Greco
2013 J jnl
Web Maps and Their Algebra
CoRR
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2013 — conf
Web Maps and their Algebra.
SEBD
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2012 A conf
CAKES: Cross-lingual Wikipedia Knowledge Enrichment and Summarization.
ECAI
Valeria Fionda, Giuseppe Pirrò
2012 — conf
Extracting Relevant Subgraphs from Graph Navigation.
ISWC (Posters & Demos)
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2012 A* conf
Semantic navigation on the web of data: specification of routes, web fragments and actions.
WWW
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2011 Misc conf
BioTRON: a biological workflow management system.
SAC
Valeria Fionda, Giuseppe Pirrò
2011 J jnl
Biological Network Querying Techniques: Analysis and Comparison.
J. Comput. Biol.
Valeria Fionda, Luigi Palopoli
2011 J jnl
Biological network analysis and comparison: mining new biological knowledge.
Central Eur. J. Comput. Sci.
Valeria Fionda
2011 — conf
Semantic Flow Networks: Semantic Interoperability in Networks of Ontologies.
JIST
Valeria Fionda, Giuseppe Pirrò
2011 J jnl
Semantic Navigation on the Web of Data: Specification of Routes, Web Fragments and Actions
CoRR
Valeria Fionda, Claudio Gutierrez, Giuseppe Pirrò
2009 J jnl
A technique to search for functional similarities in protein-protein interaction networks.
Int. J. Data Min. Bioinform.
Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo
2009 A* conf
Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions.
IJCAI
Valeria Fionda, Gianluigi Greco
2009 — conf
Extracting similar sub-graphs across PPI networks.
ISCIS
Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo
2008 — conf
Protein-Protein Interaction Network Querying by a "Focus and Zoom" Approach.
BIRD
Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo
2008 — conf
Singling out functional similarities in graph databases.
SEBD
Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo
2007 — conf
GRAPPIN: Bipartite GRAph Based Protein-Protein Interaction Network Similarity Search.
BIBM
Valeria Fionda, Luigi Palopoli, Simona Panni, Simona E. Rombo
2007 C conf
Protein Data Condensation for Effective Quaternary Structure Classification.
IDEAL
Fabrizio Angiulli, Valeria Fionda, Simona E. Rombo