José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



71
TITLE: Preface
AUTHORS: Alferes, JJ ; Leite, J ;
PUBLISHED: 2004, SOURCE: 9th European Conference on Logics in Artificial Intelligence, JELIA 2004 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3229
INDEXED IN: Scopus
72
TITLE: Semantics for dynamic logic programming: A principle-based approach
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2004, SOURCE: 7th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, VOLUME: 2923
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
73
TITLE: Towards generic query, update, and event languages for the semantic web
AUTHORS: May, W; Alferes, JJ ; Bry, F;
PUBLISHED: 2004, SOURCE: 2nd International Workshop on Principles and Practice of Semantic Web Reasoning in PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, PROCEEDINGS, VOLUME: 3208
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
74
TITLE: Well founded semantics for logic program updates
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A;
PUBLISHED: 2004, SOURCE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
75
TITLE: An evolvable rule-based e-mail agent  Full Text
AUTHORS: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
76
TITLE: An Evolving Agent with EVOLP
AUTHORS: José Júlio Alferes ; Antonio Brogi; João Alexandre Leite ; Luís Moniz Pereira ;
PUBLISHED: 2003, SOURCE: 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003
INDEXED IN: DBLP
IN MY: DBLP
77
TITLE: Logic programming for evolving agents
AUTHORS: Alferes, JJ ; Brogi, A; Leite, JA ; Pereira, LM ;
PUBLISHED: 2003, SOURCE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
78
TITLE: Semantic Web Logic Programming tools  Full Text
AUTHORS: Alferes, JJ ; Damasio, CV ; Pereira, LM ;
PUBLISHED: 2003, SOURCE: International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2003) in PRINCIPLES AND PRACTICE OF SEMANTIC WEB REASONING, VOLUME: 2901
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
79
TITLE: A compilation of updates plus preferences
AUTHORS: Alferes, JR ; Dell'Acqua, P; Pereira, LM ;
PUBLISHED: 2002, SOURCE: 8th European Conference on Logics in Artificial Intelligence (JELIA 02) in LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, VOLUME: 2424
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
80
TITLE: A Language for Multi-dimensional Updates
AUTHORS: João Alexandre Leite ; José Júlio Alferes ; Luís Moniz Pereira ; Halina Przymusinska; Teodor C Przymusinski;
PUBLISHED: 2002, SOURCE: Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings, VOLUME: 93
INDEXED IN: DBLP
IN MY: DBLP
Page 8 of 17. Total results: 162.

A place for researchers and their institutions

Useful Links

Get Help

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