Alexandre Miguel dos Santos Martins Pinto


AuthID: R-000-0CA

Publicações Confirmadas: 12



1
TÍTULO: Inspecting side-effects of abduction in logic programs
AUTORES: Moniz Pereira, L ; Pinto, AM ;
PUBLICAÇÃO: 2011, FONTE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
2
TÍTULO: TIGHT SEMANTICS FOR LOGIC PROGRAMS
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming (ICLP) in TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), VOLUME: 7
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
3
TÍTULO: Adaptive Reasoning for Cooperative Agents
AUTORES: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLICAÇÃO: 2009, FONTE: INAP, VOLUME: 6547 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
4
TÍTULO: Incremental Answer Completion in the SLG-WAM
AUTORES: Swift, T; Pinto, AM ; Pereira, LM ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
5
TÍTULO: Layer Supported Models of Logic Programs
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2009, FONTE: 10th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 5753
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
6
TÍTULO: Layered Models Top-Down Querying of Normal Logic Programs
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
7
TÍTULO: Side-Effect Inspection for Decision Making
AUTORES: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLICAÇÃO: 2009, FONTE: 1st KES International Symposium on Intelligent Decision Technologies in NEW ADVANCES IN INTELLIGENT DECISION TECHNOLOGIES, VOLUME: 199
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
TÍTULO: Stabel Model Implementation of Layer Supported Models by Program Transformation
AUTORES: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLICAÇÃO: 2009, FONTE: INAP, VOLUME: 6547 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
9
TÍTULO: Stable versus Layered Logic Program Semantics
AUTORES: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLICAÇÃO: 2009, FONTE: LA-NMR, VOLUME: 533
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
10
TÍTULO: Collaborative vs. Conflicting Learning, Evolution and Argumentation
AUTORES: Luís Moniz Pereira ; Alexandre Miguel Pinto ;
PUBLICAÇÃO: 2008, FONTE: Oppositional Concepts in Computational Intelligence, VOLUME: 155
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 1 de 2. Total de resultados: 12.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service