141
TÍTULO: NONMONOTONIC REASONING WITH LOGIC PROGRAMMING  Full Text
AUTORES: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 17, NÚMERO: 2-4
INDEXADO EM: Scopus WOS DBLP
142
TÍTULO: OPTATIVE REASONING WITH SCENARIO SEMANTICS
AUTORES: PEREIRA, LM ; ALFERES, JJ ;
PUBLICAÇÃO: 1993, FONTE: 10th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
143
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
144
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
145
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: Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992], VOLUME: 808
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
146
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
147
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: WOS DBLP
NO MEU: DBLP
148
TÍTULO: Default theory for well founded semantics with explicit negation
AUTORES: Luís Moniz Pereira; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLICAÇÃO: 1992, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 633 LNAI
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
149
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: Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992], VOLUME: 808
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
150
TÍTULO: On Logic Program Semantics with Two Kinds of Negation
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 1992, FONTE: Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, JICSLP 1992, Washington, DC, USA, November 1992
INDEXADO EM: DBLP
NO MEU: DBLP
Página 15 de 17. Total de resultados: 162.