131
TÍTULO: Derivation Procedures for Extended Stable Models
AUTORES: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLICAÇÃO: 1991, FONTE: IJCAI
INDEXADO EM: DBLP
NO MEU: DBLP
132
TÍTULO: HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLICAÇÃO: 1991, FONTE: 3RD SCANDINAVIAN CONF ON ARTIFICIAL INTELLIGENCE ( SCAI 91 ) : ODINS RAVENS in SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 91 : ODINS RAVENS
INDEXADO EM: WOS DBLP
NO MEU: DBLP
133
TÍTULO: NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLICAÇÃO: 1991, FONTE: 8TH INTERNATIONAL CONF ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
134
TÍTULO: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1991, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXADO EM: WOS
135
TÍTULO: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1991, FONTE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: DBLP
Página 14 de 14. Total de resultados: 135.