( en | de | ru )

 

Disambiguation of "Leite, João"

Author of the publication

copydeleteadd this publication to your clipboard
Variable Elimination for DLP-Functions.

, , , , and . KR, page 643-644. AAAI Press, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gil dos Santos Guerreiro João

João Barros

João Fonseca

João Carreira

João Matos

 

Other publications of authors with the same name

Towards Provenance in Heterogeneous Knowledge Bases., , , and . LPNMR, volume 13416 of Lecture Notes in Computer Science, page 287-300. Springer, (2022)Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV)., , , and . J. Log. Comput., 28 (3): 475-476 (2018)On Some Properties of Forgetting in ASP., , and . DARe@ECAI, volume 1626 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming., , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 957-965. IOS Press, (2016)Looking Inside the Black-Box: Logic-based Explanations for Neural Networks., , , and . KR, (2022)On Syntactic Forgetting Under Uniform Equivalence., , , and . JELIA, volume 12678 of Lecture Notes in Computer Science, page 297-312. Springer, (2021)Splitting and updating hybrid knowledge bases., , and . Theory Pract. Log. Program., 11 (4-5): 801-819 (2011)ERASP - a system for enhancing recommendations using answer-set programming., , and . Int. J. Reason. based Intell. Syst., 1 (3/4): 147-163 (2009)Extending Social Abstract Argumentation with Votes on Attacks., , and . TAFA, volume 8306 of Lecture Notes in Computer Science, page 16-31. Springer, (2013)Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications., , and . ICFEM, volume 6991 of Lecture Notes in Computer Science, page 131-146. Springer, (2011)