Martin Slota
AuthID: R-001-K2H
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
AUTORES: Martin Slota; Joao Leite ; Theresa Swift;
PUBLICAÇÃO: 2015, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
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
AUTORES: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, NÚMERO: 6
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
AUTORES: Martin Slota; Joao Leite ;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 6
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
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
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
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
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
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
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
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
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
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
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