101
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
102
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
103
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
104
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
105
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
106
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
107
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
108
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
109
TITLE: Reasoning with Logic Programming
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira;
PUBLISHED: 1996, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
110
TITLE: Strong and explicit negation in non-monotonic reasoning and logic programming
AUTHORS: Alferes, JJ ; Pereira, LM; Przymusinski, TC;
PUBLISHED: 1996, SOURCE: 6th European Workshop on Logics in Artificial Intelligence, JELIA 1996 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1126
INDEXED IN: Scopus
Page 11 of 14. Total results: 132.