131
TITLE: COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: INTERNATIONAL SYMP ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE 1991 INTERNATIONAL SYMPOSIUM
INDEXED IN: WOS DBLP
132
TITLE: Derivation Procedures for Extended Stable Models
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLISHED: 1991, SOURCE: IJCAI
INDEXED IN: DBLP
133
TITLE: HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
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
134
TITLE: NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: 8TH INTERNATIONAL CONF ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
INDEXED IN: Scopus WOS DBLP
135
TITLE: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS
136
TITLE: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXED IN: Scopus WOS DBLP CrossRef
Page 14 of 14. Total results: 136.