Fabiane F. P. Galafassi, Cristiano Galafassi, Rosa Maria Vicari, João Carlos Gluz. Identifying Knowledge from the Application of Natural Deduction Rules in Propositional Logic. In Yves Demazeau, Eric Matson, Juan Manuel Corchado, Fernando de la Prieta, editors, Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings. Volume 11523 of Lecture Notes in Computer Science, pages 66-77, Springer, 2019. [doi]
Abstract is missing.