Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 232



221
TITLE: Programming in Delta Prolog
AUTHORS: José C Cunha; Maria C Ferreira; Luís Moniz Pereira ;
PUBLISHED: 1989, SOURCE: Logic Programming, Proceedings of the Sixth International Conference, Lisbon, Portugal, June 19-23, 1989
INDEXED IN: DBLP
IN MY: DBLP
222
TITLE: Relevant Counterfactuals
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício;
PUBLISHED: 1989, SOURCE: EPIA 89, 4th Portuguese Conference on Artificial Intelligence, Lisbon, Portugal, September 26-29, 1989, Proceedings, VOLUME: 390
INDEXED IN: DBLP
IN MY: DBLP
223
TITLE: A Framework for Prolog Debugging
AUTHORS: Luís Moniz Pereira ; Miguel Calejo ;
PUBLISHED: 1988, SOURCE: Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, August 15-19, 1988 (2 Volumes)
INDEXED IN: DBLP
IN MY: DBLP
224
TITLE: DELTA-PROLOG - A DISTRIBUTED BACKTRACKING EXTENSION WITH EVENTS
AUTHORS: PEREIRA, LM ; MONTEIRO, L ; CUNHA, J ; APARICIO, JN;
PUBLISHED: 1986, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 225
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
225
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: ORCID | ResearcherID | DBLP
226
TITLE: Deduction Revision by Intelligent Backtracking
AUTHORS: Maurice Bruynooghe; Luís Moniz Pereira ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog
INDEXED IN: DBLP
IN MY: DBLP
227
TITLE: DELTA-PROLOG: A DISTRIBUTED LOGIC PROGRAMMING LANGUAGE.
AUTHORS: Luis Moniz Pereira ; Roger Nasr;
PUBLISHED: 1984, SOURCE: Fifth Generation Computer Systems 1984, Proceedings of the International Conference. in FGCS
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
228
TITLE: Logic Control with Logic
AUTHORS: Luís Moniz Pereira ;
PUBLISHED: 1984, SOURCE: Implementations of Prolog
INDEXED IN: DBLP
IN MY: DBLP
229
TITLE: A Prolog Implementation of a Large System on a Small Machine
AUTHORS: Luís Moniz Pereira ; António Porto ;
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
230
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
Page 23 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