Valeria Fionda
5 papers · 2018–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Conference Polyglot (2) π Academic Marathon (7)
π
Cross-Pollinator
(5)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(16)
β
The Questioner
Conferences
IJCAI (3)
AAAI (2)
Top co-authors
Keywords
linear temporal logic
(2)
knowledge graph
(2)
declarative specification
(2)
natural language
(1)
skip-gram model
(1)
answer set programming
(1)
dynamical system
(1)
knowledge graph embedding
(1)
formal specification
(1)
quantitative reasoning
(1)
finite trace
(1)
bidirectional translation
(1)
process mining
(1)
faithfulness evaluation
(1)
fact checking
(1)
syntax tree
(1)
sparql query
(1)
large language model
(1)
weighted trace
(1)
quantitative aspect
(1)
Papers
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
AAAI 2026
Are Large Language Models Fluent in Declarative Process Mining?
IJCAI 2025
LTL on Weighted Finite Traces: Formal Foundations and Algorithms
IJCAI 2022
Learning Triple Embeddings from Knowledge Graphs
AAAI 2020
Fact Checking via Evidence Patterns
IJCAI 2018