Matthias Knorr

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 32

Top Topics

Answer Set Programming

Causal Theories

Top Venues

Publications

Jesse Heyninck, Matthias Knorr, João Leite
Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR (2024)
Frederico Aleixo, Matthias Knorr, João Leite
Revising Boolean Logical Models of Biological Regulatory Networks. KR (2023)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23 (1) (2023)
Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR (2022)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming - A Survey. CoRR (2021)
Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. EPIA (2021)
Ricardo Ferreira, Carolina Lopes, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL. CoRR (2021)
João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Faster Than LASER - Towards Stream Reasoning with Deep Neural Networks. EPIA (2021)
João Ferreira, Diogo Lavado, Ricardo Gonçalves, Matthias Knorr, Ludwig Krippahl, João Leite
Faster than LASER - Towards Stream Reasoning with Deep Neural Networks. CoRR (2021)
Matthias Knorr
On Combining Ontologies and Rules. Reasoning Web (2021)
Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA (2021)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite
On Syntactic Forgetting Under Uniform Equivalence. JELIA (2021)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286 (2020)
Vedran Kasalica, Matthias Knorr, João Leite, Carlos Lopes
NoHR: An Overview. Künstliche Intell. 34 (4) (2020)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) (2019)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Forgetting in Modular Answer Set Programming. AAAI (2019)
Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite
Telco Network Inventory Validation with NoHR. LPNMR (2019)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR (2019)
Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Theory Pract. Log. Program. 19 (5-6) (2019)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artif. Intell. 256 (2018)
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
Variable Elimination for DLP-Functions. KR (2018)
Carlos Lopes, Matthias Knorr, João Leite
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
When you must forget: Beyond strong persistence when forgetting in answer set programming. Theory Pract. Log. Program. 17 (5-6) (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite
Iterative Variable Elimination in ASP. EPIA (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR (2017)
Ricardo Gonçalves, Matthias Knorr, João Leite
The Ultimate Guide to Forgetting in Answer Set Programming. KR (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. CoRR (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
On Some Properties of Forgetting in ASP. DARe@ECAI (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency Management in Reactive Multi-context Systems. JELIA (2016)
Ricardo Gonçalves, Matthias Knorr, João Leite
Forgetting in ASP: The Forgotten Properties. JELIA (2016)
Vadim Ivanov, Matthias Knorr, João Leite
Reasoning over Ontologies and Non-monotonic Rules. EPIA (2015)
Nuno Costa, Matthias Knorr, João Leite
Next Step for NoHR: OWL 2 QL. ISWC (1) (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI (2015)
Nuno Costa, Matthias Knorr, João Leite
Querying LUBM with Non-monotonic Features in Protege using NoHR. ISWC (Posters & Demos) (2015)
Nuno Costa, Matthias Knorr, João Leite
Extending NoHR for OWL 2 QL. JOWO@IJCAI (2015)
Matthias Knorr
Nonmonotonic Nominal Schemas Revisited. Description Logics (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI (2015)
Tobias Kaminski, Matthias Knorr, João Leite
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics (2015)
Ricardo Gonçalves, Matthias Knorr, João Leite
Minimal Change in Evolving Multi-Context Systems. EPIA (2015)
Matthias Knorr, Ricardo Gonçalves, João Leite
On Efficient Evolving Multi-Context Systems. PRICAI (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Multi-Context Systems. ECAI (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA (2014)
Matthias Knorr, Martin Slota, João Leite, Martin Homola
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. J. Log. Comput. 24 (6) (2014)
Matthias Knorr, José Júlio Alferes
Preserving Strong Equivalence while Forgetting. JELIA (2014)
Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota
Non-monotonic Temporal Goals. LPNMR (2013)
José Júlio Alferes, Matthias Knorr, Kewen Wang
Forgetting under the Well-Founded Semantics. LPNMR (2013)
José Júlio Alferes, Matthias Knorr, Terrance Swift
Query-Driven Procedures for Hybrid MKNF Knowledge Bases. ACM Trans. Comput. Log. 14 (2) (2013)
Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA (2013)
Vadim Ivanov, Matthias Knorr, João Leite
with Non-monotonic Rules. ISWC (1) (2013)
Vadim Ivanov, Matthias Knorr, João Leite
NoHR: Querying EL with Non-monotonic Rules. ISWC (Posters & Demos) (2013)
Martin Homola, Matthias Knorr, João Leite, Martin Slota
MKNF Knowledge Bases in Multi-Context Systems. CLIMA (2012)
Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota
Normative systems require hybrid knowledge bases. AAMAS (2012)
Matthias Knorr, Pascal Hitzler, Frederick Maier
Reconciling OWL and Non-monotonic Rules for the Semantic Web. ECAI (2012)
Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang
Recent Advances in Integrating OWL and Rules (Technical Communication). RR (2012)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
Local closed world reasoning with description logics under the well-founded semantics. Artif. Intell. 175 (9-10) (2011)
Matthias Knorr, José Júlio Alferes
Querying OWL 2 QL and Non-monotonic Rules. ISWC (1) (2011)
Matthias Knorr, José Júlio Alferes
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. ECAI (2010)
José Júlio Alferes, Matthias Knorr, Terrance Swift
Query-driven Procedures for Hybrid MKNF Knowledge Bases CoRR (2010)
José Júlio Alferes, Matthias Knorr, Terrance Swift
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. ISWC (2009)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI (2008)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics (2007)
Matthias Knorr, Pascal Hitzler
A Comparison of Disjunctive Well-founded Semantics. FAInt (2007)
Matthias Knorr, José Júlio Alferes, Pascal Hitzler
Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops (2007)