Matthias Knorr


AuthID: R-000-J55

Publicações Confirmadas: 14



1
TÍTULO: Forgetting under the Well-Founded Semantics
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Kewen Wang;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
2
TÍTULO: Non-monotonic Temporal Goals
AUTORES: Ricardo Goncalves; Matthias Knorr ; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | ResearcherID
3
TÍTULO: Query-Driven Procedures for Hybrid MKNF Knowledge Bases  Full Text
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2013, FONTE: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
4
TÍTULO: Time is up! - Norms with deadlines in action languages
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
5
TÍTULO: MKNF knowledge bases in multi-context systems
AUTORES: Homola, M; Knorr, M ; Leite, J ; Slota, M;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
6
TÍTULO: Reconciling OWL and Non-monotonic Rules for the Semantic Web
AUTORES: Matthias Knorr ; Pascal Hitzler; Frederick Maier;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
7
TÍTULO: Local closed world reasoning with description logics under the well-founded semantics  Full Text
AUTORES: Matthias Knorr ; Jose Julio Alferes ; Pascal Hitzler;
PUBLICAÇÃO: 2011, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, NÚMERO: 9-10
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
8
TÍTULO: Querying OWL 2 QL and Non-monotonic Rules
AUTORES: Matthias Knorr ; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 10th International Semantic Web Conference in SEMANTIC WEB - ISWC 2011, PT I, VOLUME: 7031, NÚMERO: PART 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
9
TÍTULO: Querying in EL+ with Nonmonotonic Rules
AUTORES: Matthias Knorr ; Jose Julio Alferes ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
10
TÍTULO: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID
Página 1 de 2. Total de resultados: 14.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service