Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Publicações Confirmadas: 62



51
TÍTULO: Coherent well-founded annotated logic programs  Full Text
AUTORES: Damasio, CV ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
INDEXADO EM: WOS DBLP
52
TÍTULO: Using extended logic programming for alarm-correlation in cellular phone networks
AUTORES: Frohlich, P; Nejdl, W; Schroeder, M; Damasio, C ; Pereira, LM ;
PUBLICAÇÃO: 1999, FONTE: 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-99) in MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, VOLUME: 1611
INDEXADO EM: WOS DBLP
53
TÍTULO: A paraconsistent semantics with contradiction support detection  Full Text
AUTORES: Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXADO EM: WOS DBLP
54
TÍTULO: REVISE: Logic programming and diagnosis  Full Text
AUTORES: Damasio, CV ; Pereira, LM ; Schroeder, M;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXADO EM: WOS
55
TÍTULO: A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
AUTORES: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLICAÇÃO: 1995, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
56
TÍTULO: Abduction over 3-valued extended logic programs  Full Text
AUTORES: Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 1995, FONTE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 95) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 928
INDEXADO EM: WOS DBLP
57
TÍTULO: REVISE - AN EXTENDED LOGIC PROGRAMMING SYSTEM FOR REVISING KNOWLEDGE BASES
AUTORES: DAMASIO, CV ; NEJDL, W; PEREIRA, LM ;
PUBLICAÇÃO: 1994, FONTE: 4th International Conference on Principles of Knowledge Representation and Reasoning in PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE (KR '94)
INDEXADO EM: WOS DBLP
58
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
59
60
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
Página 6 de 7. Total de resultados: 62.

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