José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 162



61
TITLE: From logic programs updates to action description updates
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
62
TITLE: Operational semantics for DyLPs
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
63
TITLE: The refined extension principle for semantics of dynamic logic programming  Full Text
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A; Leite, JA ;
PUBLISHED: 2005, SOURCE: Studia Logica, VOLUME: 79, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
64
TITLE: The well supported semantics for multidimensional dynamic logic programs  Full Text
AUTHORS: Banti, F; Alferes, JJ ; Brogi, A; Hitzler, P;
PUBLISHED: 2005, SOURCE: 8th International Conference on Logic Programming and Nonmonotonic Reasoning in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 3662
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
65
TITLE: Abduction in well-founded semantics and generalized stable models via tabled dual programs PDF
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 2004, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXED IN: WOS DBLP arXiv
IN MY: ResearcherID | DBLP
66
67
TITLE: Deductive Diagnosis of Digital Circuits
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: 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
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
68
TITLE: Deductive diagnosis of digital circuits
AUTHORS: Alferes, JJ ; Azevedo, F; Barahona, P; Damasio, CV; Swift, T;
PUBLISHED: 2004, SOURCE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in IFIP Advances in Information and Communication Technology, VOLUME: 154
INDEXED IN: Scopus
IN MY: ORCID
69
TITLE: From logic programs updates to action description updates  Full Text
AUTHORS: Alferes, JJ ; Banti, F; Brogi, A;
PUBLISHED: 2004, SOURCE: 5th International Workshop on Computational Logic in Mult-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 3487
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | ResearcherID | DBLP
70
Page 7 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