José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 134



101
TITLE: Belief Revision in Non-Monotonic Reasoning
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1995, SOURCE: EPIA, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef: 4
102
TITLE: Belief, Provability, and Logic Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1995, SOURCE: J. Appl. Non Class. Logics, VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 2
103
TITLE: Modelling Diagnosis Systems with the Logic Programming
AUTHORS: Iara de Almeida Móra; José Júlio Alferes ;
PUBLISHED: 1995, SOURCE: EPIA, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef: 1
104
TITLE: Non-Atomic Actions in the Situation Calculus
AUTHORS: José Júlio Alferes ; Renwei Li; Luís Moniz Pereira ;
PUBLISHED: 1995, SOURCE: EPIA, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef: 1
105
TITLE: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1994, SOURCE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in THEORETICAL COMPUTER SCIENCE, VOLUME: 122, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 3
106
TITLE: An Argumentation Theoretic Semantics Based on Non-Refutable Falsity
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1994, SOURCE: NMELP, VOLUME: 927
INDEXED IN: Scopus DBLP CrossRef: 4
107
TITLE: Belief, Provability, and Logic Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1994, SOURCE: JELIA, VOLUME: 838 LNAI
INDEXED IN: Scopus DBLP CrossRef: 1
108
TITLE: SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1994, SOURCE: 1994 International Logic Programming Symposium (ILPS 94) in LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
109
110
TITLE: Contradiction: When Avoidance Equals Removal - Part I
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: ELP, VOLUME: 798 LNAI
INDEXED IN: Scopus DBLP CrossRef: 8
Page 11 of 14. Total results: 134.

footer slogan

Useful Links

Get Help

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