Luis Manuel Sancho Moniz Pereira


AuthID: R-000-9N9

Confirmed Publications: 228



161
162
TITLE: Reasoning about Concurrent Actions and Observations
AUTHORS: Renwei Li; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: APPIA-GULP-PRODE
INDEXED IN: DBLP
163
TITLE: Reasoning with Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1996, VOLUME: 1111
INDEXED IN: DBLP
IN MY: DBLP
164
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming  Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXED IN: Scopus WOS DBLP CrossRef: 17
165
TITLE: Temporal Reasoning with Abductive Logic Programming
AUTHORS: Renwei Li; Luís Moniz Pereira ;
PUBLISHED: 1996, SOURCE: ECAI
INDEXED IN: DBLP
166
TITLE: Updating temporal knowledge bases with the possible causes approach
AUTHORS: Li, RW; Pereira, LM ;
PUBLISHED: 1996, SOURCE: 7th International Conference on Artificial Intelligence - Methodology, Systems, Applications (AIMSA 96) in ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, VOLUME: 35
INDEXED IN: WOS
167
TITLE: What is believed is what is explained (sometimes)
AUTHORS: Li, RW; Pereira, LM ;
PUBLISHED: 1996, SOURCE: 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96) in PROCEEDINGS OF THE THIRTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND THE EIGHTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE, VOLS 1 AND 2, VOLUME: 1
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
168
TITLE: A LOGIC PROGRAMMING SYSTEM FOR NONMONOTONIC REASONING
AUTHORS: ALFERES, JJ ; DAMASIO, CV ; PEREIRA, LM ;
PUBLISHED: 1995, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
169
TITLE: A Model Theory for Paraconsistent Logic Programming
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLISHED: 1995, SOURCE: 7th Portuguese Conference on Artificial Intelligence, EPIA 1995 in EPIA, VOLUME: 990
INDEXED IN: Scopus DBLP CrossRef: 5
170
TITLE: Abduction over 3-valued extended logic programs  Full Text
AUTHORS: Damasio, CV ; Pereira, LM ;
PUBLISHED: 1995, SOURCE: 3rd International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 95) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 928
INDEXED IN: WOS DBLP CrossRef
Page 17 of 23. Total results: 228.

footer slogan

Useful Links

Get Help

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