João Alexandre Carvalho Pinheiro Leite
AuthID: R-000-6R6
31
TITLE: A Bird's-Eye View of Forgetting in Answer-Set Programming
AUTHORS: Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTHORS: Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
32
TITLE: NoHR: Integrating XSB Prolog with the OWL 2 Profiles and Beyond
AUTHORS: Lopes, C; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTHORS: Lopes, C; Knorr, M; Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
33
TITLE: moviola: Interpreting Dynamic Logic Programs via Multi-shot Answer Set Programming
AUTHORS: Sabuncu, O; Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
AUTHORS: Sabuncu, O; Leite, J;
PUBLISHED: 2017, SOURCE: 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, LPNMR 2017, VOLUME: 10377
34
TITLE: PRIMA 2017: Principles and Practice of Multi-Agent Systems
AUTHORS: Bo An; Ana Bazzan; João Leite; Serena Villata; Leendert van der Torre;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
AUTHORS: Bo An; Ana Bazzan; João Leite; Serena Villata; Leendert van der Torre;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science
35
TITLE: You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
36
TITLE: The ultimate guide to forgetting in answer set programming
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 in Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference, KR 2016
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID37
TITLE: Inconsistency Management in Reactive Multi-context Systems
AUTHORS: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Brewka, G; Ellmauthaler, S; Calves, RG; Knorr, M; Leite, J; Puehrer, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
38
TITLE: Forgetting in ASP: The Forgotten Properties
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
AUTHORS: Goncalves, R; Knorr, M; Leite, J;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
39
TITLE: Lessons learned from the testing of RC frames with - masonry infills and proposals for new solutions Full Text
AUTHORS: Paulo B Lourenco ; Joao Leite; Graca Vasconcelos; Paulo Pereira;
PUBLISHED: 2016, SOURCE: MAUERWERK, VOLUME: 20, ISSUE: 2
AUTHORS: Paulo B Lourenco ; Joao Leite; Graca Vasconcelos; Paulo Pereira;
PUBLISHED: 2016, SOURCE: MAUERWERK, VOLUME: 20, ISSUE: 2
INDEXED IN: 
WOS
WOS40
TITLE: Minimal change in evolving multi-context systems
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
AUTHORS: Gonçalves, R; Knorr, M; Leite, J;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence, EPIA 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9273
