José Júlio Alves Alferes


AuthID: R-000-8E8

Publicações Confirmadas: 162



61
TÍTULO: From logic programs updates to action description updates
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2005, FONTE: 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3487 LNAI
INDEXADO EM: Scopus
NO MEU: ORCID
62
TÍTULO: Operational semantics for DyLPs
AUTORES: Banti, F; Alferes, JJ ; Brogi, A;
PUBLICAÇÃO: 2005, FONTE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
63
TÍTULO: The refined extension principle for semantics of dynamic logic programming  Full Text
AUTORES: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLICAÇÃO: 2005, FONTE: Studia Logica, VOLUME: 79, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
64
TÍTULO: The well supported semantics for multidimensional dynamic logic programs  Full Text
AUTORES: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLICAÇÃO: 2005, FONTE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
65
TÍTULO: Abduction in well-founded semantics and generalized stable models via tabled dual programs PDF
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 2004, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXADO EM: WOS DBLP arXiv
NO MEU: ResearcherID | DBLP
66
TÍTULO: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: TPLP, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
67
TÍTULO: Deductive Diagnosis of Digital Circuits
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France, VOLUME: 154
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
68
TÍTULO: Deductive diagnosis of digital circuits
AUTORES: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLICAÇÃO: 2004, FONTE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
INDEXADO EM: Scopus
NO MEU: ORCID
69
TÍTULO: From logic programs updates to action description updates  Full Text
AUTORES: Alferes, JJ ; Banti, F; Brogi, A;
PUBLICAÇÃO: 2004, FONTE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | ResearcherID | DBLP
70
Página 7 de 17. Total de resultados: 162.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service