151
TÍTULO: Representing and reasoning about concurrent actions with abductive logic programs  Full Text
AUTORES: Li, RW; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: El Paso Shell Oil Symposium on Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions, in Honor of the 50th Birthday of Professor Michael Gelfond in ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, VOLUME: 21, NÚMERO: 2-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID
152
TÍTULO: REVISE: Logic programming and diagnosis  Full Text
AUTORES: Damasio, CV ; Pereira, LM ; Schroeder, M;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 97) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1265
INDEXADO EM: WOS
153
TÍTULO: REVISE: Logic Programming and Diagnosis
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in LPNMR, VOLUME: 1265
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID
154
TÍTULO: Update-programs can update programs
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 1997, FONTE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming in NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING, VOLUME: 1216
INDEXADO EM: WOS DBLP CrossRef: 15
155
TÍTULO: A deliberative and reactive diagnosis agent based on logic programming
AUTORES: Schroeder, M; Mora, ID; Pereira, LM ;
PUBLICAÇÃO: 1996, FONTE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXADO EM: WOS DBLP CrossRef: 5
NO MEU: ORCID
156
TÍTULO: A Deliberative and Reactive Diagnosis Agent Based on Logic Programming
AUTORES: Michael Schroeder; Iara de Almeida Móra; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: ATAL
INDEXADO EM: DBLP CrossRef: 5
NO MEU: ORCID
157
TÍTULO: Belief Revision in Non-Monotonic Reasoning and Logic Programming
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1996, FONTE: Fundam. Informaticae, VOLUME: 28, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP
NO MEU: ORCID
158
TÍTULO: Default Negated Conclusions: Why Not?
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: 5th International Workshop on Extensions of Logic Programming, ELP 1996 in ELP, VOLUME: 1050
INDEXADO EM: Scopus DBLP CrossRef: 7
159
TÍTULO: Enabling computer applications in residential environments
AUTORES: daRocha, NP ; Oliveira, JL ; Pereira, LM ; Saragoca, E;
PUBLICAÇÃO: 1996, FONTE: 19th Convention of Electrical and Electronics Engineers in Israel in NINETEENTH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL
INDEXADO EM: Scopus WOS
160
TÍTULO: Knowledge-Based Situated Agents Among Us: A Preliminary Report
AUTORES: Renwei Li; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: ATAL, VOLUME: 1193
INDEXADO EM: Scopus DBLP CrossRef
Página 16 de 23. Total de resultados: 228.