151
TÍTULO: Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers
AUTORES: Jürgen Dix; Luís Moniz Pereira ; Teodor C Przymusinski;
PUBLICAÇÃO: 1997, FONTE: NMELP, VOLUME: 1216
INDEXADO EM: DBLP
NO MEU: DBLP
152
TÍTULO: Prolegomena to logic programming for non-monotonic reasoning
AUTORES: Dix, J; Pereira, LM ; Przymusinski, T;
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
153
TÍTULO: Reasoning about Actions with Abductive Logic Programming
AUTORES: Luís Moniz Pereira ; Renwei Li;
PUBLICAÇÃO: 1997, FONTE: 8th Portuguese Conference on Artificial Intelligence, EPIA 1997 in Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence, EPIA '97, Coimbra, Portugal, October 6-9, 1997, Proceedings, VOLUME: 1323
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
154
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: 1
155
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
156
TÍTULO: REVISE: Logic Programming and Diagnosis
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ; Michael Schroeder;
PUBLICAÇÃO: 1997, FONTE: Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings, VOLUME: 1265
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
157
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
158
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
159
TÍTULO: Belief revision in non-monotonic reasoning and logic programming
AUTORES: Alferes, JJ ; Pereira, LM ; Przymusinski, TC;
PUBLICAÇÃO: 1996, FONTE: Fundamenta Informaticae, VOLUME: 28, NÚMERO: 1-2
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
160
TÍTULO: Default Negated Conclusions: Why Not?
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira ;
PUBLICAÇÃO: 1996, FONTE: Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, VOLUME: 1050
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
Página 16 de 24. Total de resultados: 232.