Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 228



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

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service