Eunice Palmeira da Silva

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 3

Top Topics

Legal Knowledge

Legal Reasoning

Description Logic Alc

Top Venues

Publications

Eunice Palmeira da Silva, Fred Freitas, Jens Otten
Converting ALC Connection Proofs into ALC Sequents. PxTP (2019)
Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak
LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. FLAP 6 (5) (2019)
Cleyton Mário de Oliveira Rodrigues, Ryan Ribeiro de Azevedo, Frederico Luiz Gonçalves de Freitas, Eunice Palmeira da Silva, Patrícia Vieira da Silva Barros
An ontological approach for simulating legal action in the Brazilian penal code. SAC (2015)