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