Valeria Fionda
5 papers
· 2018–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π£
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
Fact Checking via Evidence Patterns
IJCAI 2018