Antonio Ielo
3 papers
· 2025–2026
· 2 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(5)
π
Conference Polyglot
(2)
β
The Questioner
Conferences
AAAI (2)
IJCAI (1)
Keywords
declarative specification
(2)
linear temporal logic
(2)
minimal unsatisfiable core
(2)
answer set programming
(2)
process mining
(1)
faithfulness evaluation
(1)
syntax tree
(1)
large language model
(1)
declarative process specification
(1)
natural language
(1)
explanations enumeration
(1)
formal specification
(1)
satisfiability checking
(1)
bidirectional translation
(1)