121
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 ARTIFICIAL INTELLIGENCE: METHODOLOGY, SYSTEMS, APPLICATIONS, PROCEEDINGS, VOLUME: 1904
INDEXADO EM: WOS DBLP CrossRef: 2
122
TÍTULO: Dynamic updates of non-monotonic knowledge bases  Full Text
AUTORES: Alferes, JJ ; Leite, JA ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 45, NÚMERO: 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef
123
TÍTULO: Hybrid Probabilistic logic programs as residuated logic programs  Full Text
AUTORES: Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 7th European Workshop on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1919
INDEXADO EM: WOS DBLP
124
TÍTULO: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings
AUTORES: Manuel Ojeda Aciego; Inman de d Guzmán; Gerhard Brewka; Luís Moniz Pereira ;
PUBLICAÇÃO: 2000, FONTE: JELIA, VOLUME: 1919
INDEXADO EM: DBLP
NO MEU: DBLP
125
TÍTULO: Multi-dimensional Dynamic Logic Programming
AUTORES: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLICAÇÃO: 2000, FONTE: CL-2000 Workshop on Computational Logic in Multi-Agent Systems
INDEXADO EM: DBLP
NO MEU: DBLP
126
TÍTULO: Partial models of extended generalized logic programs
AUTORES: Alferes, JJ ; Herre, H; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
INDEXADO EM: Scopus WOS DBLP CrossRef
127
TÍTULO: Psychiatric diagnosis from the viewpoint of computational logic
AUTORES: Gartner, J; Swift, T; Tien, A; Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
INDEXADO EM: Scopus WOS DBLP CrossRef
128
TÍTULO: Strategies in combined learning via logic programs  Full Text
AUTORES: Lamma, E; Riguzzi, F; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 4th International Workshop on Multistrategy Learning in MACHINE LEARNING, VOLUME: 38, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 18
129
TÍTULO: Updates plus preferences  Full Text
AUTORES: Alferes, JJ ; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 7th European Workshop on Logics in Artificial Intelligence in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1919
INDEXADO EM: WOS DBLP CrossRef
130
TÍTULO: Coherent well-founded annotated logic programs  Full Text
AUTORES: Damasio, CV ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
INDEXADO EM: WOS DBLP
Página 13 de 24. Total de resultados: 232.