Petrucio Viana

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 4

Top Topics

Conference On Artificial Intelligence

Top Venues

J. Log. Lang. Inf.

Publications

Itala M. Loffredo D'Ottaviano, Ricardo Sousa Silvestre, Leandro Suguitani, Petrucio Viana
The Proceedings of the XIX EBL ? 19th Brazilian Logic Conference, 2019. A preface. FLAP 9 (1) (2022)
Márcia R. Cerioli, Leandro Suguitani, Petrucio Viana
Presenting Basic Graph Logic. Diagrams (2021)
Fágner L. Santana, Benjamín R. C. Bedregal, Petrucio Viana, Humberto Bustince
On admissible orders over closed subintervals of [0, 1]. Fuzzy Sets Syst. 399 (2020)
Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana
Foreword. Log. J. IGPL 25 (4) (2017)
Renata P. de Freitas, Petrucio Viana
Set Venn Diagrams Applied to Inclusions and Non-inclusions. J. Log. Lang. Inf. 24 (4) (2015)
Renata P. de Freitas, Petrucio Viana
The Second Venn Diagrammatic System. Diagrams (2014)
Juliana Küster Filipe Bowles, Petrucio Viana
On Distributed Stochastic Logics for Mobile Systems. WoLLIC (2014)
Walter Alexandre Carnielli, Renata P. de Freitas, Petrucio Viana
The Proceedings of the XVI EBL - 16th Brazilian Logic Conference, 2011: A Preface. Log. J. IGPL 22 (2) (2014)
Márcia R. Cerioli, Hugo Nobrega, Petrucio Viana
Decomposition by maxclique separators. Discret. Math. 337 (2014)
Renata P. de Freitas, Petrucio Viana
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations. Diagrams (2012)
Márcia R. Cerioli, Hugo Nobrega, Petrucio Viana
On characterizations by nice forbidding sets. Electron. Notes Discret. Math. 38 (2011)
Márcia R. Cerioli, Hugo Nobrega, Petrucio Viana
A partial characterization by forbidden subgraphs of edge path graphs. CTW (2011)
Renata P. de Freitas, Petrucio Viana
Introducing Polymodal Neighbourhood Logics. LSFA (2008)