The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthias Knorr" ( http://dblp.L3S.de/Authors/Matthias_Knorr )

URL (Homepage):  https://orcid.org/0000-0003-1826-1498  Author page on DBLP  Author page in RDF  Community of Matthias Knorr in ASPL-2

Publication years (Num. hits)
2007-2013 (19) 2014-2015 (17) 2016-2019 (17)
Publication types (Num. hits)
article(11) incollection(2) inproceedings(40)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 54 publication records. Showing 53 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Matti Berthold, Ricardo Gonçalves 0001, Matthias Knorr, João Leite A Syntactic Operator for Forgetting that Satisfies Strong Persistence. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite Telco Network Inventory Validation with NoHR. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran Forgetting in Modular Answer Set Programming. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  BibTeX  RDF
1Matthias Knorr Automated Reasoning. Search on Bibsonomy Encyclopedia of Social Network Analysis and Mining. 2nd Ed. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Search on Bibsonomy Artif. Intell. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran Variable Elimination for DLP-Functions. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Stefan Woltran When You Must Forget: beyond strong persistence when forgetting in answer set programming. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Stefan Woltran When you must forget: Beyond strong persistence when forgetting in answer set programming. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Carlos Lopes, Matthias Knorr, João Leite NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Iterative Variable Elimination in ASP. Search on Bibsonomy EPIA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer Towards Inconsistency Management in Reactive Multi-Context Systems. Search on Bibsonomy DARe@ECAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite On Some Properties of Forgetting in ASP. Search on Bibsonomy DARe@ECAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Jörg Pührer Inconsistency Management in Reactive Multi-context Systems. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Forgetting in ASP: The Forgotten Properties. Search on Bibsonomy JELIA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite The Ultimate Guide to Forgetting in Answer Set Programming. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite On Minimal Change in Evolving Multi-Context Systems (Preliminary Report). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Towards Efficient Evolving Multi-Context Systems (Preliminary Report). Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Nuno Costa, Matthias Knorr, João Leite Next Step for NoHR: OWL 2 QL. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nuno Costa, Matthias Knorr, João Leite Querying LUBM with Non-monotonic Features in Protege using NoHR. Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2015 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Minimal Change in Evolving Multi-Context Systems. Search on Bibsonomy EPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Vadim Ivanov, Matthias Knorr, João Leite Reasoning over Ontologies and Non-monotonic Rules. Search on Bibsonomy EPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Tobias Kaminski, Matthias Knorr, João Leite Reasoning Efficiently with Ontologies and Rules in the Presence of Inconsistencies (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthias Knorr Nonmonotonic Nominal Schemas Revisited. Search on Bibsonomy Description Logics The full citation details ... 2015 DBLP  BibTeX  RDF
1Nuno Costa, Matthias Knorr, João Leite Extending NoHR for OWL 2 QL. Search on Bibsonomy JOWO@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Tobias Kaminski, Matthias Knorr, João Leite Efficient Paraconsistent Reasoning with Ontologies and Rules. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Tobias Kaminski, Matthias Knorr, João Leite Well-founded Paraconsistent Semantics for Hybrid Theories composed of Rules and Ontologies. Search on Bibsonomy JOWO@IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Matthias Knorr, Martin Slota, João Leite, Martin Homola What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems. Search on Bibsonomy J. Log. Comput. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, Pascal Hitzler Description Logics. Search on Bibsonomy Computational Logic The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, Ricardo Gonçalves 0001, João Leite On Efficient Evolving Multi-Context Systems. Search on Bibsonomy PRICAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Evolving Multi-Context Systems. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes Preserving Strong Equivalence while Forgetting. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite Evolving Bridge Rules in Evolving Multi-Context Systems. Search on Bibsonomy CLIMA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Terrance Swift Query-Driven Procedures for Hybrid MKNF Knowledge Bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vadim Ivanov, Matthias Knorr, João Leite A Query Tool for EL with Non-monotonic Rules. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Vadim Ivanov, Matthias Knorr, João Leite NoHR: Querying EL with Non-monotonic Rules. Search on Bibsonomy International Semantic Web Conference (Posters & Demos) The full citation details ... 2013 DBLP  BibTeX  RDF
1Ricardo Gonçalves 0001, Matthias Knorr, João Leite, Martin Slota Non-monotonic Temporal Goals. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Kewen Wang Forgetting under the Well-Founded Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves 0001, João Leite, Martin Slota Time Is Up! - Norms with Deadlines in Action Languages. Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves 0001, Martin Slota Normative systems require hybrid knowledge bases. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Matthias Knorr, Pascal Hitzler, Frederick Maier Reconciling OWL and Non-monotonic Rules for the Semantic Web. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Martin Homola, Matthias Knorr, João Leite, Martin Slota MKNF Knowledge Bases in Multi-Context Systems. Search on Bibsonomy CLIMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila Alfa Krisnadhi, Frederick Maier, Cong Wang Recent Advances in Integrating OWL and Rules (Technical Communication). Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes, Pascal Hitzler Local closed world reasoning with description logics under the well-founded semantics. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes Querying OWL 2 QL and Non-monotonic Rules. Search on Bibsonomy International Semantic Web Conference (1) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Terrance Swift Query-driven Procedures for Hybrid MKNF Knowledge Bases Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Terrance Swift Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes, Pascal Hitzler A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. Search on Bibsonomy ECAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, Pascal Hitzler A Comparison of Disjunctive Well-founded Semantics. Search on Bibsonomy FAInt The full citation details ... 2007 DBLP  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes, Pascal Hitzler Towards Tractable Local Closed World Reasoning for the Semantic Web. Search on Bibsonomy EPIA Workshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthias Knorr, José Júlio Alferes, Pascal Hitzler A Well-founded Semantics for Hybrid MKNF Knowledge Bases. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #53 of 53 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license