Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Confirmed Publications: 62



51
TITLE: Coherent well-founded annotated logic programs  Full Text
AUTHORS: Damásio, CV ; Pereira, LM ; Swift, T;
PUBLISHED: 1999, SOURCE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
52
TITLE: Using extended logic programming for alarm-correlation in cellular phone networks
AUTHORS: Fröhlich, P; Nejdl, W; Schroeder, M; Damásio, C ; Pereira, LM ;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: WOS DBLP
53
TITLE: A paraconsistent semantics with contradiction support detection  Full Text
AUTHORS: Damasio, CV ; Pereira, LM ;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID
54
TITLE: REVISE: Logic programming and diagnosis  Full Text
AUTHORS: Damasio, CV ; Pereira, LM ; Schroeder, M;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXED IN: WOS
55
TITLE: A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1995, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
56
TITLE: Abduction over 3-valued extended logic programs  Full Text
AUTHORS: Damasio, CV ; Pereira, LM ;
PUBLISHED: 1995, SOURCE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 95) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 928
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID
57
TITLE: REVISE - AN EXTENDED LOGIC PROGRAMMING SYSTEM FOR REVISING KNOWLEDGE BASES
AUTHORS: DAMASIO, CV ; NEJDL, W; PEREIRA, LM ;
PUBLISHED: 1994, SOURCE: 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)
INDEXED IN: WOS DBLP
58
TITLE: SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION  Full Text
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1994, SOURCE: 1994 International Logic Programming Symposium (ILPS 94) in LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
59
60
TITLE: Debugging by Diagnosing Assumptions
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in AADEBUG, VOLUME: 749 LNCS
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
Page 6 of 7. Total results: 62.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service