Eduardo Fermé
2 papers
· 2017–2019
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(10)
📈
Trend Setter
Conferences
IJCAI (2)
Top co-authors
Keywords
formal logic
(2)
belief revision
(2)
contraction operator
(2)
propositional logic
(1)
axiomatic characterization
(1)
belief base
(1)
knowledge representation
(1)
formal ontology
(1)
multiple contraction
(1)
system of sphere
(1)
partial meet contraction
(1)
base contraction
(1)
non-prioritized operator
(1)
impossibility theorem
(1)
knowledge base
(1)
impossibility result
(1)