1
TÍTULO: On updates of hybrid knowledge bases composed of ontologies and rules  Full Text
AUTORES: Martin Slota; Joao Leite ; Theresa Swift;
PUBLICAÇÃO: 2015, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
INDEXADO EM: Scopus WOS CrossRef
2
TÍTULO: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
AUTORES: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
3
TÍTULO: The rise and fall of semantic rule updates based on SE-models
AUTORES: Martin Slota; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: On Supporting Strong and Default Negation in Answer-Set Program Updates
AUTORES: Martin Slota; Martin Balaz; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: 14th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), VOLUME: 8864
INDEXADO EM: Scopus WOS CrossRef
5
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
6
TÍTULO: Early Recovery in Logic Program Updates
AUTORES: Martin Slota; Martin Balaz; Joao Leite ;
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
7
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
8
TÍTULO: On condensing a sequence of updates in Answer-Set Programming
AUTORES: Slota, M; Leite, J ;
PUBLICAÇÃO: 2013, FONTE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
9
TÍTULO: Time Is Up! - Norms with Deadlines in Action Languages
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXADO EM: WOS
10
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
Página 1 de 2. Total de resultados: 18.