José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 134



111
TITLE: Contradiction: When Avoidance Equals Removal - Part II
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: ELP, VOLUME: 798 LNAI
INDEXED IN: Scopus DBLP CrossRef: 2
112
TITLE: Debugging by Diagnosing Assumptions
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: AADEBUG, VOLUME: 749 LNCS
INDEXED IN: Scopus DBLP CrossRef: 11
113
TITLE: DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
AUTHORS: PEREIRA, LM ; DAMASIO, CV ; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
114
TITLE: Diagnosis and Debugging as Contradiction Removal in Logic Programs
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: EPIA, VOLUME: 727 LNAI
INDEXED IN: Scopus DBLP CrossRef: 20
115
TITLE: NONMONOTONIC REASONING WITH LOGIC PROGRAMMING
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 2-4
INDEXED IN: Scopus WOS DBLP CrossRef: 28
116
TITLE: OPTATIVE REASONING WITH SCENARIO SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: 10th International Conference on Logic Programming in LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
117
TITLE: SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS
AUTHORS: ALFERES, JJ ; DUNG, PM; PEREIRA, LM ;
PUBLISHED: 1993, SOURCE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
118
TITLE: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1992, SOURCE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2
INDEXED IN: WOS DBLP
119
TITLE: Contradiction Removal Semantics with Explicit Negation
AUTHORS: Luís Moniz Pereira ; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Logic at Work
INDEXED IN: DBLP CrossRef: 4
120
TITLE: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1992, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 633
INDEXED IN: WOS
IN MY: ResearcherID
Page 12 of 14. Total results: 134.

footer slogan

Useful Links

Get Help

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