Search dblp for Publications

• > Home > Search

@article{DBLP:journals/flap/RodriguesSFOV19,
  author       = {Cleyton M. O. Rodrigues and
                  Eunice Palmeira da Silva and
                  Fred Freitas and
                  Italo Jose da Silva Oliveira and
                  Ivan Varzinczak},
  title        = {{LEGIS:} {A} Proposal to Handle Legal Normative Exceptions and Leverage
                  Inference Proofs Readability},
  journal      = {{FLAP}},
  volume       = {6},
  number       = {5},
  pages        = {755--780},
  year         = {2019},
  url          = {https://collegepublications.co.uk/ifcolog/?00034},
  timestamp    = {Fri, 29 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/flap/RodriguesSFOV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1908-09477,
  author       = {Eunice Palmeira da Silva and
                  Fred Freitas and
                  Jens Otten},
  editor       = {Giselle Reis and
                  Haniel Barbosa},
  title        = {Converting {ALC} Connection Proofs into {ALC} Sequents},
  booktitle    = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving,
                  PxTP 2019, Natal, Brazil, August 26, 2019},
  series       = {{EPTCS}},
  volume       = {301},
  pages        = {3--17},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.301.3},
  doi          = {10.4204/EPTCS.301.3},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-09477.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sac/RodriguesAFSB15,
  author       = {Cleyton M{\'{a}}rio de Oliveira Rodrigues and
                  Ryan Ribeiro de Azevedo and
                  Frederico Luiz Gon{\c{c}}alves de Freitas and
                  Eunice Palmeira da Silva and
                  Patr{\'{\i}}cia Vieira da Silva Barros},
  editor       = {Roger L. Wainwright and
                  Juan Manuel Corchado and
                  Alessio Bechini and
                  Jiman Hong},
  title        = {An ontological approach for simulating legal action in the Brazilian
                  penal code},
  booktitle    = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
                  Salamanca, Spain, April 13-17, 2015},
  pages        = {376--381},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2695664.2695740},
  doi          = {10.1145/2695664.2695740},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/RodriguesAFSB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}