Davide Soldà
2 papers · 2024–2025 · 1 venue · 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.
Venues
Top co-authors
Research topics
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)