José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



101
TÍTULO: Preliminary exploration on actions as updates
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski; Halina Przymusinska; Paulo Quaresma ;
PUBLICAÇÃO: 1999, FONTE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999
INDEXADO EM: DBLP
NO MEU: DBLP
102
103
TÍTULO: Well-founded abduction via tabled dual programs
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 16th International Conference on Logic Programming (ICLP 99) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
104
TÍTULO: 'Classical' negation in nonmonotonic reasoning and logic programming  Full Text
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1998, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | ResearcherID | DBLP
105
TÍTULO: Argumentative and Cooperative Multi-agent System for Extended Logic Programming
AUTORES: Iara de Almeida Móra; José Júlio Alferes ;
PUBLICAÇÃO: 1998, FONTE: Advances in Artificial Intelligence, 14th Brazilian Symposium on Artificial Intelligence, SBIA '98, Porto Alegre, Brazil, November 4-6, 1998, Proceedings, VOLUME: 1515
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
106
TÍTULO: Argumentative and cooperative multi-agent system for extended logic programming
AUTORES: De Almeida Móra, I; Alferes, JJ ;
PUBLICAÇÃO: 1998, FONTE: 14th Brazilian Symposium on Artificial Intelligence, SBIA 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1515
INDEXADO EM: Scopus
NO MEU: ORCID
107
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998.
INDEXADO EM: DBLP
NO MEU: DBLP
108
TÍTULO: Dynamic Logic Programming
AUTORES: José Júlio Alferes ; João Alexandre Leite ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLICAÇÃO: 1998, FONTE: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998
INDEXADO EM: DBLP
NO MEU: DBLP
109
TÍTULO: Special issue - Logics for artificial intelligence - Preface  Full Text
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1998, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, NÚMERO: 1-2
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
110
TÍTULO: Tabling Abduction
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1998, FONTE: TAPD
INDEXADO EM: DBLP
NO MEU: DBLP
Página 11 de 17. Total de resultados: 162.

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