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
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: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
73
TITLE: MINERVA - A Dynamic Logic Programming Agent Architecture
AUTHORS: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers, VOLUME: 2333
INDEXED IN: DBLP CrossRef
74
TITLE: Multi-dimensional dynamic knowledge representation
AUTHORS: Leite, JA ; Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2001, SOURCE: 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2173 LNAI
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
75
TITLE: On the use of multi-dimensional dynamic logic programming to represent societal agents' viewpoints
AUTHORS: Leite, JA ; Alferes, JJ ; Pereira, LM ;
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 DBLP CrossRef
IN MY: ORCID
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
IN MY: ORCID | ResearcherID
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: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
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: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
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
IN MY: ORCID | ResearcherID
Page 8 of 9. Total results: 81.

A place for researchers and their institutions

Useful Links

Get Help

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