Constructive Logic Covers Argumentation and Logic Programming

von Fandinno, Jorge
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (16. : 2018 : Tempe, Ariz.) Proceedings, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (2018)

Multi-adjoint Lattice Logic. Properties and Query Answering

von Cornejo, Maria Eugenia
Veröffentlicht in EPIA (21. : 2022 : Lissabon) Progress in artificial intelligence (2022)