Matthias Knorr

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