David Fernández-Duque
3 papers
· 2019–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(5)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
Conferences
AAAI (2)
IJCAI (1)
Keywords
dynamic topological logic
(2)
dynamical system
(2)
metric space
(1)
temporal logic
(1)
modal logic
(1)
spatial logic
(1)
fixed point operator
(1)
evidence logics
(1)
neighbourhood structure
(1)
deductive calculus
(1)
propositional reasoning
(1)
topological mu-calculus
(1)
cantor derivative
(1)
belief revision
(1)
scattered space
(1)
fixed point
(1)
Papers
Stratified Evidence Logics
IJCAI 2019