Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 232



181
TITLE: A Framework for Using Control-Flow and Dataflow Dependencies in And-Or Tree Rewriting Systems
AUTHORS: Salvador Abreu ; Luís Moniz Pereira ;
PUBLISHED: 1994, SOURCE: Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, Ithaca, New York, USA, November 18, 1994
INDEXED IN: DBLP
IN MY: DBLP
182
TITLE: ADDING CLOSED WORLD ASSUMPTIONS TO WELL-FOUNDED SEMANTICS  Full Text
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1994, SOURCE: 1992 International Conference on 5th Generation Computer Systems ( FGCS 92 ) in THEORETICAL COMPUTER SCIENCE, VOLUME: 122, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
183
TITLE: Belief, Provability, and Logic Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1994, SOURCE: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings, VOLUME: 838
INDEXED IN: DBLP CrossRef
IN MY: DBLP
184
TITLE: Logics in Artificial Intelligence, European Workshop, JELIA '94, York, UK, September 5-8, 1994, Proceedings
AUTHORS: Craig MacNish; David Pearce; Luís Moniz Pereira ;
PUBLISHED: 1994, SOURCE: JELIA, VOLUME: 838
INDEXED IN: DBLP
IN MY: DBLP
185
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
IN MY: ORCID | ResearcherID | DBLP
186
TITLE: SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1994, SOURCE: 1994 International Logic Programming Symposium (ILPS 94) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1994 INTERNATIONAL SYMPOSIUM
INDEXED IN: WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
187
188
TITLE: Contradiction: When Avoidance Equals Removal - Part I
AUTHORS: José Júlio Alferes ; 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
189
TITLE: Contradiction: When Avoidance Equals Removal - Part II
AUTHORS: José Júlio Alferes ; 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
IN MY: DBLP
190
TITLE: Debugging by Diagnosing Assumptions
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: Automated and Algorithmic Debugging, First International Workshop, AADEBUG'93, Linköping, Sweden, May 3-5, 1993, Proceedings, VOLUME: 749
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Page 19 of 24. Total results: 232.

A place for researchers and their institutions

Useful Links

Get Help

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