default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMatthias Knorr 0001
Person information
- affiliation: NOVA University Lisbon, Department of Computer Science, Portugal
Other persons with the same name
- Matthias Knorr 0002 — University of Erlangen-Nuremberg, National High Performance Computing Center, Erlangen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c51]Zeynep G. Saribatur, Matthias Knorr, Ricardo Gonçalves, João Leite:
On Abstracting over the Irrelevant in Answer Set Programming. KR 2024- [c50]Jesse Heyninck
, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. LPNMR 2024: 98-111 - [c49]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks. NMR 2024: 53-60 - [i10]Jesse Heyninck, Matthias Knorr, João Leite:
Abstract Dialectical Frameworks are Boolean Networks (full version). CoRR abs/2407.02055 (2024) - 2023
- [j9]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming - A Survey. Theory Pract. Log. Program. 23(1): 111-156 (2023) - [c48]Frederico Aleixo, Matthias Knorr, João Leite:
Revising Boolean Logical Models of Biological Regulatory Networks. KR 2023: 12-22 - 2022
- [c47]Matthias Knorr, Carlos Viegas Damásio, Ricardo Gonçalves, João Leite:
Towards Provenance in Heterogeneous Knowledge Bases. LPNMR 2022: 287-300 - 2021
- [c46]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: 338-350 - [c45]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: 363-375 - [c44]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite:
On Syntactic Forgetting Under Uniform Equivalence. JELIA 2021: 297-312 - [c43]Jesse Heyninck, Ricardo Gonçalves, Matthias Knorr, João Leite:
Tractable Reasoning Using Logic Programs with Intensional Concepts. JELIA 2021: 329-345 - [c42]Matthias Knorr:
On Combining Ontologies and Rules. RW 2021: 22-58 - [i9]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 abs/2106.08452 (2021) - [i8]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 abs/2106.08457 (2021) - [i7]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming - A Survey. CoRR abs/2107.07016 (2021) - 2020
- [j8]Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran:
On the limits of forgetting in Answer Set Programming. Artif. Intell. 286: 103307 (2020) - [j7]Vedran Kasalica, Matthias Knorr, João Leite, Carlos Lopes:
NoHR: An Overview. Künstliche Intell. 34(4): 509-515 (2020)
2010 – 2019
- 2019
- [j6]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): 1038-1055 (2019) - [c41]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Forgetting in Modular Answer Set Programming. AAAI 2019: 2843-2850 - [c40]Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in Answer Set Programming with Anonymous Cycles. EPIA (2) 2019: 552-565 - [c39]Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite:
Telco Network Inventory Validation with NoHR. LPNMR 2019: 18-31 - [i6]Matti Berthold, Ricardo Gonçalves, Matthias Knorr, João Leite:
A Syntactic Operator for Forgetting that Satisfies Strong Persistence. CoRR abs/1907.12501 (2019) - 2018
- [j5]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: 68-104 (2018) - [c38]Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran:
Variable Elimination for DLP-Functions. KR 2018: 643-644 - [r2]Matthias Knorr:
Automated Reasoning. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [j4]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): 837-854 (2017) - [c37]Ricardo Gonçalves, Matthias Knorr, João Leite:
Iterative Variable Elimination in ASP. EPIA 2017: 643-656 - [c36]Carlos Lopes, Matthias Knorr, João Leite:
NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. LPNMR 2017: 236-249 - [i5]Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran:
When You Must Forget: beyond strong persistence when forgetting in answer set programming. CoRR abs/1707.05152 (2017) - 2016
- [c35]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: 957-965 - [c34]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Some Properties of Forgetting in ASP. DARe@ECAI 2016 - [c33]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 - [c32]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: 529-535 - [c31]Ricardo Gonçalves, Matthias Knorr, João Leite:
Forgetting in ASP: The Forgotten Properties. JELIA 2016: 543-550 - [c30]Ricardo Gonçalves, Matthias Knorr, João Leite:
The Ultimate Guide to Forgetting in Answer Set Programming. KR 2016: 135-144 - [i4]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 abs/1609.03438 (2016) - 2015
- [c29]Tobias Kaminski, Matthias Knorr, João Leite:
Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Description Logics 2015 - [c28]Matthias Knorr:
Nonmonotonic Nominal Schemas Revisited. Description Logics 2015 - [c27]Vadim Ivanov, Matthias Knorr, João Leite:
Reasoning over Ontologies and Non-monotonic Rules. EPIA 2015: 388-401 - [c26]Ricardo Gonçalves, Matthias Knorr, João Leite:
Minimal Change in Evolving Multi-Context Systems. EPIA 2015: 611-623 - [c25]Nuno Costa, Matthias Knorr, João Leite:
Extending NoHR for OWL 2 QL. JOWO@IJCAI 2015 - [c24]Tobias Kaminski, Matthias Knorr, João Leite:
Efficient Paraconsistent Reasoning with Ontologies and Rules. IJCAI 2015: 3098-3105 - [c23]Tobias Kaminski, Matthias Knorr, João Leite:
Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. JOWO@IJCAI 2015 - [c22]Nuno Costa, Matthias Knorr, João Leite:
Next Step for NoHR: OWL 2 QL. ISWC (1) 2015: 569-586 - [c21]Nuno Costa, Matthias Knorr, João Leite:
Querying LUBM with Non-monotonic Features in Protege using NoHR. ISWC (Posters & Demos) 2015 - [i3]Ricardo Gonçalves, Matthias Knorr, João Leite:
On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). CoRR abs/1505.05368 (2015) - [i2]Ricardo Gonçalves, Matthias Knorr, João Leite:
Towards Efficient Evolving Multi-Context Systems (Preliminary Report). CoRR abs/1505.05502 (2015) - 2014
- [j3]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): 1279-1311 (2014) - [c20]Ricardo Gonçalves, Matthias Knorr, João Leite:
Evolving Bridge Rules in Evolving Multi-Context Systems. CLIMA 2014: 52-69 - [c19]Ricardo Gonçalves, Matthias Knorr, João Leite:
Evolving Multi-Context Systems. ECAI 2014: 375-380 - [c18]Matthias Knorr, José Júlio Alferes:
Preserving Strong Equivalence while Forgetting. JELIA 2014: 412-425 - [c17]Matthias Knorr, Ricardo Gonçalves, João Leite:
On Efficient Evolving Multi-Context Systems. PRICAI 2014: 284-296 - [r1]Matthias Knorr, Pascal Hitzler:
Description Logics. Computational Logic 2014: 659-678 - 2013
- [j2]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-Driven Procedures for Hybrid MKNF Knowledge Bases. ACM Trans. Comput. Log. 14(2): 16:1-16:43 (2013) - [c16]Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota:
Time Is Up! - Norms with Deadlines in Action Languages. CLIMA 2013: 223-238 - [c15]José Júlio Alferes, Matthias Knorr, Kewen Wang:
Forgetting under the Well-Founded Semantics. LPNMR 2013: 36-41 - [c14]Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota:
Non-monotonic Temporal Goals. LPNMR 2013: 374-386 - [c13]Vadim Ivanov, Matthias Knorr, João Leite:
NoHR: Querying EL with Non-monotonic Rules. ISWC (Posters & Demos) 2013: 17-20 - [c12]Vadim Ivanov, Matthias Knorr, João Leite:
A Query Tool for EL with Non-monotonic Rules. ISWC (1) 2013: 216-231 - 2012
- [c11]Marco Alberti, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves, Martin Slota:
Normative systems require hybrid knowledge bases. AAMAS 2012: 1425-1426 - [c10]Martin Homola, Matthias Knorr, João Leite, Martin Slota:
MKNF Knowledge Bases in Multi-Context Systems. CLIMA 2012: 146-162 - [c9]Matthias Knorr, Pascal Hitzler, Frederick Maier:
Reconciling OWL and Non-monotonic Rules for the Semantic Web. ECAI 2012: 474-479 - [c8]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: 225-228 - 2011
- [j1]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): 1528-1554 (2011) - [c7]Matthias Knorr, José Júlio Alferes:
Querying OWL 2 QL and Non-monotonic Rules. ISWC (1) 2011: 338-353 - 2010
- [c6]Matthias Knorr, José Júlio Alferes:
Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. ECAI 2010: 1079-1080 - [i1]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010)
2000 – 2009
- 2009
- [c5]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. ISWC 2009: 1-16 - 2008
- [c4]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. ECAI 2008: 99-103 - 2007
- [c3]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Description Logics 2007 - [c2]Matthias Knorr, José Júlio Alferes, Pascal Hitzler:
Towards Tractable Local Closed World Reasoning for the Semantic Web. EPIA Workshops 2007: 3-14 - [c1]Matthias Knorr, Pascal Hitzler:
A Comparison of Disjunctive Well-founded Semantics. FAInt 2007
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
