Martin Slota
AuthID: R-001-K2H
11
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 CrossRef12
TITLE: A unifying perspective on knowledge updates
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2012, SOURCE: 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7519 LNAI
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2012, SOURCE: 13th European Conference on Logics in Artificial Intelligence, JELIA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7519 LNAI
INDEXED IN: Scopus CrossRef
Scopus CrossRef13
TITLE: Splitting and updating hybrid knowledge bases
AUTHORS: Martin Slota; Joao Leite ; Terrance Swift;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
AUTHORS: Martin Slota; Joao Leite ; Terrance Swift;
PUBLISHED: 2011, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 11, ISSUE: 4-5
14
TITLE: Normative Systems Represented as Hybrid Knowledge Bases Full Text
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
AUTHORS: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2011, SOURCE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
15
TITLE: Back and Forth between Rules and SE-Models Full Text
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
16
TITLE: Towards closed world reasoning in dynamic open worlds
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6
17
TITLE: On Semantic Update Operators for Answer-Set Programs
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2010, SOURCE: 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
AUTHORS: Martin Slota; Joao Leite ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus 
WOS
Scopus WOS18
TITLE: Explicit Dynamic User Profiles for a Collaborative Filtering Recommender System
AUTHORS: Ilic, M; Leite, J ; Slota, N;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
AUTHORS: Ilic, M; Leite, J ; Slota, N;
PUBLISHED: 2008, SOURCE: 11th Ibero-American Conference on Artificial Intelligence in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2008, PROCEEDINGS, VOLUME: 5290
19
TITLE: EVOLP: An implementation
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5056 LNAI
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5056 LNAI
INDEXED IN: Scopus
Scopus20
TITLE: EVOLP: Tranformation-based semantics
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5056 LNAI
AUTHORS: Slota, M; Leite, J ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VIII in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5056 LNAI
INDEXED IN: Scopus
Scopus