José Júlio Alves Alferes


AuthID: R-000-8E8

Confirmed Publications: 136



51
TITLE: The Refined Extension Principle for Semantics of Dynamic Logic Programming
AUTHORS: José Júlio Alferes ; Federico Banti; Antonio Brogi; João Alexandre Leite ;
PUBLISHED: 2005, SOURCE: Stud Logica, VOLUME: 79, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 37
52
TITLE: The well supported semantics for multidimensional dynamic logic programs
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: 4
53
TITLE: Abduction in well-founded semantics and generalized stable models via tabled dual programs
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 2004, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXED IN: WOS DBLP
54
TITLE: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
AUTHORS: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLISHED: 2004, SOURCE: Theory Pract. Log. Program., VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 42
55
TITLE: Deductive Diagnosis of Digital Circuits
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: IFIP TC12 1st International Conference on Artificial Intelligence Applications and Innovations, AIAI 2004 in AIAI, VOLUME: 154
INDEXED IN: Scopus DBLP CrossRef: 2
56
TITLE: From logic programs updates to action description updates
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: Scopus WOS DBLP CrossRef: 8
57
58
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
IN MY: ORCID
59
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: 7
60
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: 8
Page 6 of 14. Total results: 136.

footer slogan

Useful Links

Get Help

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