Alexandre Miguel dos Santos Martins Pinto


AuthID: R-000-0CA

Publicações Confirmadas: 12



1
TÍTULO: Adaptive reasoning for cooperative agents
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2011, FONTE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
2
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
3
TÍTULO: Stabel model implementation of layer supported models by program transformation
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2011, FONTE: 18th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6547 LNAI
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
4
TÍTULO: TIGHT SEMANTICS FOR LOGIC PROGRAMS
AUTORES: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
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
5
TÍTULO: Incremental Answer Completion in the SLG-WAM  Full Text
AUTORES: Terrance Swift; Alexandre Miguel Pinto ; Luis Moniz Pereira ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
6
TÍTULO: Layer Supported Models of Logic Programs
AUTORES: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
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
NO MEU: ORCID
7
TÍTULO: Layered Models Top-Down Querying of Normal Logic Programs  Full Text
AUTORES: Luis Moniz Pereira ; Alexandre Miguel Pinto ;
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
NO MEU: ORCID
8
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
9
TÍTULO: Stable versus layered logic program semantics PDF
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2009, FONTE: 5th Latin American Workshop on Non-Monotonic Reasoning, LANMR 2009 in CEUR Workshop Proceedings, VOLUME: 533
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
10
TÍTULO: Collaborative vs. conflicting learning, evolution and argumentation
AUTORES: Pereira, LM ; Pinto, AM ;
PUBLICAÇÃO: 2008, FONTE: Studies 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

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