Fabián Romero

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 5

Top Topics

Epistemic Logic

Merging Operators

Decision Procedures

Top Venues

Publications

Andreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero, François Schwarzentruber
A Logic of Explicit and Implicit Distributed Belief. ECAI (2020)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic Systems and Topological Semantics for Intuitionistic Temporal Logic. JELIA (2019)
Emiliano Lorini, Fabián Romero
SAT for Epistemic Logic Using Belief Bases. EMAS@AAMAS (2019)
Emiliano Lorini, Fabián Romero
Decision Procedures for Epistemic Logic Exploiting Belief Bases. AAMAS (2019)
Joseph Boudou, Martín Diéguez, David Fernández-Duque, Fabián Romero
Axiomatic systems and topological semantics for intuitionistic temporal logic. CoRR (2018)