José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 134



71
TITLE: Logic programming updating - A guided approach
AUTHORS: Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II, VOLUME: 2408, ISSUE: PART2
INDEXED IN: Scopus WOS DBLP CrossRef: 5
72
TITLE: LUPS - A language for updating logic programs
AUTHORS: Alferes, JJ ; Pereira, LM ; Przymusinska, H; Przymusinski, TC;
PUBLISHED: 2002, SOURCE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in ARTIFICIAL INTELLIGENCE, VOLUME: 138, ISSUE: 1-2
INDEXED IN: Scopus WOS DBLP CrossRef: 32
73
TITLE: MINERVA - Dynamic Logic Programming agent architecture
AUTHORS: Leite, JA ; Alferes, JJ ; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 8th International Workshop on Agent Theories, Architectures, and Language (ATAL 2001) in INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, VOLUME: 2333
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
74
75
TITLE: Multi-dimensional Dynamic Knowledge Representation
AUTHORS: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ;
PUBLISHED: 2001, SOURCE: LPNMR, VOLUME: 2173 LNAI
INDEXED IN: Scopus DBLP CrossRef: 8
76
77
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: Scopus WOS DBLP CrossRef: 3 Handle
78
TITLE: Dynamic updates of non-monotonic knowledge bases
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: 114
79
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
80
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: 1
Page 8 of 14. Total results: 134.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service