Martin Slota
AuthID: R-001-K2H
1
TITLE: A Brief History of Updates of Answer-Set Programs
AUTHORS: Leite, Joao; Slota, Martin;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING
AUTHORS: Leite, Joao; Slota, Martin;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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
3
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
4
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
5
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
6
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
7
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
8
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 CrossRef9
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
Scopus10
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
WOS