Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 228



201
TITLE: On Logic Program Semantics with Two Kinds of Negation
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1992, SOURCE: JICSLP
INDEXED IN: DBLP
202
TITLE: SLWV - A Theorem Prover for Logic Programming
AUTHORS: Luís Moniz Pereira ; Luís Caires ; José Júlio Alferes ;
PUBLISHED: 1992, SOURCE: ELP, VOLUME: 660 LNAI
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
203
TITLE: WELL FOUNDED SEMANTICS FOR LOGIC PROGRAMS WITH EXPLICIT NEGATION
AUTHORS: PEREIRA, LM ; ALFERES, JJ ;
PUBLISHED: 1992, SOURCE: 10TH EUROPEAN CONF ON ARTIFICIAL INTELLIGENCE ( ECAI-92 ) in ECAI 92 - 10TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE : PROCEEDINGS
INDEXED IN: WOS DBLP
204
TITLE: 5TH PORTUGUESE CONFERENCE ON ARTIFICIAL-INTELLIGENCE - ALBUFEIRA, PORTUGAL, OCTOBER 1-3, 1991 PROCEEDINGS - PREFACE
AUTHORS: PEREIRA, LM ; PORTO, A ; BARAHONA, P;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS DBLP
IN MY: DBLP
205
TITLE: A PRACTICAL INTRODUCTION TO WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, J ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 3RD SCANDINAVIAN CONF ON ARTIFICIAL INTELLIGENCE ( SCAI 91 ) : ODINS RAVENS in SCANDINAVIAN CONFERENCE ON ARTIFICIAL INTELLIGENCE - 91 : ODINS RAVENS
INDEXED IN: WOS DBLP
206
TITLE: CONTRADICTION REMOVAL WITHIN WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 1ST INTERNATIONAL WORKSHOP ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
207
TITLE: COUNTERFACTUAL REASONING BASED ON REVISING ASSUMPTIONS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: INTERNATIONAL SYMP ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE 1991 INTERNATIONAL SYMPOSIUM
INDEXED IN: WOS DBLP
208
TITLE: DECLARATIVE SOURCE DEBUGGING
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS
IN MY: ResearcherID
209
TITLE: DECLARATIVE SOURCE DEBUGGING
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXED IN: WOS DBLP CrossRef
210
TITLE: Derivation Procedures for Extended Stable Models
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLISHED: 1991, SOURCE: IJCAI
INDEXED IN: DBLP
Page 21 of 23. Total results: 228.

footer slogan

Useful Links

Get Help

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