Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 228



221
TITLE: RATIONAL DEBUGGING IN LOGIC PROGRAMMING
AUTHORS: PEREIRA, LM ;
PUBLISHED: 1986, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 225
INDEXED IN: WOS DBLP
IN MY: ResearcherID | DBLP
222
TITLE: Deduction Revision by Intelligent Backtracking
AUTHORS: Maurice Bruynooghe; Luís Moniz Pereira ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog
INDEXED IN: DBLP
223
TITLE: Delta-Prolog: A Distributed Logic Programming Language
AUTHORS: Luís Moniz Pereira ; Roger Nasr;
PUBLISHED: 1984, SOURCE: FGCS
INDEXED IN: Scopus DBLP
IN MY: ORCID
224
TITLE: Logic Control with Logic
AUTHORS: Luís Moniz Pereira ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog
INDEXED IN: DBLP
IN MY: DBLP
225
TITLE: A Prolog Implementation of a Large System on a Small Machine
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1982, SOURCE: ICLP
INDEXED IN: DBLP
226
TITLE: Logic Control with Logic
AUTHORS: Luís Moniz Pereira ;
PUBLISHED: 1982, SOURCE: Proceedings of the First International Logic Programming Conference, Faculté des Science de Luminy, ADDP-GIA, Marseille, France, September, 14-17, 1982
INDEXED IN: DBLP
IN MY: DBLP
227
228
TITLE: Selective Backtracking for Logic Programs
AUTHORS: Luís Moniz Pereira ; António Porto ;
PUBLISHED: 1980, SOURCE: CADE
INDEXED IN: DBLP CrossRef: 9
Page 23 of 23. Total results: 228.

footer slogan

Useful Links

Get Help

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