211
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
212
TITLE: DECLARATIVE SOURCE DEBUGGING
AUTHORS: CALEJO, M; PEREIRA, LM ;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS
213
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
IN MY: DBLP
214
TITLE: Derivation Procedures for Extended Stable Models
AUTHORS: Luís Moniz Pereira ; Joaquim Nunes Aparício; José Júlio Alferes ;
PUBLISHED: 1991, SOURCE: Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, Australia, August 24-30, 1991
INDEXED IN: DBLP
IN MY: DBLP
215
TITLE: HYPOTHETICAL REASONING WITH WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
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
216
TITLE: NONMONOTONIC REASONING WITH WELL FOUNDED SEMANTICS
AUTHORS: PEREIRA, LM ; APARICIO, JN; ALFERES, JJ ;
PUBLISHED: 1991, SOURCE: 8TH INTERNATIONAL CONF ON LOGIC PROGRAMMING in LOGIC PROGRAMMING : PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE
INDEXED IN: Scopus WOS DBLP
217
TITLE: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, VOLUME: 541
INDEXED IN: WOS
218
TITLE: THE EXTENDED STABLE MODELS OF CONTRADICTION REMOVAL SEMANTICS
AUTHORS: PEREIRA, LM ; ALFERES, JJ ; APARICIO, JN;
PUBLISHED: 1991, SOURCE: 5TH PORTUGUESE CONF ON ARTIFICIAL INTELLIGENCE in EPIA 91, VOLUME: 541
INDEXED IN: WOS DBLP
219
TITLE: SPATIAL CONCEPTS AND BALANCE PERFORMANCE - MOTOR LEARNING IN BLIND AND VISUALLY IMPAIRED CHILDREN
AUTHORS: PEREIRA, LM ;
PUBLISHED: 1990, SOURCE: JOURNAL OF VISUAL IMPAIRMENT & BLINDNESS, VOLUME: 84, ISSUE: 3
INDEXED IN: Scopus WOS
220
TITLE: Algorithmic Debugging of Prolog Side-Effects
AUTHORS: Luís Moniz Pereira ; Miguel Calejo ;
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
Page 22 of 24. Total results: 232.