José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 136



121
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
122
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
123
TITLE: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1992, SOURCE: 3RD EUROPEAN WORKSHOP ON LOGICS IN AI ( JELIA 92 ) in LOGICS IN AI, VOLUME: 633
INDEXED IN: Scopus WOS DBLP CrossRef
124
TITLE: Logic Programming for Non-Monotonic Reasoning
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: Logic at Work
INDEXED IN: DBLP CrossRef
125
TITLE: On Logic Program Semantics with Two Kinds of Negation
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1992, SOURCE: JICSLP
INDEXED IN: DBLP
126
TITLE: SLWV - A Theorem Prover for Logic Programming
AUTHORS: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: ELP, VOLUME: 660 LNAI
INDEXED IN: Scopus DBLP CrossRef: 1
127
TITLE: WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ;
PUBLISHED: 1992, SOURCE: 10TH EUROPEAN CONF ON ARTIFICIAL INTELLIGENCE ( ECAI-92 ) in ECAI 92 - 10TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE : PROCEEDINGS
INDEXED IN: WOS DBLP
128
TITLE: A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, J ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 3RD SCANDINAVIAN CONF ON ARTIFICIAL INTELLIGENCE ( SCAI 91 ) : ODINS RAVENS in SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 91 : ODINS RAVENS
INDEXED IN: WOS DBLP
129
TITLE: CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 1ST INTERNATIONAL WORKSHOP ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
130
TITLE: Counterfactual reasoning based on revising assumptions
AUTHORS: Pereira Luis Moniz; Aparicio Joaquim Nunes; Alferes Jose Julio ;
PUBLISHED: 1991, SOURCE: Logic Programming - Proceedings of the 1991 International Symposium
INDEXED IN: Scopus
IN MY: ORCID
Page 13 of 14. Total results: 136.

footer slogan

Useful Links

Get Help

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