José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



131
TÍTULO: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS  Full Text
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1994, FONTE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in THEORETICAL COMPUTER SCIENCE, VOLUME: 122, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
132
TÍTULO: Belief, Provability, and Logic Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1994, FONTE: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, VOLUME: 838
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
133
TÍTULO: Contradiction: When avoidance equals removal part II
AUTORES: Luís Moniz Pereira; José Júlio Alferes ;
PUBLICAÇÃO: 1994, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 798 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
134
TÍTULO: SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION
AUTORES: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLICAÇÃO: 1994, FONTE: 1994 International Logic Programming Symposium (ILPS 94) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1994 INTERNATIONAL SYMPOSIUM
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
135
136
TÍTULO: Contradiction: When Avoidance Equals Removal - Part I
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1993, FONTE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
137
TÍTULO: Contradiction: When Avoidance Equals Removal - Part II
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1993, FONTE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXADO EM: DBLP
NO MEU: DBLP
138
TÍTULO: Debugging by Diagnosing Assumptions
AUTORES: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLICAÇÃO: 1993, FONTE: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, VOLUME: 749
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
139
TÍTULO: DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
AUTORES: PEREIRA, LM ; DAMASIO, CV ; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXADO EM: WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
140
TÍTULO: Diagnosis and Debugging as Contradiction Removal in Logic Programs
AUTORES: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLICAÇÃO: 1993, FONTE: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 14 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