( en | de | ru )

 

Disambiguation of "Knorr, Matthias"

Author of the publication

copydeleteadd this publication to your clipboard
A Syntactic Operator for Forgetting that Satisfies Strong Persistence.

, , , and . Theory Pract. Log. Program., 19 (5-6): 1038-1055 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Matthias Knörr

Matthias Knörr

Knorr

Fritz Knorr

Elfriede Knorr

 

Other publications of authors with the same name

Deep Neural Networks for Approximating Stream Reasoning with C-SPARQL., , , , , and . EPIA, volume 12981 of Lecture Notes in Computer Science, page 338-350. Springer, (2021)Forgetting in Modular Answer Set Programming., , , , and . AAAI, page 2843-2850. AAAI Press, (2019)Querying LUBM with Non-monotonic Features in Protege using NoHR., , and . ISWC (Posters & Demos), volume 1486 of CEUR Workshop Proceedings, CEUR-WS.org, (2015)Next Step for NoHR: OWL 2 QL., , and . ISWC (1), volume 9366 of Lecture Notes in Computer Science, page 569-586. Springer, (2015)Description Logics., and . Computational Logic, volume 9 of Handbook of the History of Logic, Elsevier, (2014)On Efficient Evolving Multi-Context Systems., , and . PRICAI, volume 8862 of Lecture Notes in Computer Science, page 284-296. Springer, (2014)Variable Elimination for DLP-Functions., , , , and . KR, page 643-644. AAAI Press, (2018)MKNF Knowledge Bases in Multi-Context Systems., , , and . CLIMA, volume 7486 of Lecture Notes in Computer Science, page 146-162. Springer, (2012)Normative systems require hybrid knowledge bases., , , , , and . AAMAS, page 1425-1426. IFAAMAS, (2012)On Combining Ontologies and Rules.. RW, volume 13100 of Lecture Notes in Computer Science, page 22-58. Springer, (2021)