Valeria Fionda
5 papers · 2018–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🏃
Academic Marathon · Sprint
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(16)
❓
The Questioner
Top co-authors
Research topics
Artificial Intelligence
(3)
Knowledge & Reasoning
(3)
Core AI
(3)
Machine Learning
(2)
Mathematics & Optimization
(2)
Natural Language Processing
(2)
Applications
(2)
Mathematics
(2)
Representation
(2)
Core Methods
(1)
Optimization
(1)
Optimization & Theory
(1)
Reasoning
(1)
Resources & Methods
(1)
Understanding
(1)
Keywords
declarative specification
(2)
linear temporal logic
(2)
knowledge graph
(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