João Alexandre Carvalho Pinheiro Leite


AuthID: R-000-6R6

Confirmed Publications: 81



71
TITLE: A modified semantics for LUPS
AUTHORS: Leite, JA ;
PUBLISHED: 2001, SOURCE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI
INDEXED IN: Scopus CrossRef: 4
IN MY: ORCID
72
TITLE: Evolving Multi-agent Viewpoints - an Architecture
AUTHORS: Pierangelo Dell'Acqua; João Alexandre Leite ; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: EPIA, VOLUME: 2258 LNAI
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
73
74
TITLE: Multi-dimensional Dynamic Knowledge Representation
AUTHORS: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: LPNMR, VOLUME: 2173 LNAI
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID
75
76
TITLE: Dynamic updates of non-monotonic knowledge bases  Full Text
AUTHORS: Alferes, JJ ; Leite, JA ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 2000, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 45, ISSUE: 1-3
INDEXED IN: Scopus WOS DBLP CrossRef: 114
IN MY: ORCID
77
TITLE: Multi-dimensional Dynamic Logic Programming
AUTHORS: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 2000, SOURCE: CL-2000 Workshop on Computational Logic in Multi-Agent Systems
INDEXED IN: DBLP
78
TITLE: Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: KR
INDEXED IN: DBLP
79
TITLE: Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: APPIA-GULP-PRODE
INDEXED IN: DBLP
80
TITLE: Generalizing updates: From models to programs
AUTHORS: Leite, JA ; Pereira, LM ;
PUBLISHED: 1998, SOURCE: 3rd International Workshop on Logic Programming and Knowledge Representation in LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, VOLUME: 1471
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID
Page 8 of 9. Total results: 81.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service