191
TÍTULO: OPTATIVE REASONING WITH SCENARIO SEMANTICS  Full Text
AUTORES: PEREIRA, LM ; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: 10th International Conference on Logic Programming in LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
192
TÍTULO: REMOTE LEARNING AND TRAINING SERVICES FOR ELDERLY AND DISABLED PEOPLE
AUTORES: DAROCHA, NP ; PEREIRA, LM ; CIDADE, C;
PUBLICAÇÃO: 1993, FONTE: IFIP TC3 3rd Teleteaching Conference (TeleTeaching 93) in TELETEACHING, VOLUME: 29, NÚMERO: A-29
INDEXADO EM: Scopus WOS
193
TÍTULO: SCENARIO SEMANTICS OF EXTENDED LOGIC PROGRAMS
AUTORES: ALFERES, JJ ; DUNG, PM; PEREIRA, LM ;
PUBLICAÇÃO: 1993, FONTE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXADO EM: WOS DBLP
194
TÍTULO: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1992, FONTE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in FIFTH GENERATION COMPUTER SYSTEMS 1992, VOLS 1 AND 2
INDEXADO EM: WOS DBLP
195
TÍTULO: Contradiction Removal Semantics with Explicit Negation
AUTORES: Luís Moniz Pereira ; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLICAÇÃO: 1992, FONTE: Logic at Work
INDEXADO EM: DBLP CrossRef: 4
196
TÍTULO: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1992, FONTE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 633
INDEXADO EM: WOS
197
TÍTULO: DEFAULT THEORY FOR WELL FOUNDED SEMANTICS WITH EXPLICIT NEGATION
AUTORES: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLICAÇÃO: 1992, FONTE: 3RD EUROPEAN WORKSHOP ON LOGICS IN AI ( JELIA 92 ) in LOGICS IN AI, VOLUME: 633
INDEXADO EM: Scopus WOS DBLP CrossRef
198
TÍTULO: DELTA PROLOG ON DISTRIBUTED-MEMORY MULTIPROCESSORS
AUTORES: CUNHA, JC; MEDEIROS, PD; CARVALHOSA, MB; PEREIRA, LM ;
PUBLICAÇÃO: 1992, FONTE: EUROPEAN WORKSHOP ON PARALLEL COMPUTING ( EWPC 92 ) in PARALLEL COMPUTING : FROM THEORY TO SOUND PRACTICE
INDEXADO EM: WOS
199
TÍTULO: Improving Backward Execution in the Andorra Family of Languages
AUTORES: Salvador Abreu ; Luís Moniz Pereira ; Philippe Codognet;
PUBLICAÇÃO: 1992, FONTE: JICSLP
INDEXADO EM: DBLP
200
TÍTULO: Logic Programming for Non-Monotonic Reasoning
AUTORES: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLICAÇÃO: 1992, FONTE: Logic at Work
INDEXADO EM: DBLP CrossRef
Página 20 de 23. Total de resultados: 228.