Fionda, Valeria

9 publications

IJCAI 2025 Are Large Language Models Fluent in Declarative Process Mining? Valeria Fionda, Antonio Ielo, Francesco Ricca

IJCAI 2022 LTL on Weighted Finite Traces: Formal Foundations and Algorithms Carmine Dodaro, Valeria Fionda, Gianluigi Greco

AAAI 2020 Learning Triple Embeddings from Knowledge Graphs Valeria Fionda, Giuseppe Pirrò

IJCAI 2018 Fact Checking via Evidence Patterns Valeria Fionda, Giuseppe Pirrò

JAIR 2018 LTL on Finite and Process Traces: Complexity Results and a Practical Reasoner Valeria Fionda, Gianluigi Greco

AAAI 2016 The Complexity of LTL on Finite Traces: Hard and Easy Fragments Valeria Fionda, Gianluigi Greco

AAAI 2015 Extended Property Paths: Writing More SPARQL Queries in a Succinct Way Valeria Fionda, Giuseppe Pirrò, Mariano P. Consens

AAAI 2015 Trust Models for RDF Data: Semantics and Complexity Valeria Fionda, Gianluigi Greco

IJCAI 2009 Charting the Tractability Frontier of Mixed Multi-Unit Combinatorial Auctions Valeria Fionda, Gianluigi Greco