Felipe Salvatore

Publication Activity (10 Years)

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

Top Topics

Propositional Dynamic Logic

Sound And Complete Axiomatization

Action Theories

Top Venues

DeepLo@EMNLP-IJCNLP

J. Log. Comput.

Publications

Melvin Fitting, Felipe Salvatore
First-order justification logic with constant domain semantics. J. Log. Comput. 30 (1) (2020)
Felipe Salvatore, Marcelo Finger, Roberto Hirata Jr.
A logical-based corpus for cross-lingual evaluation. DeepLo@EMNLP-IJCNLP (2019)
Felipe Salvatore, Sandro Preto, Marcelo Finger, Roberto Hirata Jr.
Using neural models to perform inference. NeSy@IJCAI (2019)
Melvin Fitting, Felipe Salvatore
First-order justification logic with constant domain semantics. CoRR (2018)