Davide Soldà
2 papers
· 2024–2025
· 1 conference
· across top CS/AI conferences
Achievements
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
IJCAI (2)
Top co-authors
Keywords
answer set programming
(2)
dynamic system
(1)
temporal logic
(1)
model checking
(1)
logic programming
(1)
non-monotonic reasoning
(1)
linear temporal logic
(1)
equilibrium logic
(1)
temporal operator
(1)
automata technique
(1)
temporal equilibrium logic
(1)
computational complexity
(1)
linear-time temporal logic
(1)