Matthias Knorr


AuthID: R-000-J55

Confirmed Publications: 14



1
TITLE: Forgetting under the Well-Founded Semantics
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Kewen Wang;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
2
TITLE: Non-monotonic Temporal Goals
AUTHORS: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | ResearcherID
3
TITLE: Query-Driven Procedures for Hybrid MKNF Knowledge Bases  Full Text
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2013, SOURCE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
4
TITLE: Time is up! - Norms with deadlines in action languages
AUTHORS: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
5
TITLE: MKNF knowledge bases in multi-context systems
AUTHORS: Homola, M; Knorr, M ; Leite, J ; Slota, M;
PUBLISHED: 2012, SOURCE: 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7486 LNAI
INDEXED IN: Scopus CrossRef
IN MY: ORCID
6
TITLE: Reconciling OWL and Non-monotonic Rules for the Semantic Web
AUTHORS: Matthias Knorr ; Pascal Hitzler; Frederick Maier;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
7
TITLE: Local closed world reasoning with description logics under the well-founded semantics  Full Text
AUTHORS: Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler;
PUBLISHED: 2011, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, ISSUE: 9-10
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
8
TITLE: Querying OWL 2 QL and Non-monotonic Rules
AUTHORS: Matthias Knorr ; Jose Julio Alferes ;
PUBLISHED: 2011, SOURCE: 10th International Semantic Web Conference in SEMANTIC WEB - ISWC 2011, PT I, VOLUME: 7031, ISSUE: PART 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
9
TITLE: Querying in EL+ with Nonmonotonic Rules
AUTHORS: Matthias Knorr ; Jose Julio Alferes ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
10
TITLE: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2009, SOURCE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID
Page 1 of 2. Total results: 14.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service