Matthias Knorr
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
38
Venues
11
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
38 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | KR | Beyond Uniform: To Boldly Abstract What Has Not Been Abstracted Before. | Matthias Knorr, Zeynep G. Saribatur, Ricardo Gonalves |
| 2024 | KR | On Abstracting over the Irrelevant in Answer Set Programming. | Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2024 | LPNMR | Abstract Dialectical Frameworks are Boolean Networks. | Jesse Heyninck, Matthias Knorr, Joo Leite |
| 2023 | KR | Revising Boolean Logical Models of Biological Regulatory Networks. | Frederico Aleixo, Matthias Knorr, Joo Leite |
| 2022 | LPNMR | Towards Provenance in Heterogeneous Knowledge Bases. | Matthias Knorr, Carlos Viegas Damsio, Ricardo Gonalves, Joo Leite |
| 2021 | EPIA | Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. | Ricardo Ferreira, Carolina Lopes, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | EPIA | Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. | Joo Ferreira, Diogo Lavado, Ricardo Gonalves, Matthias Knorr, Ludwig Krippahl, Joo Leite |
| 2021 | JELIA | On Syntactic Forgetting Under Uniform Equivalence. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite |
| 2021 | JELIA | Tractable Reasoning Using Logic Programs with Intensional Concepts. | Jesse Heyninck, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2021 | SBAC-PAD | Opening the Black Box: Performance Estimation during Code Generation for GPUs. | Dominik Ernst, Georg Hager, Matthias Knorr, Gerhard Wellein, Markus Holzer |
| 2019 | AAAI | Forgetting in Modular Answer Set Programming. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2019 | EPIA | Forgetting in Answer Set Programming with Anonymous Cycles. | Matti Berthold, Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2019 | LPNMR | Telco Network Inventory Validation with NoHR. | Vedran Kasalica, Ioannis Gerochristos, Jos Jlio Alferes, Ana Sofia Gomes, Matthias Knorr, Joo Leite |
| 2018 | KR | Variable Elimination for DLP-Functions. | Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran |
| 2017 | EPIA | Iterative Variable Elimination in ASP. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2017 | LPNMR | NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. | Carlos Lopes, Matthias Knorr, Joo Leite |
| 2016 | ECAI | You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | On Some Properties of Forgetting in ASP. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | ECAI | Towards Inconsistency Management in Reactive Multi-Context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | JELIA | Forgetting in ASP: The Forgotten Properties. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2016 | JELIA | Inconsistency Management in Reactive Multi-context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | KR | The Ultimate Guide to Forgetting in Answer Set Programming. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2015 | EPIA | Minimal Change in Evolving Multi-Context Systems. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2015 | EPIA | Reasoning over Ontologies and Non-monotonic Rules. | Vadim Ivanov, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Extending NoHR for OWL 2 QL. | Nuno Costa, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Efficient Paraconsistent Reasoning with Ontologies and Rules. | Tobias Kaminski, Matthias Knorr, Joo Leite |
| 2015 | IJCAI | Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. | Tobias Kaminski, Matthias Knorr, Joo Leite |
| 2014 | ECAI | Evolving Multi-Context Systems. | Ricardo Gonalves, Matthias Knorr, Joo Leite |
| 2014 | JELIA | Preserving Strong Equivalence while Forgetting. | Matthias Knorr, Jos Jlio Alferes |
| 2014 | PRICAI | On Efficient Evolving Multi-Context Systems. | Matthias Knorr, Ricardo Gonalves, Joo Leite |
| 2013 | LPNMR | Forgetting under the Well-Founded Semantics. | Jos Jlio Alferes, Matthias Knorr, Kewen Wang |
| 2013 | LPNMR | Non-monotonic Temporal Goals. | Ricardo Gonalves, Matthias Knorr, Joo Leite, Martin Slota |
| 2012 | AAMAS | Normative systems require hybrid knowledge bases. | Marco Alberti, Matthias Knorr, Ana Sofia Gomes, Joo Leite, Ricardo Gonalves, Martin Slota |
| 2012 | ECAI | Reconciling OWL and Non-monotonic Rules for the Semantic Web. | Matthias Knorr, Pascal Hitzler, Frederick Maier |
| 2010 | ECAI | Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. | Matthias Knorr, Jos Jlio Alferes |
| 2008 | ECAI | A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. | Matthias Knorr, Jos Jlio Alferes, Pascal Hitzler |
| 2007 | EPIA | Towards Tractable Local Closed World Reasoning for the Semantic Web. | Matthias Knorr, Jos Jlio Alferes, Pascal Hitzler |
| 2007 | KI | A Comparison of Disjunctive Well-founded Semantics. | Matthias Knorr, Pascal Hitzler |