Matthias Knorr

2 papers · 2015–2019 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13) 🚀 Conference Pioneer

Conferences

AAAI (1) IJCAI (1)

Top co-authors

João Leite (2) Tobias Kaminski (1) Tomi Janhunen (1) Ricardo Gonçalves (1) Stefan Woltran (1)

Keywords

knowledge representation (1) answer set programming (1) logic programming (1) modular programming (1) forgetting operator (1) atom elimination (1)

Papers

Forgetting in Modular Answer Set Programming AAAI 2019

Efficient Paraconsistent Reasoning with Ontologies and Rules IJCAI 2015