141
TITLE: Generalizing updates: From models to programs
AUTHORS: Leite, JA ; Pereira, LM ;
PUBLISHED: 1998, SOURCE: 3rd International Workshop on Logic Programming and Knowledge Representation in LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, VOLUME: 1471
INDEXED IN: Scopus WOS DBLP CrossRef
142
TITLE: Iterated logic program updates
AUTHORS: Leite, JA ; Pereira, LM ;
PUBLISHED: 1998, SOURCE: 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 98) in LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
143
TITLE: Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers
AUTHORS: Jürgen Dix; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLISHED: 1998, SOURCE: LPKR, VOLUME: 1471
INDEXED IN: DBLP
IN MY: DBLP
144
TITLE: Refining action theories through abductive logic programming
AUTHORS: Li, RW; Pereira, LM ; Dahl, V;
PUBLISHED: 1998, SOURCE: 3rd International Workshop on Logic Programming and Knowledge Representation in LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, VOLUME: 1471
INDEXED IN: Scopus WOS DBLP CrossRef
145
TITLE: Special issue - Logics for artificial intelligence - Preface  Full Text
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 1998, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 20, ISSUE: 1-2
INDEXED IN: WOS DBLP CrossRef
146
TITLE: Tabling Abduction
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 1998, SOURCE: TAPD
INDEXED IN: DBLP
IN MY: DBLP
147
TITLE: A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
AUTHORS: Michael Schroeder; Iara de Almeida Móra; Luís Moniz Pereira ;
PUBLISHED: 1997, SOURCE: Intelligent Agents IV, Agent Theories, Architectures, and Languages, 4th International Workshop, ATAL '97, Providence, Rhode Island, USA, July 24-26, 1997, Proceedings, VOLUME: 1365
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
148
TITLE: A paraconsistent semantics with contradiction support detection  Full Text
AUTHORS: Damasio, CV ; Pereira, LM ;
PUBLISHED: 1997, SOURCE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXED IN: WOS DBLP
149
TITLE: Knowledge assimilation in domains of actions : A possible causes approach
AUTHORS: Li, R; Pereira, LM ;
PUBLISHED: 1997, SOURCE: Journal of Applied Non-Classical Logics, VOLUME: 7, ISSUE: 1-2
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
150
TITLE: Logic Programming and Knowledge Representation (LPKR'97)
AUTHORS: Jürgen Dix; Teodor C Przymusinski; Luís Moniz Pereira ;
PUBLISHED: 1997, SOURCE: Logic Programming, Proceedngs of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997
INDEXED IN: DBLP
IN MY: DBLP
Página 15 de 24. Total de resultados: 232.