Chair:
Anderson Paiva Cruz
09:00-09:30
Query answering in lattice-based description logic. Krishna Manoorkar and Ruoding Wang.
09:30-10:00
Fuzzy lattice-based description logic. Yiwen Ding and Krishna Manoorkar.
10:00-10:30
Regional, Lattice and Logical Representations of Neural Networks. Sandro Preto and Marcelo Finger.
10:30-11:00
Coffe Break
Chair:
Maribel Fernandez
11:00-11:30
Nominal Equational Rewriting and Narrowing. Mauricio Ayala-Rincón, Maribel Fernandez, Daniele Nantes-Sobrinho and Daniella Santaguida Magalhães de Souza.
11:30-12:00
Anti-unification on Absorption and Commutative Theories. David Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia and Mauricio Ayala-Rincón.
12:00-14:00
Lunch Time
Chair:
Wagner Sanz
14:00-14:30
Towards an Analysis of Proofs in Arithmetic. Alexander Leitsch, Anela Lolic and Stella Mahler.
14:30-15:00
Paraconsistent Relations as a Variant of Kleene Algebras. Juliana Cunha, Alexandre Madeira and Luís Soares Barbosa.
15:00-15:30
Coffe Break
15:30-16:30
Anderson Paiva Cruz (Invited Tutorial)
Merging quantum computation and fuzzy logics: Learning with games and visual programming.
16:30-17:30
Anderson Paiva Cruz (Invited Tutorial)
Merging quantum computation and fuzzy logics: Learning with games and visual programming.