101
TITLE: Dynamic knowledge representation and its applications
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC; Quaresma, P ;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: Scopus
102
TITLE: Hybrid Probabilistic Logic Programs as Residuated Logic Programs
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 2000, SOURCE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
103
TITLE: LUPS—a language for updating logic programs
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
104
TITLE: Coherent well-founded annotated logic programs
AUTHORS: Damásio, CV; Pereira, LM; Swift, T;
PUBLISHED: 1999, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID
105
TITLE: Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
AUTHORS: Peter Fröhlich; Wolfgang Nejdl; Michael Schroeder; Carlos Damásio; Luis Moniz Pereira;
PUBLISHED: 1999, SOURCE: Multiple Approaches to Intelligent Systems - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
106
TITLE: Morphological and physiological changes detected in skin after iontophoresis. An in-vivo model
AUTHORS: Pinto, P; Galego, N; Pereira, LM; Fitas, M; Afonso, A; Goncalves, H; Rodrigues, L ;
PUBLISHED: 1997, SOURCE: Pharmaceutical Sciences, VOLUME: 3, ISSUE: 2
INDEXED IN: Scopus
107
TITLE: REVISE: Logic programming and diagnosis
AUTHORS: Damásio, CV; Pereira, LM; Schroeder, M;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus
108
TITLE: A paraconsistent semantics with contradiction support detection
AUTHORS: Damásio, CV; Pereira, LM;
PUBLISHED: 1997, SOURCE: 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
INDEXED IN: Scopus
109
TITLE: A paraconsistent semantics with contradiction support detection
AUTHORS: Carlos Viegas Damásio; Luís Moniz Pereira;
PUBLISHED: 1997, SOURCE: Logic Programming And Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXED IN: CrossRef
110
TITLE: Prolegomena to logic programming for non-monotonic reasoning
AUTHORS: Dix, J; Luís, MP; Przymusinski, TC;
PUBLISHED: 1997, SOURCE: 2nd International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1216
INDEXED IN: Scopus
Page 11 of 14. Total results: 134.