João Leite

4 papers · 2013–2021 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (15) 🚀 Conference Pioneer

Conferences

AAAI (2) IJCAI (2)

Top co-authors

Matthias Knorr (2) Tomi Janhunen (1) Martin Slota (1) Tobias Kaminski (1) Ricardo Gonçalves (1) Stefan Woltran (1) Manuel de Sousa Ribeiro (1)

Keywords

symbolic reasoning (1) knowledge representation (1) explainable ai (1) answer set programming (1) logic programming (1) neural network (1) concept mapping (1) modular programming (1) forgetting operator (1) atom elimination (1)

Papers

Aligning Artificial Neural Networks and Ontologies towards Explainable AI AAAI 2021

Forgetting in Modular Answer Set Programming AAAI 2019

Efficient Paraconsistent Reasoning with Ontologies and Rules IJCAI 2015

On Condensing a Sequence of Updates in Answer-Set Programming IJCAI 2013