Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 228



181
TITLE: REVISE - AN EXTENDED LOGIC PROGRAMMING SYSTEM FOR REVISING KNOWLEDGE BASES
AUTHORS: DAMASIO, CV ; NEJDL, W; PEREIRA, LM ;
PUBLISHED: 1994, SOURCE: 4th International Conference on Principles of Knowledge Representation and Reasoning in PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE (KR '94)
INDEXED IN: WOS DBLP
182
TITLE: SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION  Full Text
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1994, SOURCE: 1994 International Logic Programming Symposium (ILPS 94) in LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
183
184
TITLE: Contradiction: When Avoidance Equals Removal - Part I
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: ELP, VOLUME: 798 LNAI
INDEXED IN: Scopus DBLP CrossRef: 8
185
TITLE: Contradiction: When Avoidance Equals Removal - Part II
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: ELP, VOLUME: 798 LNAI
INDEXED IN: Scopus DBLP CrossRef
186
TITLE: Debugging by Diagnosing Assumptions
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: 1st International Workshop on Automated and Algorithmic Debugging, AADEBUG 1993 in AADEBUG, VOLUME: 749 LNCS
INDEXED IN: Scopus DBLP CrossRef: 11
187
TITLE: Design for AKL with Intelligent Pruning
AUTHORS: Salvador Abreu ; Luís Moniz Pereira ;
PUBLISHED: 1993, SOURCE: ELP, VOLUME: 798 LNAI
INDEXED IN: Scopus DBLP CrossRef
188
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
189
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: EPIA, VOLUME: 727 LNAI
INDEXED IN: Scopus DBLP CrossRef: 20
190
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 CrossRef
IN MY: ORCID
Page 19 of 23. Total results: 228.

footer slogan

Useful Links

Get Help

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