Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 232



191
TITLE: Design for AKL with Intelligent Pruning
AUTHORS: Salvador Abreu ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: Extensions of Logic Programming, 4th International Workshop, ELP'93, St. Andrews, U.K., March 29 - April 1, 1993, Proceedings, VOLUME: 798
INDEXED IN: DBLP CrossRef
IN MY: DBLP
192
TITLE: DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
AUTHORS: PEREIRA, LM ; DAMASIO, CV ; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
193
TITLE: Diagnosis and Debugging as Contradiction Removal in Logic Programs
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXED IN: DBLP CrossRef
IN MY: DBLP
194
TITLE: NONMONOTONIC REASONING WITH LOGIC PROGRAMMING  Full Text
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 2-4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
195
TITLE: OPTATIVE REASONING WITH SCENARIO SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: 10th International Conference on Logic Programming in LOGIC PROGRAMMING: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
196
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
197
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
IN MY: ORCID | ResearcherID | DBLP
198
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
IN MY: ORCID | ResearcherID | DBLP
199
TITLE: Contradiction Removal Semantics with Explicit Negation
AUTHORS: Luís Moniz Pereira ; José Júlio Alferes ; Joaquim Nunes Aparício;
PUBLISHED: 1992, SOURCE: Knowledge Representation and Reasoning Under Uncertainty, Logic at Work [International Conference Logic at Work, Amsterdam, The Netherlands, December 17-19, 1992], VOLUME: 808
INDEXED IN: DBLP CrossRef
IN MY: DBLP
200
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
Página 20 de 24. Total de resultados: 232.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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