101
TÍTULO: Updates plus preferences
AUTORES: Alferes, JJ ; Pereira, LM;
PUBLICAÇÃO: 2000, FONTE: European Workshop on Logics in Artificial Intelligence, JELIA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1919
INDEXADO EM: Scopus
102
TÍTULO: Dynamic knowledge representation and its applications
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLICAÇÃO: 2000, FONTE: 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1904
INDEXADO EM: Scopus
103
TÍTULO: Hybrid Probabilistic Logic Programs as Residuated Logic Programs
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 2000, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
104
TÍTULO: LUPS—a language for updating logic programs
AUTORES: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
105
TÍTULO: Coherent well-founded annotated logic programs
AUTORES: Damásio, CV; Pereira, LM; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1730
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
106
TÍTULO: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
AUTORES: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLICAÇÃO: 1999, FONTE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
107
TÍTULO: Morphological and physiological changes detected in skin after iontophoresis. An in-vivo model
AUTORES: Pinto, P; Galego, N; Pereira, LM; Fitas, M; Afonso, A; Goncalves, H; Rodrigues, L ;
PUBLICAÇÃO: 1997, FONTE: Pharmaceutical Sciences, VOLUME: 3, NÚMERO: 2
INDEXADO EM: Scopus
108
TÍTULO: REVISE: Logic programming and diagnosis
AUTORES: Damásio, CV; Pereira, LM; Schroeder, M;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
INDEXADO EM: Scopus
109
TÍTULO: A paraconsistent semantics with contradiction support detection
AUTORES: Damásio, CV; Pereira, LM;
PUBLICAÇÃO: 1997, FONTE: 4th International Conference on Logic Programming and Non-Monotonic Reasoning, LPNMR 1997 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1265
INDEXADO EM: Scopus
110
TÍTULO: A paraconsistent semantics with contradiction support detection
AUTORES: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLICAÇÃO: 1997, FONTE: Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
Página 11 de 14. Total de resultados: 135.