Feeds RSS

At the meeting of the organizing and program committees the top 5 articles of the workshop were defined. During the dinner event were awarded the following articles:

  • Applying a Method to Extend Lattice-valued QL-implications (Eduardo Palmeira, Benjamin Bedregal)
  • Especificação de modelos baseados em contextos através de Gramática de Grafos (Marcos A. Oliveira Jr., Leila Ribeiro, Lucio Mauro Duarte, Erika Cota)
  • Fuzzy implications obtained by n-ary aggregation operators (Íbero Benítez, Renata Reiser, Adenauer Yamin, Benjamin Bedregal)
  • Quantum Monad using Java Closures (Bruno Crestani Calegaro, Juliana Kaizer Vizzotto)
  • Towards the use of Proof Tactics for Theorem Proving Graph Grammars through Rodin (Luiz Carlos Lemos Junior, Simone A. da C. Cavalheiro, Luciana Foss)