161
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: WOS DBLP
162
TITLE: The extended stable models of contradiction removal semantics
AUTHORS: Pereira, LM; Alferes, JJ ; Aparício, JN;
PUBLISHED: 1991, SOURCE: 5th Portuguese Conference on Artificial Intelligence, EPIA 1991 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 541 LNAI
INDEXED IN: Scopus CrossRef
Página 17 de 17. Total de resultados: 162.