João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
11
TITLE: A Syntactic Operator for Forgetting that Satisfies Strong Persistence
AUTHORS: Matti Berthold; Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 19, ISSUE: 5-6
AUTHORS: Matti Berthold; Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (ICLP) in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 19, ISSUE: 5-6
INDEXED IN: 
Scopus 
WOS
Scopus WOS12
TITLE: Forgetting in Answer Set Programming with Anonymous Cycles
AUTHORS: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11805 LNAI
AUTHORS: Berthold, M; Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11805 LNAI
INDEXED IN: Scopus
Scopus13
TITLE: Reactive multi-context systems: Heterogeneous reasoning in dynamic environments Full Text
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Goncalves; Matthias Knorr; Joao Leite; Joerg Puethrer;
PUBLISHED: 2018, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
AUTHORS: Gerhard Brewka; Stefan Ellmauthaler; Ricardo Goncalves; Matthias Knorr; Joao Leite; Joerg Puethrer;
PUBLISHED: 2018, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 256
INDEXED IN: Scopus WOS
Scopus WOS14
TITLE: Iterative variable elimination in ASP
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
INDEXED IN: Scopus
Scopus15
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2017, SOURCE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite; Stefan Woltran;
PUBLISHED: 2017, SOURCE: 33rd International Conference on Logic Programming colocated with the 23rd International Conference on Principles and Practice of Constraint Programming / 20th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6
INDEXED IN: WOS
WOS16
TITLE: When you must forget: Beyond strong persistence when forgetting in answer set programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: Theory and Practice of Logic Programming, VOLUME: 17, ISSUE: 5-6
AUTHORS: Gonçalves, R; Knorr, M; Leite, J; Woltran, S;
PUBLISHED: 2017, SOURCE: Theory and Practice of Logic Programming, VOLUME: 17, ISSUE: 5-6
INDEXED IN: Scopus
Scopus17
TITLE: A Bird's-Eye View of Forgetting in Answer-Set Programming
AUTHORS: Joao Leite;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTHORS: Joao Leite;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
INDEXED IN: WOS
WOS18
TITLE: NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond
AUTHORS: Carlos Lopes; Matthias Knorr; Joao Leite;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTHORS: Carlos Lopes; Matthias Knorr; Joao Leite;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
INDEXED IN: WOS
WOS19
TITLE: moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming
AUTHORS: Orkunt Sabuncu; Joao Leite;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTHORS: Orkunt Sabuncu; Joao Leite;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
INDEXED IN: WOS
WOS20
TITLE: Iterative Variable Elimination in ASP
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
AUTHORS: Ricardo Goncalves; Matthias Knorr; Joao Leite;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXED IN: WOS
WOS