Eunice Palmeira da Silva

According to our database, Eunice Palmeira da Silva authored at least 3 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability.

Cleyton M. O. Rodrigues, Eunice Palmeira da Silva, Fred Freitas, Italo Jose da Silva Oliveira, Ivan Varzinczak

FLAP, 2019

Converting ALC Connection Proofs into ALC Sequents.

Eunice Palmeira da Silva, Fred Freitas, Jens Otten

Proceedings of the Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, 2019

2015

An ontological approach for simulating legal action in the Brazilian penal code.

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

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015