Martin Slota
AuthID: R-001-K2H
1
TITLE: On updates of hybrid knowledge bases composed of ontologies and rules Full Text
AUTHORS: Martin Slota; Joao Leite ; Theresa Swift;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
AUTHORS: Martin Slota; Joao Leite ; Theresa Swift;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 229
2
TITLE: What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
AUTHORS: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 6
AUTHORS: Matthias Knorr; Martin Slota; Joao Leite ; Martin Homola;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 6
3
TITLE: The rise and fall of semantic rule updates based on SE-models
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 6
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 6
4
TITLE: On Supporting Strong and Default Negation in Answer-Set Program Updates
AUTHORS: Martin Slota; Martin Balaz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 14th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), VOLUME: 8864
AUTHORS: Martin Slota; Martin Balaz; Joao Leite ;
PUBLISHED: 2014, SOURCE: 14th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE (IBERAMIA 2014), VOLUME: 8864
5
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
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
6
TITLE: Early Recovery in Logic Program Updates
AUTHORS: Martin Slota; Martin Balaz; Joao Leite ;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
AUTHORS: Martin Slota; Martin Balaz; Joao Leite ;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
7
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
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
Scopus CrossRef8
TITLE: On condensing a sequence of updates in Answer-Set Programming
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2013, SOURCE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI International Joint Conference on Artificial Intelligence
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2013, SOURCE: 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
Scopus9
TITLE: Time Is Up! - Norms with Deadlines in Action Languages
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXED IN: 
WOS
WOS10
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
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
Scopus CrossRef