João Leite

Dynamic updates of non-monotonic knowledge bases

José Júlio Alferes, João Leite, Luı́s Moniz Pereira et al. · The Journal of Logic Programming · 2000 · 183 citations

Computing, Computer Science, Distributed Systems +11

MINERVA - A Dynamic Logic Programming Agent Architecture

João Leite, José Júlio Alferes, Luı́s Moniz Pereira · 2001 · 68 citations

Computing, Autonomous Systems, Computer Science +10

The Refined Extension Principle for Semantics of Dynamic Logic Programming

José Júlio Alferes, Federico Banti, Antonio Brogi et al. · Studia Logica · 2005 · 60 citations

Computing, Computer Science, Formal Methods +10

Dynamic Logic Programming.

José Júlio Alferes, João Leite, Luı́s Moniz Pereira et al. · Revista de Estudos Anglo-Portugueses/Journal of Anglo-Portuguese Studies · 1998 · 58 citations · Full text

Computing, Computer Science, Knowledge Representation +11

Toxic Language Detection in Social Media for Brazilian Portuguese: New Dataset and Multilingual Analysis

João Leite, Diego Furtado Silva, Kalina Bontcheva et al. · arXiv (Cornell University) · 2020 · 43 citations · Full text

Language Studies, Computer Science, English +17